Hi,

ich hänge grad bei einer aufgabe bei folgenden term (thema logik):
¬ = negation
xy = x und y
x+y = x oder y

aufgabe: ¬xy¬z + ¬z + ¬((¬x¬y)z) +y¬x

ich würde so anfangen:
-de Morgan gesetz anwenden : ¬((¬x¬y)z) = x+y¬z
-letzten literale sortieren

¬xy¬z + ¬z + x+y¬z + ¬xy

Wie mache ich jetzt am geschicktesten weiter? Kann ich hier ausmultiplizieren oder erweitern? der prof erklärt sowas einfach zu freaky xD

MFG