Logical nor (not or) is a boolean logic operator which produces a result that is the inverse of logical or. That is, p nor q is only true when p or q are false, and is false otherwise.
Nor has the interesting feature that all other logical operators can be expressed by various functions of nor.
- "not p" is equivalent to "p NOR p"
- "p and q" is equivalent to "(p NOR p) NOR (q NOR q)"
- "p or q" is equivalent to "(p NOR q) NOR (p NOR q)"
- "p implies q" is equivalent to "((p NOR q) NOR q) NOR ((p NOR q) NOR q)"
See also: