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

Задача . 19912


Задача

Темы:
Сколько различных решений имеет система уравнений?
(x1 → x2) + x3 • ¬x4 = 1
(x3x4) + x5 • ¬x6 = 1
(x5x6) + x7 • ¬x8 = 1
(x7x8) + x9 • ¬x10 = 1
(x9x10) + x1 • ¬x2 = 1
где x1,x2,…,x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.

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

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