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