∩ and ∪ are commutative (Order does not matter) and associative (move parens around)
Distribution:
A∪(B∩C)=(A∪B)∩(A∪C)A∩(B∪C)=(A∩B)∪(A∩C) - De Morgan’s law:
(A∩B)c=Ac∪Bc(A∪B)c=Ac∩Bc