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