@Detlef:
not A und
A and B sind doch völlig unterschiedliche Logiken...die kann man doch nicht zusammenwürfeln.
Kann man doch! Entweder schlägt
not A = true
zu oder wenn nicht, ist
not A
offensichtlich
false
, daraus folgt aber
A = true
. Also brauche ich im zweiten Teil des
or
das nicht mehr abfragen.