0 Daumen
506 Aufrufe
  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?
Avatar von

Lass dich vielleicht schon mal hier inspirieren

https://www.wolframalpha.com/input/?i=+%28x+implies+NOT%28y%29+OR+z%29

bis jemand deine Rechnung kompetent ansehen kann.

Bis Wolframalpha einen versteht muss man auch etwas experimentieren.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community