Definition:Logical NAND/Truth Function
Jump to navigation
Jump to search
Definition
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\) |