67/186
\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%
\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%
\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}%
\thd $\top$ \\
$\T$ \\