(Aᶜ)ᶜ = A
Distributiva
Idempotencia
A ∩ A = A
Ley de Morgan
( A n B ) n C = A n ( B n C )
Identidad
Involutiva
A ᴜ Φ = A
A ᴜ A = A
Conmutativa
( A U B ) U C = A U ( B U C )
(A U B )ᶜ = Aᶜ ∩ Bᶜ
Asociativa
A ᴜ Aᶜ = U
(A ∩ B )ᶜ = Aᶜ ᴜ Bᶜ
A n ( B U C ) = ( A n B ) U ( A n B )
A U B = B U A
A ∩ Aᶜ = Φ
A ∩ Φ = Φ
A n B = B n A
Complementariedad
A U ( B n C ) = ( A U B ) n ( A U C )