operatore di Sheffer
Sign in to saveAlso known as alternative denial, not and, not both, NAND, non-conjunction, NAND operation, logical NAND, ↑
connettivo logico
Wikidata facts
- Instance of
- Boolean function
- Named after
- Henry M. Sheffer
- Image
- Venn1110.svg
Show 7 more facts
- publication date
- 1913-00-00
- discoverer or inventor
- Henry M. Sheffer
- copyright status
- public domain
- TeX string
- \uparrow
- Unicode character
- ↑
- Commons category
- Sheffer stroke
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Italiano
L'operatore di Sheffer, chiamato anche negazione alternativa (o incompatibile) o anche NAND, è uno dei due operatori introdotti dal matematico statunitense Henry Maurice Sheffer (l'altro operatore è NOR). Tale connettivo vero-funzionale corrisponde, nel linguaggio naturale, a un utilizzo differente di "o" sia dalla disgiunzione esclusiva che da quella inclusiva. In logica matematica si indica con il segno "|" interposto tra le due lettere proposizionali (es. p | q); oppure, soprattutto in informatica, con la NAND, la quale corrisponde, appunto, a "negazione di and".Per questo motivo, la sua tavola di verità è complementare rispetto a quella della congiunzione.
Abstract from DBpedia / Wikipedia · CC BY-SA