Решите пожалуйста ответ сверху

1) ¬xyz ∨ ¬xy¬z = ¬xy(z ∨ ¬z) = ¬xy

2) ¬x¬yz ∨ ¬x¬y¬z = ¬x¬y

3) ¬xy ∨ ¬x¬y = ¬x

в итоге имеем выражение:

xyz ∨ ¬x = ¬(x & ¬(xyz)) = ¬(x(¬x ∨¬(yz))) = ¬(x¬(yz)) = ¬x ∨ yz = x→yz

Ответ: x→yz