Задание

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