![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/c/cb/Venn1110.svg/langfr-640px-Venn1110.svg.png&w=640&q=50)
Barre de Sheffer
opérateur logique / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Barre de Sheffer?
Résumez cet article pour un enfant de 10 ans
En calcul de propositions, la barre de Sheffer, nommée d'après Henry M. Sheffer, notée « | » (voir barre verticale, à ne pas confondre avec « || » qui est souvent utilisé pour représenter la disjonction), « Dpq », ou « ↑ » (une flèche pointant vers le haut), désigne une opération logique qui est équivalente à la négation de la conjonction logique, exprimée « pas les deux à la fois » dans le langage ordinaire. Il est aussi appelé nand (« non et »), car il dit en effet qu'au moins l'un de ses opérandes est faux. En algèbre booléenne et en électronique numérique, il est connu sous le nom de l'opération NON-ET.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cb/Venn1110.svg/320px-Venn1110.svg.png)
Comme son dual, l'opérateur NON-OU, NON-ET peut être utilisé par lui-même, sans aucun autre opérateur logique, pour constituer un système formel logique. Cette propriété rend la porte NON-ET cruciale pour l'électronique numérique moderne, y compris son utilisation dans la mémoire flash NAND et la conception d'un processeur d'ordinateur.