Сколько существует различных наборов значений логических переменных 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₉, х₁₀, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.