\item \self $\ent (p \imp (q \land r)) \imp ((p \imp q) \land (p \imp r))$