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