WolframAlpha computational knowledge AI
(X1 or X2 or X3) and not (X1 and X2 or (not X1)and X3)