Сколько существует различных наборов значений логических переменных 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₅ = 0

((x₅ ~ x₇) → (x₆ ~ x₈)) → x₁₀ = 0

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