Сколько различных решений имеет система уравнений
(X1 ∨ X2) ∧ (¬X3 ∨ ¬X4) = 0
(X3 ∨ X4) ∧ (¬X5 ∨ ¬X6) = 0
(X5 ∨ X6) ∧ (¬X7 ∨ ¬X8) = 0
(X7 ∨ X8) ∧ (¬X9 ∨ ¬X10) = 0
где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.