$(2)$ In class, we proved that $PQ-=$notQ$$notP by comparing their truth tables. Prove this by instead applying the laws of propositional logic. Make sure to write down the name of the law you use in each step.