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

Задача . П232


Задача

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

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

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