WolframAlpha 計算知能 AI
(X || Y) || X && Y || Y を簡約