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