Олимпиадный тренинг

Задача . Система логических уравнений - 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

time 1000 ms
memory 32 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя