Definition:Logical NOR/Truth Function

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