dcreager.net

Distributivity of sets

Set difference

(A ∪ B) \ (C ∪ D) = (A ∪ B) \ C \ D
                  = ((A \ C) ∪ (B \ C)) \ D
                  = (A \ C \ D) ∪ (B \ C \ D)

Intersection

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

Sets