((q or p) implies (not q))