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