Задание

Сколько существует различных наборов значений логических переменных x1, x2, ...x7, y1, y2, ...y7, которые удовлетворяют всем перечисленным ниже условиям?

(¬x1 \/ y1) → (¬x2 /\ y2) = 1

(¬x2 \/ y2) → (¬x3 /\ y3) = 1

…

(¬x6 \/ y6) → (¬x7 /\ y7) = 1

В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ...x7, y1, y2, ...y7, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.