Сколько существует различных наборов значений логических переменных x₁

Сколько существует различных наборов значений логических переменных x₁, x₂, ... x₈, y₁, y₂, ... y₈, которые удовлетворяют всем перечисленным ниже условиям: $( ( x_1\equiv y_1 ) \to ( x_2 \equiv y_2 ) ) \wedge ( x_1 \to x_2 ) \wedge ( y_1 \to y_2 ) =1$ $( ( x_2\equiv y_2 ) \to ( x_3 \equiv y_3 ) ) \wedge ( x_2 \to x_3 ) \wedge ( y_2 \to y_3 ) =1$ .. $( ( x_7\equiv y_7 ) \to ( x_8 \equiv y_8 ) ) \wedge ( x_7 \to x_8 ) \wedge ( y_7 \to y_8 ) =1?$ В ответе не нужно перечислять все различные наборы значений переменных x₁, x₂, ... x₈, y₁, y₂, ... y₈, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.