\item \self 
 Given a propositional logic formula $\varphi$. How can we check whether
$\varphi$ is \emph{valid} using a decision procedure for (a) satisfiability and (b) equivalence?