Vereinfachen Sie die folgenden Formeln durch Anwendung und Benennung der Äquivalenzen

Question

Vereinfachen Sie die folgenden Formeln so weit wie möglich durch Anwendung und Benennung der Äquivalenzen:

s= (x∨¬y∨z) ∧ (¬x∨y∨¬z) ∨ z        t= ¬(¬u∧y∧¬z)  ∧ (x∨¬y∨z)  ∧ ¬(x∧y∧¬z)

Ich bedanke mich im Voraus für die Mühe und Hilfe.

Answer 1

Erst einmal sollte man die Boolschen Ausdrücke berechnen und durch das anwenden der Axiome fallen schon einige Ausdrücke weg ,da null ,und am Ende kommt dann raus:

s=¬y∨x∨z

t=u∧¬y∧z