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