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

Задача . 19966


Задача

Темы:
Сколько различных решений имеет система уравнений?
(x1x2) • (x2x3) • (x3x4) • (x4x5) • (x5x6)  = 1
(y1y2) • (y2y3) • (y3y4) • (y4y5) • (y5y6) = 1
 (z1z2) • (z2z3) • (z3z4) • (z4z5) • (z5z6) = 1
 x1 + y1  + z1 = 1
где x1,x2,…,x6, у12,…,у6, z1,z2,…,z6 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов

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

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