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