Задача 27734A

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

( x 1 ( x 2 /\ y 2 )) /\ ( y 1 y 2 ) = 1
( x 2 ( x 3 /\ y 3 )) /\ ( y 2 y 3 ) = 1
…
( x 8 ( x 9 /\ y 9 )) /\ ( y 8 y 9 ) = 1

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