simplify ((p or q) or (not p && not q)) && ( not p or q) && p