Сколько различных решений имеет система логических уравнений?
((x1 ≡ x2) * (x3 ≡ x4)) + (¬(x1 ≡ x2) * ¬(x3 ≡ x4)) = 0
((x3 ≡ x4) * (x5 ≡ x6)) + (¬(x3 ≡ x4) * ¬(x5 ≡ x6)) = 0
((x5 ≡ x6) * (x7 ≡ x8)) + (¬(x5 ≡ x6) * ¬(x7 ≡ x8)) = 0
((x7 ≡ x8) * (x9 ≡ x10)) + (¬(x7 ≡ x8) * ¬(x9 ≡ x10)) = 0