(A ⋃ B) ⋃ (A ⋃ C)