Задание

Сколько существует наборов логических переменных x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, которые удовлетворяют всем перечисленным ниже условиям?

\(x1 → x2\) v \(x3 → x4\) = 1
¬\(x1 → x2\) v ¬\(x3 → x4\) = 1
\(x3 → x4\) v \(x5 → x6\) = 1
¬\(x3 → x4\) v ¬\(x5 → x6\) = 1
\(x5 → x6\) v \(x7 → x8\) = 1
¬\(x5 → x6\) v ¬\(x7 → x8\) = 1
\(x7 → x8\) v \(x9 → x10\) = 1
¬\(x7 → x8\) v ¬\(x9 → x10\) = 1