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