A∩(B∪C) = (A∩C)∪(A∪C)
A∪(B∩C) = (A∪C)∩(A∪C)
A∩A = A
(A∩B)∩C = A∩B∩C = A∩C∩B