\item \self Model the following sentences as detailed as possible in propositional logic.
\begin{enumerate}
    \item If all students pass, the professor will be happy.
    \item Bob is taller than Alice, but shorter than Charlie.
    \item If there is lightning there must be thunder and vice versa.
\end{enumerate}