Die ! stehen für Negation ?
$$X \land (Z \land Y \lor (!Z \land Y \lor !Y)) $$
Dann fang doch innen an
$$=X \land (Z \land Y \lor ((!Z \lor !Y ) \land (Y \lor !Y))) $$
$$=X \land (Z \land Y \lor ((!Z \lor !Y ) \land 1)) $$
$$=X \land (Z \land Y \lor (!Z \lor !Y )) $$
Dann De Morgan
$$=X \land (Z \land Y \lor !(Z \land Y )) $$
$$=X \land 1 = X $$