Задание №23Алгоритмы и исполнителиЕГЭ по информатике

Сколько существует различных наборов значений логических переменных $x_1, x_2, \ldots, x_8, y_1, y_2, \ldots, y_8$, которые удовлетворяют всем перечисленным ниже условиям?

$(x_1 \lor x_2) \land ((x_1 \land x_2) \to x_3) \land (\neg x_1 \lor y_1) = 1$

$(x_2 \lor x_3) \land ((x_2 \land x_3) \to x_4) \land (\neg x_2 \lor y_2) = 1$

$(x_3 \lor x_4) \land ((x_3 \land x_4) \to x_5) \land (\neg x_3 \lor y_3) = 1$

$(x_4 \lor x_5) \land ((x_4 \land x_5) \to x_6) \land (\neg x_4 \lor y_4) = 1$

$(x_5 \lor x_6) \land ((x_5 \land x_6) \to x_7) \land (\neg x_5 \lor y_5) = 1$

$(x_6 \lor x_7) \land ((x_6 \land x_7) \to x_8) \land (\neg x_6 \lor y_6) = 1$

$(x_7 \lor x_8) \land (\neg x_7 \lor y_7) = 1$

$(\neg x_8 \lor y_8) = 1$