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