Задача . 19903

Сколько различных решений имеет система уравнений
((X₁ ≡ X₂) • (X₃ ≡ X₄)) + (¬(X₁ ≡ X₂) • ¬(X₃ ≡ X₄)) = 0
((X₃ ≡ X₄) • (X₅ ≡ X₆)) + (¬(X₃ ≡ X₄) • ¬(X₅ ≡ X₆)) = 0
((X₅ ≡ X₆) • (X₇ ≡ X₈)) + (¬(X₅ ≡ X₆) • ¬(X₇ ≡ X₈)) = 0
((X₇ ≡ X₈) • (X₉ ≡ X₁₀)) + (¬(X₇ ≡ X₈) • ¬(X₉ ≡ X₁₀)) = 0
где x₁, x₂, …, x₁₀ – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.