SymPy Gamma

SymPy:

And (a,~b)|(~a|~b|c)

$c \vee \left(a \wedge \neg b\right) \vee \neg a \vee \neg b$

c | ~a | ~b

$c \vee \neg a \vee \neg b$

satisfiable(c | ~a | ~b | (a & ~b))

c | ~a | ~b | (a & ~b)

See what Wolfram|Alpha has to say.

Want to compute something more complicated? Try a full Python/SymPy console at SymPy Live.