Задание

Сколько различных решений имеет система уравнений

(X2 ≡ X1) ˅ (X2 ˄ X3) ˅ (¬X2 ˄¬ X3) = 1

(X3 ≡ X1) ˅ (X3 ˄ X4) ˅ (¬X3 ˄¬ X4) = 1

...

(X9 ≡ X1) ˅ (X9 ˄ X10) ˅ (¬X9 ˄¬ X10) = 1

(X10 ≡ X1) = 0

где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.