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

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

((x₃ ≡ x₄) v (x₇ ≡ x₈)) ∧ (¬((x₅ ≡ x₆) → (x₇ ≡ x₈))) = 1

((x₁ ≡ x₂) v (x₇ ≡ x₈)) ∧ (¬((x₁ ≡ x₂) → (x₇ ≡ x₈))) = 1

(x₁ ≡ x₄) → (x₉ ≡ x₁₀) = 1

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