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

Задача . 19906


Задача

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

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

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