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