Сколько существует различных наборов значений логических переменных x1, x2, … x8, y1, y2, … y8, которые удовлетворяют всем перечисленным ниже условиям?
\(x1 \\/ x2\) /\ \(\(x1 /\\ x2\) → x3) /\ \(¬x1 \\/ y1\) = 1
\(x2 \\/ x3\) /\ \(\(x2 /\\ x3\) → x4) /\ \(¬x2 \\/ y2\) = 1
…
\(x6 \\/ x7\) /\ \(\(x6 /\\ x7\) → x8) /\ \(¬x6 \\/ y6\) = 1
\(x7 \\/ x8\) /\ \(¬x7 \\/ y7\) = 1
\(¬x8 \\/ y8\) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, … x8, y1, y2, … y8, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.