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