Line 1: |
Line 1: |
− | 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 '''logical NNOR''' (Neither Nor) 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: | | The [[truth table]] of '''p NNOR q''' (also written as '''p ⊥ q''' or '''p ↓ q''') is as follows: |
Line 23: |
Line 23: |
| <br> | | <br> |
| | | |
− | ==See also== | + | ==Syllabus== |
| | | |
| ===Logical operators=== | | ===Logical operators=== |
Line 45: |
Line 45: |
| {{col-break}} | | {{col-break}} |
| * [[Ampheck]] | | * [[Ampheck]] |
− | * [[Boolean algebra]]
| |
| * [[Boolean domain]] | | * [[Boolean domain]] |
| * [[Boolean function]] | | * [[Boolean function]] |
| + | * [[Boolean-valued function]] |
| {{col-break}} | | {{col-break}} |
− | * [[Boolean logic]]
| |
− | * [[Laws of Form]]
| |
− | * [[Logic gate]]
| |
| * [[Logical graph]] | | * [[Logical graph]] |
| + | * [[Logical matrix]] |
| + | * [[Minimal negation operator]] |
| + | * [[Peirce's law]] |
| {{col-break}} | | {{col-break}} |
− | * [[Peirce's law]]
| |
| * [[Propositional calculus]] | | * [[Propositional calculus]] |
− | * [[Sole sufficient operator]] | + | * [[Truth table]] |
| + | * [[Universe of discourse]] |
| * [[Zeroth order logic]] | | * [[Zeroth order logic]] |
| {{col-end}} | | {{col-end}} |
| + | |
| + | ==Document history== |
| + | |
| + | Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders. |
| + | |
| + | {{col-begin}} |
| + | {{col-break}} |
| + | * [http://mywikibiz.com/Logical_NNOR Logical NNOR], [http://mywikibiz.com/ MyWikiBiz] |
| + | * [http://beta.wikiversity.org/wiki/Logical_NNOR Logical NNOR], [http://beta.wikiversity.org/ Beta Wikiversity] |
| + | * [http://www.getwiki.net/-Logical_NNOR Logical NNOR], [http://www.getwiki.net/ GetWiki] |
| + | {{col-break}} |
| + | * [http://www.wikinfo.org/index.php/Logical_NNOR Logical NNOR], [http://www.wikinfo.org/ Wikinfo] |
| + | * [http://www.textop.org/wiki/index.php?title=Logical_NNOR Logical NNOR], [http://www.textop.org/wiki/ Textop Wiki] |
| + | * [http://en.wikipedia.org/w/index.php?title=Logical_NOR&oldid=75155433 Logical NNOR], [http://en.wikipedia.org/ Wikipedia] |
| + | {{col-end}} |
| + | |
| + | <br><sharethis /> |
| | | |
| [[Category:Computer Science]] | | [[Category:Computer Science]] |
Line 69: |
Line 86: |
| [[Category:Philosophy]] | | [[Category:Philosophy]] |
| [[Category:Semiotics]] | | [[Category:Semiotics]] |
− |
| |
− | <sharethis />
| |