\item \self $p \lor q, \neg p \lor r \ent q \lor r$