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

(¬(x₂ ~ x₃) v (x₄ ~ x₅)) v (¬((x₂ ~ x₃) → (x₄ ~ x₅)) = 0

(¬(x₆ ~ x₇) v (x₈ ~ x₉)) v (¬((x₆ ~ x₇) → (x₈ ~ x₉)) = 0

(¬(x₂ ~ x₃) v (x₈ ~ x₉)) v (¬((x₂ ~ x₃) → (x₈ ~ x₉)) = 0

(¬(x₆ ~ x₇) v (x₄ ~ x₅)) v (¬((x₆ ~ x₇) → (x₄ ~ x₅)) = 0

(x₁₀ ~ x₁) v x₁= 0

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