((A intersect B) intersect (A union B union C)) \ (C intersect (A union B))