Definition:Logical NAND/Truth Table

Definition
The truth table of the logical NAND operator $p \uparrow q$ is as follows:


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

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

Matrix Form

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

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