hmm,

helft mir mal bitte auf die sprünge, bei mir steht doch in beispiel 1:

nicht((nicht(a)) und (b))
im zweiten
(a) und (nicht(b))

bei beiden kommt für a = 0 heraus, womit die and verknüpfung zu ende ist, da dort beide 1 sein müssen?!