Задача 06C3AD

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

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

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