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

Задача . П 127


Задача

Темы:
Сколько различных решений имеет система логических уравнений
 (x1x2) = 1
(y1y2y3) = 1
(z1z2z3z4) = 1
(x1y1) • (y3z3) = 1
где x1, x2, y1, …, y3, z1, …, y4 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполняются данные равенства. В качестве ответа нужно указать количество таких наборов.

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

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