SymPy Gamma logo SymPy Gamma

And (a,~b)|(~a|~b|c)
Or(Not(a), Not(b), c)
satisfiable(Or(And(Not(b), a), Not(a), Not(b), c))
Or(And(Not(b), a), Not(a), Not(b), c)
See what Wolfram|Alpha has to say.

Need more control? Try SymPy Live.