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