Definition:Truth Table/Characteristic

Definition
Let $\circledcirc$ be a logical connective.

The characteristic truth table for $\circledcirc$ is the truth table describing the truth function of $\circledcirc$:


 * $\begin{array}{|cc||c|} \hline

p & q & p \circledcirc q \\ \hline F & F & x \\ F & T & x \\ T & F & x \\ T & T & x \\ \hline \end{array}$

where $x$ is replaced by either $F$ or $T$ as appropriate on each row.

The characteristic truth tables of the various logical connectives are listed below.