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