WolframAlpha computational knowledge AI
is (A union B)'=(A') intersect (B')