Сколько различных решений имеет система уравнений
¬(X1 ≡ X2) /\ ¬(X2 ≡ X3) = 1
¬(X2 ≡ X3) /\ ¬(X3 ≡ X4) = 1
...
¬(X8 ≡ X9)/\ ¬(X9 ≡ X10) = 1
где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.