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