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

Задача . П 130


Задача

Темы:
Сколько различных решений имеет система логических уравнений
(x1 ⇔  y1)  ((x2 ⇔  y2)  (x1 ⇔  y1)) = 1
(x2 ⇔  y2)  ((x3 ⇔  y3)  (x2 ⇔  y2)) = 1
(x3 ⇔  y3)  ((x4 ⇔  y4)  (x3 ⇔  y3)) = 1
(x4 ⇔  y4)  ((x5 ⇔  y5)  (x4 ⇔  y4)) = 1
(x5 ⇔  y5)  ((x6 ⇔  y6)  (x5 ⇔  y5)) = 1
x6 ⇔  y6  = 1
где x1,x2,…,x6, у12,…,у6 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполняются данные равенства. В качестве ответа нужно указать количество таких наборов.

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

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