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

Задача . П 129


Задача

Темы:
 Сколько различных решений имеет система логических уравнений
(x1y1) • ((x2 + y2) → (x1y1)) = 1
(x2y2) • ((x3 + y3) → (x2 ⇔  y2)) = 1
...
(x6y6) • ((x7 + y7) → (x6 ⇔  y6)) = 1
x7  y7  = 1
где x1,x2,…,x7, у12,…,у7 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполняются данные равенства. В качестве ответа нужно указать количество таких наборов

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

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