((not p) or q) equivalent p