\begin{equation*} P \imp Q \text{ is logically equivalent to } \neg P \vee Q\text{.} \end{equation*}