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