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