(¬(xy→z))→(x→y)

Лог.матем.

Найдите ДНФ этого выражения ну или хотябы упростите

¬(xy→z) → (x→y) = (xy→z) v (x→y) = (¬(xy) v z) v (¬x v y) = ¬x v ¬y v z v ¬x v y = 1