(x%20%7C%20y)%20%26%20(x%20%7C%20~y)%20%26%20(~x%20%7C%20y)
Want to compute something more complicated? Try a full Python/SymPy console at SymPy Live.