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

Задача . П 160


Задача

Темы:
Сколько различных решений имеет система логических уравнений
(x1 → (x2 /\ y2)) /\ (y1y2) = 1
(x2 → (x3 /\ y3)) /\ (y2y3) = 1
...
(x6 → (x7 /\ y7)) /\ (y6y7) = 1
x7y7 = 1
где x1,x2,…,x7  и y1,y2,…,y7, – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов

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

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