Line 1: |
Line 1: |
| <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. | | <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. |
| | | |
− | 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 '''logical NNOR''' (Neither Nor) is an operation on two logical values, 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 <math>p ~\operatorname{NNOR}~ q,</math> also written <math>p \curlywedge q,\!</math> appears below: |
| | | |
| <br> | | <br> |
| | | |
− | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:45%" | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:45%" |
− | |+ '''Logical NNOR''' | + | |+ style="height:30px" | <math>\text{Logical NNOR}\!</math> |
− | |- style="background:#e6e6ff" | + | |- style="height:40px; background:#f0f0ff" |
− | ! style="width:15%" | p
| + | | style="width:33%" | <math>p\!</math> |
− | ! style="width:15%" | q
| + | | style="width:33%" | <math>q\!</math> |
− | ! style="width:15%" | p ↓ q
| + | | style="width:33%" | <math>p \curlywedge q\!</math> |
| |- | | |- |
− | | F || F || T | + | | <math>\operatorname{F}</math> || <math>\operatorname{F}</math> || <math>\operatorname{T}</math> |
| |- | | |- |
− | | F || T || F | + | | <math>\operatorname{F}</math> || <math>\operatorname{T}</math> || <math>\operatorname{F}</math> |
| |- | | |- |
− | | T || F || F | + | | <math>\operatorname{T}</math> || <math>\operatorname{F}</math> || <math>\operatorname{F}</math> |
| |- | | |- |
− | | T || T || F | + | | <math>\operatorname{T}</math> || <math>\operatorname{T}</math> || <math>\operatorname{F}</math> |
| |} | | |} |
| | | |