MK 24.3.2005 Mengenalgebra.mcd
Mengenalgebra (Boolesche Algebra)
(1) Kommutativgesetze
(2) Assoziativgesetze
A
B = B
A
A
B = B
A
(3) Distributivgesetze
A
( B
C ) = ( A
B )
( A
C )
A
( B
C ) = ( A
B )
( A
C )
_
A
A = {}
_
A
A = G
(4) Gesetz für das Komplement
und
(5) Gesetze für G und { }
A
G = A
A
G = G
A
{} = {}
A
{} = A
A
A = A
A
A = A
_
{} = G
_
G = {}
_ _
= A
B
_ _
= A
B
(6) Gesetze von DeMorgan
und