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