Boolesche Algebra

Aus mkDoc | wiki

Wechseln zu: Navigation, Suche

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