12,080
edits
Changes
copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author
The '''logical NNOR''' is a [[logical operation]] on two [[logical value]]s, typically the values of two [[proposition]]s, that produces a value of ''true'' if and only if both of its operands are false. In other words, it produces a value of ''false'' if and only if at least one of its operands is true.
The [[truth table]] of '''p NNOR q''' (also written as '''p ⊥ q''' or '''p ↓ q''') is as follows:
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ '''Logical NNOR'''
|- style="background:paleturquoise"
! style="width:15%" | p
! style="width:15%" | q
! style="width:15%" | p ↓ q
|-
| F || F || T
|-
| F || T || F
|-
| T || F || F
|-
| T || T || F
|}
<br>
==See also==
===Logical operators===
{|
| valign=top |
* [[Exclusive disjunction]]
* [[Logical conjunction]]
* [[Logical disjunction]]
* [[Logical equality]]
| valign=top |
* [[Logical implication]]
* [[Logical NAND]]
* [[Logical NNOR]]
* [[Logical negation|Negation]]
|}
===Related topics===
{|
| valign=top |
* [[Ampheck]]
* [[Boolean algebra]]
* [[Boolean domain]]
* [[Boolean function]]
| valign=top |
* [[Boolean logic]]
* [[Laws of Form]]
* [[Logic gate]]
* [[Logical graph]]
| valign=top |
* [[Peirce's law]]
* [[Propositional calculus]]
* [[Sole sufficient operator]]
* [[Zeroth order logic]]
|}
The [[truth table]] of '''p NNOR q''' (also written as '''p ⊥ q''' or '''p ↓ q''') is as follows:
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:45%"
|+ '''Logical NNOR'''
|- style="background:paleturquoise"
! style="width:15%" | p
! style="width:15%" | q
! style="width:15%" | p ↓ q
|-
| F || F || T
|-
| F || T || F
|-
| T || F || F
|-
| T || T || F
|}
<br>
==See also==
===Logical operators===
{|
| valign=top |
* [[Exclusive disjunction]]
* [[Logical conjunction]]
* [[Logical disjunction]]
* [[Logical equality]]
| valign=top |
* [[Logical implication]]
* [[Logical NAND]]
* [[Logical NNOR]]
* [[Logical negation|Negation]]
|}
===Related topics===
{|
| valign=top |
* [[Ampheck]]
* [[Boolean algebra]]
* [[Boolean domain]]
* [[Boolean function]]
| valign=top |
* [[Boolean logic]]
* [[Laws of Form]]
* [[Logic gate]]
* [[Logical graph]]
| valign=top |
* [[Peirce's law]]
* [[Propositional calculus]]
* [[Sole sufficient operator]]
* [[Zeroth order logic]]
|}