(B intersect C') union A = (A union B) intersect (A union C')