Beispiele zur Aussagenlogik
de Morgan‘sche Regeln:
NOT (p AND q)  =  (NOT p) OR (NOT q)
NOT (p OR q)  =  (NOT p) AND (NOT q)