|
Nor - Definition and Overview |
|
- This article is about logical nor. For the legendary eponymous king of Norway see Nór.
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 neither p nor q is true, and is false otherwise. A common means of writing p NOR q is <math>\overline{p + q}<math>, where the symbol <math>+<math> signifies OR and the line over the expression signifies not, the logical negation of that expression
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"
| <math>\overline{p} \equiv \overline{p + p}<math>
|
| "p and q" is equivalent to "(p NOR p) NOR (q NOR q)"
| <math>p \cdot q \equiv \overline{\overline{(p + p)} + \overline{(q + q)}}<math>
|
| "p or q" is equivalent to "(p NOR q) NOR (p NOR q)"
| <math>p + q \equiv \overline{\overline{(p + q)} + \overline{(p + q)}}<math>
|
| p implies q" is equivalent to "((p NOR q) NOR q) NOR ((p NOR q) NOR q)"
| <math>p \rightarrow q \equiv \overline{\overline{(\overline{(p+q)} + q)}+\overline{(\overline{(p + q)} + q)}}<math>
|
This is similar to the logical nand operator.
See also:
|
|
Example Usage of Nor |
 |
LolaNele: RT @The_Kinkster My sole job at Thanksgiving is to eat. I do not, I will not EVER cook, Nor prepare. <<@brooklynkandi @kailafeh |
 |
annidl: Just because I stuff my cheeks with nuts does not necessarily make me a chipmunk...Nor a squirrel! |
|
LolaNele: RT @The_Kinkster My sole job at Thanksgiving is to eat. I do not, I will not EVER cook, Nor prepare.<@jmitchell0804 @sassybutterfly @sawooda |
|
