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

Задача . П 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, у1,у2,…,у6 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполняются данные равенства. В качестве ответа нужно указать количество таких наборов.

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

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