Question

Сколько различных решений имеет система уравнений
(X1∨X2)∧(¬X3 ∨¬X4) = 0
(X3 ∨X4)∧(¬X5 ∨¬X6) = 0
(X5 ∨X6)∧(¬X7 ∨¬X8) = 0
(X7 ∨X8)∧(¬X9 ∨¬X10) = 0
(X9 ∨X10)∧(¬X11∨¬X12) = 0

где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.