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

((x₁ ≡ x₃) v (x₂ ≡ x₄)) ∧ (¬((x₁ ≡ x₃) ∧ ¬(x₂ ≡ x₄))) = 0

((x₂ ≡ x₄) v (x₅ ≡ x₇)) ∧ (¬((x₂ ≡ x₄) ∧ ¬(x₅ ≡ x₇))) = 0

((x₅ ≡ x₇) v (x₆ ≡ x₈)) ∧ (¬((x₅ ≡ x₇) ∧ ¬(x₆ ≡ x₈))) = 0

((x₆ ≡ x₈) v (x₉ ≡ x₁₀)) ∧ (¬((x₆ ≡ x₈) ∧ ¬(x₉ ≡ x₁₀))) = 0

((x₁ ≡ x₃) → (x₂ ≡ x₄)) → ((x₆ ≡ x₈) v ¬(x₉ ≡ x₁₀)) = 1

В ответе не нужно перечислять все различные наборы значений x₁, x_{2 ...} x₉, x₁₀, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.