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