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