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

Задача . 19950


Задача

Темы:
Сколько различных решений имеет система уравнений
(x1x2) • (x2x3) • (x3x4) = 1
¬x1y1z1 + x1 • ¬y1z1 + x1y1 • ¬z1 = 1
¬x2 • y2 • z2 + x2 • ¬y2 • z2 + x2 • y2 • ¬z2 = 1
¬x3 • y3 • z3 + x3 • ¬y3 • z3 + x3 • y3 • ¬z3 = 1
¬x4 • y4z4 + x4 • ¬y4z4 + x4 • y4 • ¬z4 = 1
где x1, …, x4, y1, …, y4, z1, …, z– логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов

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

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