Сколько различных решений имеет система уравнений
(X1 ≡ X2) → (X2≡ X3) = 1
(X2 ≡ X3) → (X3 ≡ X4) = 1
...
(X5 ≡ X6) → (X6 ≡ X7) = 1
где x
1, x
2, …, x
7 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.