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

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

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

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