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