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

Задача . П 197


Задача

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


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

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