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

Задача . 19929


Задача

Темы:
Сколько различных решений имеет система уравнений
(X1 + X2) (¬X3 + ¬X4) = 0
(X3 + X4) (¬X5 + ¬X6) = 0
(X5 + X6) (¬X7 + ¬X8) = 0
(X7 + X8) (¬X9 + ¬X10) = 0
где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов

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

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