And%28a%2C ~b%29 %7C %28~a %7C ~b %7C c%29
Want to compute something more complicated? Try a full Python/SymPy console at SymPy Live.