Logical nor
From Wikipedia, the free encyclopedia.

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:

• logic gate

The original article can be found at: http://en.wikipedia.org/wiki/Logical_nor.
All text is available under the terms of the GNU Free Documentation License.