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

Задача . П232


Задача

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

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

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