12+04:31DEEDS: построение логических схем в основных базисах, а также в совершенных формах7просмотровДень назад
12+04:07Deeds: алгебраическая, сокращённая ДНФ и совершенные нормальные формы для булевых функций7просмотровДень назад
12+10:41DEEDS: Формализация правил голосовая для предупреждения столкновений судов3просмотра2 года назад