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 ¬(a ⋀ b) von a ⋀ b und ein Komplement ¬(a ⋁ b) von a ⋁ b 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}
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!