((not p) or q) implies p