Aussagenlogik Vereinfachen, umformen

Aufgabe: Vereinfachen mit Umformungsregeln bis eine Klausel, ein Monom oder eine der Konstanten true, false ergeben.

(¬(Y ∨ ¬Z) ∨ (¬Z ∧ ¬Y)) → X ∧ ¬Z

Könnt ihr bei der Umformung die benutzte Regel dazuschreiben? Danke!