¬(((p∧¬q)∨(¬r∧¬s)) ⇒ (¬t∧u)) Formen Sie diese Formel mit logischen Äquivalenzen so um (mit Angabe und Erklärung der Zwischenschritte), dass eine neue Formel mit folgenden Eigenschaften entsteht: •
Es werden nur noch Konjunktionen, Disjunktionen und Negationen verwendet. •
Negationen werden nur noch direkt auf die elementaren Aussagen p,q,r,s,t,u, aber nicht mehr auf zusammengesetzte Teilformeln angewendet. •
Ebenfalls dürfen Disjunktionen nur noch auf andere Disjunktionen oder (eventuell negierte) elementare Aussagen angewendet werden. •
Also: Innerhalb von Negationen keine Disjunktionen und Konjunktionen mehr, inner- halb von Disjunktionen keine Konjunktionen mehr...