Use the law of propositional logic to prove that $p(p^{{?}^{?}}r)$ and notpvvr are logically equivalent.