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

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

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