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

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