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