Direkt zum Inhalt

Lexikon der Mathematik: de Morgan, Gleichungen von

gelten für je zwei Elemente a und b eines beschränkten distributiven Verbandes (V, ⋀, ⋁), die beide ein Komplement in V besitzen. Ist ¬ a ein Komplement von a und ¬b ein Komplement von b, so existiert ein Komplement ¬(ab) von ab und ein Komplement ¬(ab) von ab und es gilt

\begin{eqnarray}\neg (a\wedge b)=\neg a\vee \neg b\end{eqnarray}

und

\begin{eqnarray}\neg (a\vee b)=\neg a\wedge \neg b\end{eqnarray}

Lesermeinung

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos