SymPy Gamma

SymPy:

(x|y)&(x|~y)&(~x|y)

$\left(x \vee y\right) \wedge \left(x \vee \neg y\right) \wedge \left(y \vee \neg x\right)$

And(x, y)

$x \wedge 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.

Need more control? Try SymPy Live.