Aussagenlogik Vereinfachen, umformen

Question

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!