HW$1$: Problem $6$

$(1$ point$)$

Prove that not$(pvv(not{p}^{{?}^{?}}q))$ and $not{p}^{{?}^{?}}$notq are logically equivalent by applying the laws of propositional logic.