de Morgansche Regeln
Die de Morganschen Regeln kommen in der Mengenalgebra und in der Aussagenlogik vor.
In der Mengenalgebra beziehen sie sich auf das Komplement der Vereinigung und des Durchschnitts zweier Mengen. Es gilt:
\(overline {A cap B } = overline A cup overline B\) sowie \(overline {A cup B } = overline A cap overline B\) .
In der Aussagenalgebra beziehen sie sich auf die Negation zweier durch UND bzw. ODER verknüpften Aussagen. Es gilt:
\(neg (A land B) leftrightarrow neg A vee neg B\) sowie \(neg (A vee B) leftrightarrow neg A land neg B\).