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

¬(x₁ ≡ x₂) ∧ (x₂ ∨ x₃) ∧ (¬x₂ ∨ ¬x₃) = 0

¬(x₂ ≡ x₃) ∧ (x₃ ∨ x₄) ∧ (¬x₃ ∨ ¬x₄) = 0

.................

¬(x₆ ≡ x₇) ∧ (x₇ ∨ x₈) ∧ (¬x₇ ∨ ¬x₈) = 0

В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов