Definition:Logical NAND/Truth Function

The NAND connective defines the truth function $f^\uparrow$ as follows:
 $\ds \map {f^\uparrow} {\F, \F}$ $=$ $\ds \T$ $\ds \map {f^\uparrow} {\F, \T}$ $=$ $\ds \T$ $\ds \map {f^\uparrow} {\T, \F}$ $=$ $\ds \T$ $\ds \map {f^\uparrow} {\T, \T}$ $=$ $\ds \F$