Задание

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

(x1 → (x2 ∧ y1)) ∧ (y1 → y2) = 1

(x2 → (x3 ∧ y2)) ∧ (y2 → y3) = 1

...

(x5 → (x6 ∧ y5)) ∧ (y5 → y6) = 1

x6 → y6 = 1

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