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 to compute something more complicated? Try a full Python/SymPy console at SymPy Live.