Ответ: Подсчёт наборов логических переменных

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

$x_1 \to y_1 = 1$

$(x_2 \to (x_1 \land y_2)) \land (y_2 \to y_1) = 1$

$(x_3 \to (x_2 \land y_3)) \land (y_3 \to y_2) = 1$

$\ldots$

$(x_6 \to (x_5 \land y_6)) \land (y_6 \to y_5) = 1$