Direkt zum Inhalt

Lexikon der Mathematik: Boolesche Algebra

Boolescher Verband, distributiver komplementärer Verband M.

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}

das Assoziativgesetz

\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}

und das Gesetz der 0 und der 1

\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.

Schreiben Sie uns!

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

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.