Задача 23.
Сколько существует различных наборов значений логических переменных x1, x2, ... x9, y1, y2, ... y9, которые удовлетворяют всем перечисленным ниже условиям?
(¬ (x1 ≡ y1)) ≡ (x2 ≡ y2)
(¬ (x2 ≡ y2)) ≡ (x3 ≡ y3)
…
(¬ (x8 ≡ y8)) ≡ (x9 ≡ y9)
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ... x9, y1, y2, ... y9, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.
Для решения используем метод подстановки z1= x1 ≡ y1 (выражение в скобках) и т. д.
Рассуждения такие: если z1=0, тогда чему равно z2?