= (A ⋃ B) ∩ (A ⋃ C)