Logical nor
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)"
This is similar to the
logical nand operator.
See also: