Тренировка задания 23 ЕГЭ с 23.6

23 задание досрочного экзамена 2020 г, ФИПИ:

Сколько существует различных наборов значений логических переменных x1, x2, … x7, y1, y2, … y7, которые удовлетворяют всем перечисленным ниже условиям?

x1 → y1 = 1
(x2 → (x1 ∧ y2)) ∧ (y2 → y1) = 1
(x3 → (x2 ∧ y3)) ∧ (y3 → y2) = 1
…
(x7 → (x6 ∧ y7)) ∧ (y7 → y6) = 1

В ответе не нужно перечислять все различные наборы значений переменных x1, x2, … x7, y1, y2, … y7, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

✍ Решение:
 

Ответ: 36