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