Commuatative laws
AUB = BUA
AintersectionB = BintersectionA
Associative Laws
(AUB)UC = AU(BUC)
(AintersectB)intersectC = Aintersect(BintersectC)
Distributive Laws
AU(BUC) = (AUB)intersect(AUC)
Aand(BUC) = (AandB)U(AandC)
Demorgan
(AUB)’ = A’andB’
(AandB)’ = A’intersectB