Демонстрационный вариант ЕГЭ 2019 по информатике – задание №23 

Демонстрационный вариант ЕГЭ 2019 по информатике – задание №23 

Сколько существует различных наборов значений логических переменных x1, x2, … x7, y1, y2, … y7, которые удовлетворяют всем перечисленным ниже условиям?

(y1 → (y2 /\ x1)) /\ (x1 → x2) = 1
(y2 → (y3 /\ x2)) /\ (x2 → x3) = 1

(y6 → (y7 /\ x6)) /\ (x6 → x7) = 1
y7 → x7 = 1

В ответе не нужно перечислять все различные наборы значений переменных x1, x2, … x7, y1, y2, … y7, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.