Вопрос по информатике:

Большая просьба помочь!!!
Сколько существует различных наборов значений логических переменных
x1, x2, ... x9, y1, y2, ... y9, которые удовлетворяют всем перечисленным ниже
условиям:
( (x1 ≡ y1) → (x2 ≡ y2) ) /\ (x1→x2) /\ (y1→y2) = 1;
( (x2 ≡ y2) → (x3 ≡ y3) ) /\ (x2→x3) /\ (y2→y3) = 1;
…
( (x8 ≡ y8)) → (x9 ≡ y9) ) /\ (x8→x9) /\ (y8→y9) = 1?
В ответе не нужно перечислять все различные наборы значений переменных
x1, x2, ... x9, y1, y2, ... y9, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.