Сколько существует различных наборов значений логических переменных 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, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.