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

Задача . Демо-2017


Задача

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

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

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