\begin{frame}
  \frametitle{Important Equivalences}
  
  \begin{goal}{}
  \vspace{-1.5ex}
  \begin{talign}
    \mpause[1]{ \neg\neg \alpha \;&\equiv\; \alpha }\\[1ex]
    \mpause{ \alpha \wedge \alpha \;&\equiv\; \alpha }\\ 
    \mpause{ \alpha \vee \alpha \;&\equiv\; \alpha } \\[1ex] 
    \mpause{ \alpha \wedge \beta \;&\equiv\; \beta \wedge \alpha} \\ 
    \mpause{ \alpha \vee \beta \;&\equiv\; \beta \vee \alpha } \\[1ex]
    \mpause{ \alpha \to \beta \;&\equiv\; \neg \alpha \vee \beta } \\
    \mpause{ \alpha \to \beta \;&\equiv\; \neg \beta \to \neg \alpha }
  \end{talign}
  \end{goal}
  \pause[9]
  
  \begin{goal}{De Morgan laws}
  \vspace{-1.5ex}
  \begin{talign}
    \neg (\alpha \vee \beta) \;&\equiv\; \neg \alpha \wedge \neg \beta\\
    \mpause[1]{ \neg (\alpha \wedge \beta) \;&\equiv\; \neg \alpha \vee \neg \beta }
  \end{talign}
  \end{goal}
\end{frame}