Use a truth table to show that $not{q}^{{?}^{?}}(notqp)p$ is a tautology.

Show that $p(qr)$ and $q(-pvvr)$ are logically equivalent.