\item \self Given is a formula $\varphi = ( \neg ( r \leftrightarrow q) \implies \neg r ) \land (\neg (r \implies q) \lor (p \implies q))$.
 Determine a satisfying model $\mathcal{M}_1$ and a falsifying model $\mathcal{M}_2$ using its parse tree.