Сколько различных решений имеет система логических уравнений
(x1 → x2) •
(x2 → x3) =
1
¬x1 •
y1 + x1 •
¬y1 =
0
¬x2•
y2•
z2 + x2•
¬y2•
z2 + x2•
y2•
¬z2 =
0
¬x3•
y3•
z3•
q3 + x3•
¬y3•
z3•
q3 + x3•
y3•
¬z3•
q3 + x3•
y3•
z3•
¬q3 =
0
где x
1, …, x
3, y
1, …, y
3, z
2, z
5, q
3 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов