Definition:Logical NOR/Truth Function

From ProofWiki
Jump to navigation Jump to search

Definition

The NOR connective defines the truth function $f^\downarrow$ as follows:

\(\displaystyle f^\downarrow \left({F, F}\right)\) \(=\) \(\displaystyle T\)
\(\displaystyle f^\downarrow \left({F, T}\right)\) \(=\) \(\displaystyle F\)
\(\displaystyle f^\downarrow \left({T, F}\right)\) \(=\) \(\displaystyle F\)
\(\displaystyle f^\downarrow \left({T, T}\right)\) \(=\) \(\displaystyle F\)