1. Álgebra de Boole de Conjuntos
Sean A, B, C ⊆ U, siendo U un conjunto universal:
Leyes asociativas
(A ∪ B) ∪ C = A ∪ (B ∪ C).
(A ∩ B) ∩ C = A ∩ (B ∩ C).
Leyes conmutativas
A ∪ B = B ∪ A.
A ∩ B = B ∩ A.
Leyes de idempotencia
A ∪ A = A.
A ∩ A = A.

2. Álgebra de Boole de Conjuntos
Leyes de identidad
A ∪ ∅ = A.
A ∩ U = A.
Leyes de acotación
A ∪ U = U.
A ∩ ∅ = ∅.
Leyes distributivas
(A ∪ B) ∩ C = (A ∩ C) ∪ (B ∩ C).
(A ∩ B) ∪ C = (A ∪ C) ∩ (B ∪ C).

3. Álgebra de Boole de Conjuntos
Leyes del complementario
A ∪ A = U.
A∩A=∅
Leyes de De Morgan
(A ∪ B) = A ∩ B.
(A ∩ B) = A ∪ B.
Doble complementario
A = A.