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