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