How to solve (p ^ ~q) -- [(p v ~ q) -- (~p ^ q)]?