315) Сколько всего различных наборов значений логических перемененных x₁, x₂ ... x₉, x₁₀, которые удовлетворяют системе уравнений?

(¬(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₁ = 1

В ответе не нужно перечислять все различные наборы значений переменных, удовлетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов