Сколько существует различных наборов значений логических переменных 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₇) v (x₄ ~ x₅)) ∧ (¬((x₆ ~ x₇) → (x₄ ~ x₃))) = 1

((x₁ ~ x₁) ∧ x₁ = 1

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