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.