Leyes del lgebra de conjuntos

Clasificacin de las leyes del lgebra de conjuntos

CONMUTATIVA
AB=BA
AB=BA

ASOCIATIVA
(A B) C = A (B C)
(A B) C = A (B C)

DISTRIBUTIVA
(A B) C = (A C) (B C)
(A B) C = (A C) (B C)

REDUCCIN
A (B A) = A
A (B A) = A

IDEMPOTENCIA
AA=A
A A= A

IDENTIDAD
A=A
A Re = A

ABSORCIN
A Re = Re
A =

TERCER EXCLUIDO
A Ac = Re

CONTRADICCIN
A Ac =

INVOLUCIN
(Ac)c = A

MORGAN
(A B) c = Ac Bc
(A B) c = Ac Bc

DIFERENCIA
A - B = (A B)c

DISTRIBUTIVA DE LA DIFERENCIA
A- ( B C ) = ( A- B ) ( A- C )
A- ( B C ) = ( A- B ) ( A- C )

COMPLEMENTO
Re c = 0
= Re
DEMPOTENCIA

ABSORCIN

COMPLEMENTO
CONMUTATIVA

ASOCIATIVA

MORGAN

DISTRIBUTIVA

IDENTIDAD

OTRAS LEYES