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