ich muss als Aufgabe einen logischen Ausdruck möglichst weit vereinfachen. Der Ausdruck lautet: (¬x ∨¬z⇔¬y) ∨ (x→¬y ∨z) Durch Elimination habe ich die Äquivalenz und die Implikation aufgelöst, so dass ich: (x∧z ∨ z∧¬y) ∧ (y∨¬x∨¬z) ∨ (¬x∨¬y∨¬z) erhalte. Durch Distribution habe ich den Ausdruck weiter umgeformt und habe nun folgendes stehen: ( x∧z ∨ x∧¬y ∨ ¬y∧z ∨ ¬y) ∧ (y∨¬x∨¬z) ∨ (¬x∨¬y∨¬z)
Ich bin mir ziemlich sicher, dass ich bisher alles richtig gemacht habe allerdings weiß ich jetzt nicht mehr weiter. Kann ich mit dem Distributivgesetz weiter arbeiten oder muss ich die Aussage durch Absorption vereinfachen oder gibt es noch einen anderen Weg?