SymPy Gamma logo SymPy Gamma

(x|y)&(x|~y)&(~x|y)
And(x, y)
satisfiable(And(Or(Not(x), y), Or(Not(y), x), Or(x, y)))
And(Or(Not(x), y), Or(Not(y), x), Or(x, y))
See what Wolfram|Alpha has to say.

Want a full Python shell? Use SymPy Live.