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