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