Задача 562EAC

Сколько существует различных наборов значений логических переменных
x 1, x 2, … x 7, y 1, y 2, … y 7, которые удовлетворяют всем перечисленным ниже условиям?

x 1 y 1 = 1
( x 2 ( x 1 /\ y 2 )) /\ ( y 2 y 1 ) = 1
( x 3 ( x 2 /\ y 3 )) /\ ( y 3 y 2 ) = 1
…
( x 7 ( x 6 /\ y 7 )) /\ ( y 7 y 6 ) = 1

В ответе не нужно перечислять все различные наборы значений переменных x 1, x 2, … x 7, y 1, y 2, … y 7, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.