WolframAlpha 計算知能 AI
(P || Q || R) && (~P || ~Q)の選言標準形