| http://dbpedia.org/ontology/abstract
|
En calcul de propositions, la barre de She … 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. 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.a conception d'un processeur d'ordinateur.
|
| http://dbpedia.org/ontology/discoverer
|
http://fr.dbpedia.org/resource/Henry_Maurice_Sheffer +
|
| http://dbpedia.org/ontology/namedAfter
|
http://fr.dbpedia.org/resource/Henry_Maurice_Sheffer +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Venn1110.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageID
|
5370370
|
| http://dbpedia.org/ontology/wikiPageLength
|
7646
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
152721550
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Domaine_bool%C3%A9en +
, http://fr.dbpedia.org/resource/Connecteur_logique +
, http://fr.dbpedia.org/resource/Dualit%C3%A9_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Transactions_of_the_American_Mathematical_Society +
, http://fr.dbpedia.org/resource/Liste_de_symboles_logiques +
, http://fr.dbpedia.org/resource/Charles_Hartshorne +
, http://fr.dbpedia.org/resource/Processeur +
, http://fr.dbpedia.org/resource/Charles_Sanders_Peirce +
, http://fr.dbpedia.org/resource/N%C3%A9gation_logique +
, http://fr.dbpedia.org/resource/Syst%C3%A8me_formel +
, http://fr.dbpedia.org/resource/Bertrand_Russell +
, http://fr.dbpedia.org/resource/Alonzo_Church +
, http://fr.dbpedia.org/resource/Princeton%2C_New_Jersey +
, http://fr.dbpedia.org/resource/Henry_Maurice_Sheffer +
, http://fr.dbpedia.org/resource/%C3%89quivalence_logique +
, http://fr.dbpedia.org/resource/Barre_verticale +
, http://fr.dbpedia.org/resource/Fichier:Venn1110.svg +
, http://fr.dbpedia.org/resource/Fichier:Venn0111.svg +
, http://fr.dbpedia.org/resource/Fichier:Venn10.svg +
, http://fr.dbpedia.org/resource/Alg%C3%A8bre_de_Boole_%28logique%29 +
, http://fr.dbpedia.org/resource/Fichier:Venn0001.svg +
, http://fr.dbpedia.org/resource/Disjonction_logique +
, http://fr.dbpedia.org/resource/Fichier:Venn01.svg +
, http://fr.dbpedia.org/resource/Fonction_logique +
, http://fr.dbpedia.org/resource/Calcul_des_propositions +
, http://fr.dbpedia.org/resource/Harvard_University_Press +
, http://fr.dbpedia.org/resource/D._Reidel +
, http://fr.dbpedia.org/resource/NOR_gate +
, http://fr.dbpedia.org/resource/NOT_gate +
, http://fr.dbpedia.org/resource/Principia_Mathematica +
, http://fr.dbpedia.org/resource/NAND_gate +
, http://fr.dbpedia.org/resource/Fonction_OU +
, http://fr.dbpedia.org/resource/Fonction_NON-ET +
, http://fr.dbpedia.org/resource/Dordrecht +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Connecteur_logique +
, http://fr.dbpedia.org/resource/Fonction_NON-OU +
, http://fr.dbpedia.org/resource/M%C3%A9moire_flash +
, http://fr.dbpedia.org/resource/Fonction_NON +
, http://fr.dbpedia.org/resource/Paul_Weiss +
, http://fr.dbpedia.org/resource/Conjonction_logique +
, http://fr.dbpedia.org/resource/Alfred_North_Whitehead +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Symbole +
, http://fr.dbpedia.org/resource/Princeton_University_Press +
, http://fr.dbpedia.org/resource/%C3%89lectronique_num%C3%A9rique +
, http://fr.dbpedia.org/resource/J%C3%B3zef_Maria_Boche%C5%84ski +
, http://fr.dbpedia.org/resource/South_Holland +
, http://fr.dbpedia.org/resource/Valeur_de_v%C3%A9rit%C3%A9 +
, http://fr.dbpedia.org/resource/Fichier:Venn1100.svg +
, http://fr.dbpedia.org/resource/Fichier:Venn1010.svg +
, http://fr.dbpedia.org/resource/Fichier:Venn1011.svg +
, http://fr.dbpedia.org/resource/Moses_Sch%C3%B6nfinkel +
, http://fr.dbpedia.org/resource/Fichier:Venn0101.svg +
, http://fr.dbpedia.org/resource/Cambridge +
|
| http://fr.dbpedia.org/property/année
|
1917
|
| http://fr.dbpedia.org/property/art
|
Sheffer stroke
|
| http://fr.dbpedia.org/property/journal
|
Proceedings of the Cambridge Philosophical Society
|
| http://fr.dbpedia.org/property/lang
|
en
|
| http://fr.dbpedia.org/property/langue
|
en
|
| http://fr.dbpedia.org/property/lienAuteur
|
Jean Nicod
|
| http://fr.dbpedia.org/property/nom
|
Nicod
|
| http://fr.dbpedia.org/property/pages
|
32
|
| http://fr.dbpedia.org/property/prénom
|
Jean G. P.
|
| http://fr.dbpedia.org/property/titre
|
A Reduction in the Number of Primitive Propositions of Logic
|
| http://fr.dbpedia.org/property/volume
|
19
|
| http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:%27 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Palette_Connecteurs_logiques +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Div_col +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Div_col_end +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Disambiguation_needed +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Langue +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Traduction/R%C3%A9f%C3%A9rence +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Article +
|
| http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Symbole +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Connecteur_logique +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Barre_de_Sheffer?oldid=152721550&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Venn1110.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0001.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Barre_de_Sheffer +
|
| owl:sameAs |
http://commons.dbpedia.org/resource/Category:Sheffer_stroke +
, http://fa.dbpedia.org/resource/%D8%AE%D8%B7_%D8%B4%D9%81%D8%B1 +
, http://es.dbpedia.org/resource/Conjunci%C3%B3n_opuesta +
, http://uk.dbpedia.org/resource/%D0%A8%D1%82%D1%80%D0%B8%D1%85_%D0%A8%D0%B5%D1%84%D0%B5%D1%80%D0%B0 +
, http://sr.dbpedia.org/resource/%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%BA%D0%BE_%D0%9D%D0%98 +
, http://it.dbpedia.org/resource/Operatore_di_Sheffer +
, http://zh.dbpedia.org/resource/%E8%B0%A2%E8%B4%B9%E5%B0%94%E7%AB%96%E7%BA%BF +
, http://ru.dbpedia.org/resource/%D0%A8%D1%82%D1%80%D0%B8%D1%85_%D0%A8%D0%B5%D1%84%D1%84%D0%B5%D1%80%D0%B0 +
, http://ma-graph.org/entity/184929246 +
, http://fi.dbpedia.org/resource/Shefferin_viiva +
, http://sv.dbpedia.org/resource/Sheffers_streck +
, http://pl.dbpedia.org/resource/Dysjunkcja_%28Sheffera%29 +
, http://de.dbpedia.org/resource/Shefferscher_Strich +
, http://g.co/kg/m/078p9 +
, http://ko.dbpedia.org/resource/%EB%B6%80%EC%A0%95%EB%85%BC%EB%A6%AC%EA%B3%B1 +
, http://ja.dbpedia.org/resource/%E5%90%A6%E5%AE%9A%E8%AB%96%E7%90%86%E7%A9%8D +
, http://dbpedia.org/resource/Sheffer_stroke +
, http://fr.dbpedia.org/resource/Barre_de_Sheffer +
, http://www.wikidata.org/entity/Q3874243 +
|
| rdfs:comment |
En calcul de propositions, la barre de She … 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.t connu sous le nom de l'opération NON-ET.
|
| rdfs:label |
否定論理積
, Sheffers streck
, Barre de Sheffer
, Conjunción opuesta
, Sheffer stroke
, Штрих Шеффера
|
