Ahso ^^ stimmt ja ausklammern kann man auch noch.. Aber jetzt haben wir das Problem, dass nun
(⌉q n ⌉p) u ( ( (p ∧ r) ∨s) n (⌉p u q)) da steht und das ⌉p weg muss. Und da wären wir ja quasi wieder am Anfang meines Problems ^^ Ich kann da nun auch nicht den DeMorgan anwenden, weil da q ja dann verneint wird.
Ich hab rumprobiert und folgendes versucht:
( (p ∧ r) ∨s) wieder zu t
(⌉q n ⌉p) u ( ( (p ∧ r) ∨s) n (⌉p u q))
(⌉q n ⌉p) u ( t n (⌉p u q)) dann ausmultipliziert
(⌉q n ⌉p) u ( ( (p ∧ r) ∨s) n q ) u (t n ⌉p)
hier stört aber wider das grüne -.-
Was mach ich falsch bzw. was sehe ich nicht ^^