Truth Table

A truth table is a mathematical table used in Logic.

For instance, this is the truth table for Implication:

\hline A & B & A \implies B\\ \hline T & T & T\\ T & F & F\\ F & T & T\\ \hline \end{array}