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

Задача . П 125


Задача

Темы:
Сколько различных решений имеет система логических уравнений
(x1x2) • (x2x3) • (x3x4) • (x4x5) = 1
(y1y2) • (y2y3) • (y3y4) • (y4y5) = 1
(z1z2) • (z2z3) • (z3z4) • (z4z5) = 1
x3y2z3  = 0
где x1, …, x5, y1, …, y5, z1, …, z5, – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов

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

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