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