Da ich nicht weiß, wie ich hier im Forum alle Zeichen benutzen kann, habe ich zur Übersichtlichkeit die Interpretationsfunktion weggelassen.
Leider hilft mir ihre Antwort daher nicht weiter.
Psi ( NICHT (x2*x3) ) müsste zu: NICHT Psi(x2) + NICHT Psi (x3) werden
wenn ich aber Folie 6 betrachte und das beliebige g mit g' * h ersetze, folgere ich:
Psi (Nicht(g)) = Psi (Nicht( g' * h)) = Psi(Nicht ( Psi(g') * Psi(h)) = Nicht (Psi( Psi(g') * Psi(h)))
einzige andere Möglichkeit die aber logisch der ersten entspricht, wäre wenn ich die Klammer lassen darf, also:
Nicht(x2 * x3) bestehen bleibt.