SymPy Gamma

Input:

And(a%2C ~b) %7C (~a %7C ~b %7C c)

Error:

And(a%2C ~b) %7C (~a %7C ~b %7C c)

And (Symbol ('a' )%Integer (2 )*Symbol ('C' )~ Symbol ('b' ))%Integer (7 )*Function ('C' )*(~Symbol ('a' )%Integer (7 )*Symbol ('C' )~Symbol ('b' )%Integer (7 )*Symbol ('C' )*Symbol ('c' ))

46: invalid syntax (<string>, line 1)

See what Wolfram|Alpha has to say.

Experiment with SymPy at SymPy Live.