Definition:Logical NAND/Truth Function

Definition
The NAND connective defines the truth function $f^\uparrow$ as follows: