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