) is a boolean logic
operator which produces a result that is the inverse of logical or
. That is, p
is only true when p
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