\begin{frame}
  \frametitle{Truth Tables}

  \begin{center}
  \begin{tabular}{|c|c|c|}
    \hline
    \thd $\phi$ & \thd $\psi$ & \thd $\phi \wedge \psi$ \\
    \hline
    $\F$ & $\F$ & \mpause[1]{$\F$} \\
    \hline
    $\F$ & $\T$ & \mpause{$\F$} \\
    \hline
    $\T$ & $\F$ & \mpause{$\F$} \\
    \hline
    $\T$ & $\T$ & \mpause{$\T$} \\
    \hline
  \end{tabular}%
  \pause\pause\pause\pause\pause%
  \quad%
  \begin{tabular}{|c|c|c|}
    \hline
    \thd $\phi$ & \thd $\psi$ & \thd $\phi \vee \psi$ \\
    \hline
    $\F$ & $\F$ & \mpause[1]{$\F$} \\
    \hline
    $\F$ & $\T$ & \mpause{$\T$} \\
    \hline
    $\T$ & $\F$ & \mpause{$\T$} \\
    \hline
    $\T$ & $\T$ & \mpause{$\T$} \\
    \hline
  \end{tabular}
  \pause\pause\pause\pause\pause%
  \quad%
  \begin{tabular}{|c|c|c|}
    \hline
    \thd $\phi$ & \thd $\psi$ & \thd $\phi \to \psi$ \\
    \hline
    $\F$ & $\F$ & \mpause[1]{$\T$} \\
    \hline
    $\F$ & $\T$ & \mpause{$\T$} \\
    \hline
    $\T$ & $\F$ & \mpause{$\F$} \\
    \hline
    $\T$ & $\T$ & \mpause{$\T$} \\
    \hline
  \end{tabular}
  \pause\pause\pause\pause\pause%
  \end{center}
  \begin{center}
  \begin{tabular}{|c|}
    \hline
    \thd $\bot$ \\
    \hline
    $\F$ \\
    \hline
  \end{tabular}%
  \pause\quad\quad%
  \begin{tabular}{|c|}
    \hline
    \thd $\top$ \\
    \hline
    $\T$ \\
    \hline
  \end{tabular}%
  \end{center}
\end{frame}