(not p) implies (q and not r)