Definition:Logical NOR/Truth Table/Matrix Form

From ProofWiki
Jump to navigation Jump to search

Definition

The characteristic truth table of the logical NOR operator $p \downarrow q$ can be presented in matrix form as follows:

$\begin{array}{c|cc} \downarrow & T & F \\ \hline T & F & F \\ F & F & T \\ \end{array}$