Сколько различных решений имеет система логических уравнений
(x1 ≠
¬y1) ⇔
(x2 →
y2)
(x2 ≠
¬y2) ⇔
(x3 →
y3)
...
(x6 ≠
¬y6) ⇔
(x7 →
y7)
где x
1, …, x
7, y
1, …, y
7, – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов