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)