Lexikon der Mathematik: Boolesche Algebra
Boolescher Verband, distributiver komplementärer VerbandM.
In einer Booleschen Algebra (M ≤) gilt das Kommutativgesetz
\begin{eqnarray}x\vee y=y\vee x,\text{\hspace{0.17em}}x\wedge y=y\wedge x,\end{eqnarray}
\begin{eqnarray}(x\vee y)\vee z=x\vee (y\vee z)\\ (x\wedge y)\wedge z=x\wedge (y\wedge z),\end{eqnarray}
das Absorbtionsgesetz\begin{eqnarray}(x\vee y)\wedge x=x,(x\wedge y)\vee x=x,\end{eqnarray}
das Distributivgesetz\begin{eqnarray}x\wedge (y\vee z)=(x\wedge y)\vee (x\wedge z)\\ x\vee (y\wedge z)=(x\vee y)\wedge (x\vee z),\end{eqnarray}
\begin{eqnarray}x\vee (y\wedge \bar{y})=x\\ x\wedge (y\vee \bar{y})=x.\end{eqnarray}
[1] Brown, F.: Boolean Reasoning: The Logic of Boolean Equations. Kluwer Academic Publishers Boston Dordrecht London, 1990.
[2] Szász, G.: Einführung in die Verbandstheorie. B.G. Teubner Leipzig, 1962.
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.