SymPy Gamma

SymPy:

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

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

Simplification:

c | ~a | ~b

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

Satisfiability:

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

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

See what Wolfram|Alpha has to say.

Experiment with SymPy at SymPy Live.