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

Задача . П 210


Задача

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


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

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