Kommutativgesetz
a ^ b = b ^ a
a v b = b v a

Assoziativgesetz
a ^ b ^ c = (a ^ b) ^ c = a ^ (b ^ c)
a v b v c = (a v b) v c = a v (b v c)

Distributivgesetz
a ^ (b v c) = (a ^ b) v (a ^ c)
a v (b ^ c) = (a v b) ^ (a v c)

Gesetz von de Morgan
-(a ^ b) = -a v -b
-(a v b) = -a ^ -b

neutrales Element
a ^ 1 = a
a v 0 = a

komplementäres Element
a ^ -a = 0
a v -a = 1

Absorptionsgesetz
a ^ (a v b) = a
a v (a ^ b) = a

Definition der Operatoren UND ^ , ODER v  und NICHT -

a	b	-a	-b	a ^ b	a v b
0	0	1	1	0	0
0	1	1	0	0	1
1	0	0	1	0	1
1	1	0	0	1	1

Disjunktive Normalform
Mehrere durch UND verknüpfte Terme sind durch ODER verbunden.
Beispiel: (a ^ b ^ c) v (-a ^ b ^ c) v (b ^ -c)

Vereinfachung von Termen
Mit Hilfe der Gesetze der Schaltalgebra wird der Umfang der Terme reduziert.
Beispiel:
(a ^ b ^ c) v (-a ^ b ^ c) v (b ^ -c)
Assoziativgesetz              ---> = ((a ^ b ^ c) v (-a ^ b ^ c)) v (b ^ -c)
Distributivgesetz              ---> = ((a v -a) ^ (b ^ c)) v (b ^ -c)
komplementäres Element ---> = (1 ^ (b ^ c)) v (b ^ -c)
neutrales Element            ---> = (b ^ c) v (b ^ -c)
Distributivgesetz              ---> = b ^ (c v -c)
komplementäres Element ---> = b ^ 1
neutrales Element             ---> = b
d.h. es gilt (a ^ b ^ c) v (-a ^ b ^ c) v (b ^ -c) = b