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