WolframAlpha 計算知能 AI
(A∪B)'=(A')∩(B'),真かどうか