(A intersect B) union (A intersect C)