Ответ: Подсчёт наборов логических переменных
Это официальный ключ к заданию, источник — открытый банк заданий ФИПИ. Свой ответ можно сверить на странице задачи.
В бланк: число или слово без единиц измерения; дробную часть отделяйте запятой.
Сколько существует различных наборов значений логических переменных $x_1, x_2, \ldots, x_7, y_1, y_2, \ldots, y_7$, которые удовлетворяют всем перечисленным условиям?
$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_7 \to (x_6 \land y_7)) \land (y_7 \to y_6) = 1$
Где здесь ошибаются
Разрешают состояние $(x_i,y_i)=(1,0)$, хотя из условия $x_i \to (x_{i-1}\land y_i)=1$ при $y_i=0$ следует $x_i=0$.
Забывают, что из условия $y_i \to y_{i-1}=1$ при $y_i=1$ следует $y_{i-1}=1$.
Считают только допустимые состояния последней пары, не учитывая количество способов их получения.