Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
logical connective
|
| gptkbp:alsoKnownAs |
gptkb:NAND
alternative denial |
| gptkbp:arity |
binary
|
| gptkbp:category |
gptkb:logic
|
| gptkbp:defines |
A | B is true unless both A and B are true
|
| gptkbp:expressedIn |
all other logical connectives
|
| gptkbp:functionallyComplete |
true
|
| https://www.w3.org/2000/01/rdf-schema#label |
Sheffer stroke
|
| gptkbp:introduced |
gptkb:Henry_M._Sheffer
|
| gptkbp:introducedIn |
1913
|
| gptkbp:logicalEquivalence |
NOT (A AND B)
|
| gptkbp:notation |
A | B
A ↑ B |
| gptkbp:relatedTo |
gptkb:Peirce_arrow
AND NOT |
| gptkbp:symbol |
|
↑ |
| gptkbp:truthTable |
true unless both operands are true
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:logic gptkb:digital_logic |
| gptkbp:bfsParent |
gptkb:Alice_Sheffer
|
| gptkbp:bfsLayer |
6
|