Definition:Logical NOR/Truth Table

Definition

The characteristic truth table of the logical NOR operator $p \downarrow q$ is as follows:

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

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

Matrix Form

$\begin {array} {c|cc}

\downarrow & \T & \F \\ \hline \T & \F & \F \\ \F & \F & \T \\ \end {array}$