(A union B) intersect (A union C)