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

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

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

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

$\ldots$

$\left(y_6 \to (y_7 \land x_6)\right) \land (x_6 \to x_7) = 1$

$y_7 \to x_7 = 1$.