Войти
или
Зарегистрироваться
Курсы
Учебник
Учебник 2.0
ОГЭ/ЕГЭ
Олимпиады
Рубрикатор
Компилятор
Олимпиадный тренинг
Задача
.
Система логических уравнений - 16
Задача
Темы:
Сколько различных решений имеет система логических уравнений?
(x1 + x2 → x3 * y1) → y2 = 1
(x2 + x3 → x4 * y2) → y3 = 1
(x3 + x4 → x5 * y3) → y4 = 1
(x4 + x5 → x6 * y4) → y5 = 1
(x5 + x6 → x7 * y5) → y6 = 1
(x6 + x7 → x8 * y6) → y7 = 1
1000
ms
32 Mb
Правила оформления программ и список ошибок при автоматической проверке задач
Статистика успешных решений по компиляторам
Комментарий учителя