Boolesche Algebra

In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen Durchschnitt, Vereinigung, Komplement verallgemeinert.

Operatoren

$\wedge$	UND
$\lor$	ODER
$\neg$	NICHT

Assoziativgesetz (Verbindungsgesetz)

Schaltung	Formel
	$X=A\land B\land C=(A\land B)\land C$ $X=A\land B\land C=A\land (B\land C)$ $X=A\land B\land C=(A\land C)\land B$

Schaltung	Formel
	$X=A\lor B\lor C=(A\lor B)\lor C$ $X=A\lor B\lor C=A\lor (B\lor C)$ $X=A\lor B\lor C=(A\lor C)\lor B$

Distributivgesetz (Verteilungsgesetz)

Schaltung	Formel
	$X=A\land B\lor A\land C=A\land (B\lor (C)$

Absorptionsgesetz (Aufhebungsgesetz)

Schaltung	Formel
	$X=(A\lor B)\land A=A$

Schaltung	Formel
	$X=(A\land B)\lor A=A$

De Morgansche Gesetze

Schaltung	Formel
	$X=A\land B={\overline {{\overline {A}}\lor {\overline {B}}}}$
	$X={\overline {A\land B}}={\overline {A}}\lor {\overline {B}}$
	$X=A\lor B={\overline {{\overline {A}}\land {\overline {B}}}}$
	$X={\overline {A\lor B}}={\overline {A}}\land {\overline {B}}$

Siehe auch

Grundbausteine der Digitaltechnik