Science Fair Project Encyclopedia
- This article is about logical nor. For the legendary eponymous king of Norway see Nór.
Logical nor (not or) or Webb-operation 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 neither p nor q is true, and is false otherwise. A common means of writing p NOR q is , where the symbol + signifies OR and the line over the expression signifies not, the logical negation of that expression
The two-input logical NOR operator is commonly described by a truth table, describing the output state for all possible input combinations:
|A||B||A nor B|
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.
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details