\[ \begin{array}[t]{c|c|c} \phi & \psi & \phi\land\psi\\\hline \true & \true & \true \\ \true & \false & \false\\ \false & \true & \false\\ \false & \false & \false\\ \end{array} \qquad \begin{array}[t]{c|c|c} \phi & \psi & \phi\lor\psi\\\hline \true & \true & \true \\ \true & \false & \true \\ \false & \true & \true \\ \false & \false & \false\\ \end{array} \] \[ \begin{array}[t]{c|c|c} \phi & \psi & \phi\limpl\psi\\\hline \true & \true & \true \\ \true & \false & \false\\ \false & \true & \true \\ \false & \false & \true \\ \end{array} \qquad \begin{array}[t]{c|c} \phi & \neg \phi\\\hline \true & \false\\ \false & \true \\ \end{array} \qquad \begin{array}[t]{c} \top\\\hline \true \end{array} \qquad \begin{array}[t]{c} \bot\\\hline \false \end{array} \]