Sheffer stroke (original) (raw)

About DBpedia

Der Sheffersche Strich (auch Sheffer-Strich, Sheffer-Funktion, Sheffer-Operator oder englisch Sheffer stroke; nach Henry Maurice Sheffer benannt) bzw. NAND (englisch not and = nicht und), geschrieben als „|“, bezeichnet in der Booleschen Algebra und der Aussagenlogik einen booleschen Operator bzw. Junktor. Die damit begründete logische Operation ist äquivalent zur Negation der Konjunktion(AND-Verknüpfung) zweier boolescher Variablen, umgangssprachlich entspricht dies dem „nicht beide“.

thumbnail

Property Value
dbo:abstract Der Sheffersche Strich (auch Sheffer-Strich, Sheffer-Funktion, Sheffer-Operator oder englisch Sheffer stroke; nach Henry Maurice Sheffer benannt) bzw. NAND (englisch not and = nicht und), geschrieben als „|“, bezeichnet in der Booleschen Algebra und der Aussagenlogik einen booleschen Operator bzw. Junktor. Die damit begründete logische Operation ist äquivalent zur Negation der Konjunktion(AND-Verknüpfung) zweier boolescher Variablen, umgangssprachlich entspricht dies dem „nicht beide“. (de) En razonamiento formal, una conjunción opuesta (también conocida como incompatibilizador, barra de Nicod o negación alternativa) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso solo si ambas proposiciones son ciertas, y en cierto de cualquier otra forma. La conjunción opuesta es la negación de la conjunción lógica. Existen diferentes contextos dónde se utiliza la lógica de conjunción opuesta. En lenguajes naturales, la palabra "no y" se utiliza en español para simbolizar una conjunción opuesta. En electrónica, una puerta NAND es una puerta lógica que implementa la conjunción opuesta. (es) 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. (fr) In Boolean functions and propositional calculus, the Sheffer stroke denotes a logical operation that is equivalent to the negation of the conjunction operation, expressed in ordinary language as "not both". It is also called nand ("not and") or the alternative denial, since it says in effect that at least one of its operands is false. In digital electronics, it corresponds to the NAND gate. It is named after Henry M. Sheffer and written as ↑ or as (but not as , often used to represent disjunction). In Bocheński notation it can be written as Dpq. Its dual is the NOR operator (also known as the Peirce arrow or Quine dagger). Like its dual, NAND can be used by itself, without any other logical operator, to constitute a logical formal system (making NAND functionally complete). This property makes the NAND gate crucial to modern digital electronics, including its use in computer processor design. (en) 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. (it) 否定論理積（ひていろんりせき）とは、与えられた複数の命題のうちに偽 (False)であるものが含まれることを示す論理演算である。NAND (Not AND; "ナンド"と読まれる)と表記される。別の表記法として、が1913年に導入したシェファーの棒記号（英: Sheffer stroke、記号 " " で表す）や矢印の「↑」を用いる表記法もある。 (ja) 부정논리곱(否定論理積)은 주어진 복수의 명제 중 거짓이 포함되었는지 보는 논리 연산이다. NAND라고도 한다. (ko) Dysjunkcja, dyzjunkcja, dysjunkcja/dyzjunkcja Sheffera, funkcja Sheffera, funktor Sheffera, NAND, w terminologii Jana Łukasiewicza niewspółzachodzenie – zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji, jednego z dwuargumentowych funktorów zdaniotwórczych rachunku zdań. Symbolem funktora dysjunkcji jest przeważnie ukośna kreska /. W języku potocznym funktorowi temu odpowiada „nieprawda, że p i q” (ponieważ dysjunkcja jest negacją koniunkcji) lub „zachodzi najwyżej jedno z dwojga” (por. artykuł „Funktory klasycznego rachunku zdań a jęz. naturalny”). Pojęcie dysjunkcji wprowadził w 1913 Henry Sheffer. Uwaga: w terminologii angielskiej disjunction to polska alternatywa, odpowiednikiem polskiej dysjunkcji (Sheffera) jest natomiast alternative denial. (pl) Sheffers streck är ett logiskt konnektiv, som symboliseras med tecknet eller alternativt ↑. Med detta dyadiska konnektiv kan man i satslogiken skriva alla de sanningsfunktioner, som i Principia Mathematica kan uttryckas med och , det vill säga alla konstruerbara sådana. Tecknet är benämnt efter den engelske logikern Henry M. Sheffer. Med satslogikens beteckningar definieras A
dbo:thumbnail wiki-commons:Special:FilePath/Venn1110.svg?width=300
dbo:wikiPageExternalLink https://web.archive.org/web/20090526075041/http:/projecteuclid.org/DPubS%3Fverb=Display&version=1.0&service=UI&handle=euclid.pja/1195520940&page=record http://www.iep.utm.edu/Sheffer_stroke/ http://www.sccs.swarthmore.edu/users/06/adem/engin/e77vlsi/lab3/ http://hyperphysics.phy-astr.gsu.edu/hbase/electronic/nand.html http://projecteuclid.org
dbo:wikiPageID 29388 (xsd:integer)
dbo:wikiPageLength 14850 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1085668551 (xsd:integer)
dbo:wikiPageWikiLink dbr:Cambridge dbr:Princeton_University_Press dbr:Principia_Mathematica dbr:Propositional_calculus dbr:Paul_Weiss_(philosopher) dbr:D._Reidel dbr:De_Morgan's_laws dbr:Peirce's_law dbc:Logic_symbols dbr:Gate_equivalent dbr:NAND_gate dbr:NAND_logic dbr:Negation dbr:Edward_Vermilye_Huntington dbr:Monotonic dbc:Logical_connectives dbr:Logical_NOR dbr:Logical_conjunction dbr:Logical_value dbr:Function_application dbr:Functional_completeness dbr:Proposition dbr:Propositional_logic dbr:Truth_table dbr:Willard_Van_Orman_Quine dbr:Duality_(order_theory) dbr:Laws_of_Form dbr:Logical_graph dbr:Minimal_axioms_for_Boolean_algebra dbr:Affine_transformation dbr:Ampheck dbr:Duality_(mathematics) dbr:Flash_memory dbr:Charles_Sanders_Peirce_bibliography dbr:Digital_electronics dbr:Formal_system dbr:Logical_disjunction dbr:Well-formed_formula dbr:Harvard_University_Press dbr:Internet_Encyclopedia_of_Philosophy dbc:Logic_gates dbr:Charles_Hartshorne dbr:Charles_Sanders_Peirce dbr:Józef_Maria_Bocheński dbr:Henry_M._Sheffer dbr:Jean_Nicod dbr:Dordrecht dbr:Boolean_algebra_(structure) dbr:Boolean_domain dbr:Boolean_function dbr:CMOS dbr:Polish_Notation dbr:Sole_sufficient_operator dbr:South_Holland dbr:Existential_graph dbr:Transactions_of_the_American_Mathematical_Society dbr:Bocheński,_Józef_Maria dbr:Peirce_arrow dbr:Computer_processor dbr:Logical_negation dbr:Logical_operation dbr:File:Venn10.svg dbr:File:Venn0101.svg dbr:File:Venn1100.svg dbr:File:Venn1001.svg dbr:File:Venn1010.svg dbr:File:Venn1011.svg dbr:File:Venn1110.svg dbr:File:Venn0001.svg dbr:File:Venn01.svg dbr:File:Venn0111.svg
dbp:0Preserving no (en)
dbp:1Preserving no (en)
dbp:affine no (en)
dbp:logicGate NAND_ANSI.svg (en)
dbp:monotone no (en)
dbp:otherTitles NAND (en)
dbp:selfDual no (en)
dbp:title Sheffer stroke (en)
dbp:vennDiagram Venn1110.svg (en)
dbp:wikiPageUsesTemplate dbt:No2 dbt:Citation dbt:Cite_book dbt:Cite_journal dbt:Commonscat dbt:Div_col dbt:Div_col_end dbt:Math dbt:Reflist dbt:Sfn dbt:Short_description dbt:Yes2 dbt:Common_logical_symbols dbt:Infobox_logical_connective dbt:Logical_connectives
dct:subject dbc:Logic_symbols dbc:Logical_connectives dbc:Logic_gates
rdf:type yago:WikicatLogicSymbols yago:WikicatLogicalConnectives yago:Abstraction100002137 yago:Communication100033020 yago:Conjunction106325826 yago:FunctionWord106291318 yago:LanguageUnit106284225 yago:Part113809207 yago:Relation100031921 yago:Word106286395 yago:Signal106791372 yago:Symbol106806469
rdfs:comment Der Sheffersche Strich (auch Sheffer-Strich, Sheffer-Funktion, Sheffer-Operator oder englisch Sheffer stroke; nach Henry Maurice Sheffer benannt) bzw. NAND (englisch not and = nicht und), geschrieben als „|“, bezeichnet in der Booleschen Algebra und der Aussagenlogik einen booleschen Operator bzw. Junktor. Die damit begründete logische Operation ist äquivalent zur Negation der Konjunktion(AND-Verknüpfung) zweier boolescher Variablen, umgangssprachlich entspricht dies dem „nicht beide“. (de) 否定論理積（ひていろんりせき）とは、与えられた複数の命題のうちに偽 (False)であるものが含まれることを示す論理演算である。NAND (Not AND; "ナンド"と読まれる)と表記される。別の表記法として、が1913年に導入したシェファーの棒記号（英: Sheffer stroke、記号 " " で表す）や矢印の「↑」を用いる表記法もある。 (ja) 부정논리곱(否定論理積)은 주어진 복수의 명제 중 거짓이 포함되었는지 보는 논리 연산이다. NAND라고도 한다. (ko) Sheffers streck är ett logiskt konnektiv, som symboliseras med tecknet eller alternativt ↑. Med detta dyadiska konnektiv kan man i satslogiken skriva alla de sanningsfunktioner, som i Principia Mathematica kan uttryckas med och , det vill säga alla konstruerbara sådana. Tecknet är benämnt efter den engelske logikern Henry M. Sheffer. Med satslogikens beteckningar definieras A B som och i digitaltekniken motsvaras funktionen av en NAND-grind. (sv) 谢费尔竖线（英語：Sheffer stroke），得名于，写为“ ”（見豎線）或“↑”，指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”（Not AND，因此也常縮寫為NAND），也就是说，A B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。 (zh) Штрих Шеффера (операція NAND) — двомісна логічна операція, яка є запереченням кон'юнкції; тому значення «хибно» одержується тоді й тільки тоді, коли обидва операнди мають значення «істина». Названа на честь американського логіка Генрі Шеффера. Зазвичай позначається символом чи . У алгебрі логіки та цифровій електроніці має назву «операція NAND» від англ. not and, або «операція І-НЕ». Виконує цю операцію логічний вентиль І-НЕ. (uk) En razonamiento formal, una conjunción opuesta (también conocida como incompatibilizador, barra de Nicod o negación alternativa) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso solo si ambas proposiciones son ciertas, y en cierto de cualquier otra forma. La conjunción opuesta es la negación de la conjunción lógica. Existen diferentes contextos dónde se utiliza la lógica de conjunción opuesta. En lenguajes naturales, la palabra "no y" se utiliza en español para simbolizar una conjunción opuesta. (es) 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. (fr) In Boolean functions and propositional calculus, the Sheffer stroke denotes a logical operation that is equivalent to the negation of the conjunction operation, expressed in ordinary language as "not both". It is also called nand ("not and") or the alternative denial, since it says in effect that at least one of its operands is false. In digital electronics, it corresponds to the NAND gate. It is named after Henry M. Sheffer and written as ↑ or as (but not as
rdfs:label Shefferscher Strich (de) Conjunción opuesta (es) Operatore di Sheffer (it) Barre de Sheffer (fr) 否定論理積 (ja) 부정논리곱 (ko) Dysjunkcja (Sheffera) (pl) Sheffer stroke (en) Штрих Шеффера (ru) Sheffers streck (sv) 谢费尔竖线 (zh) Штрих Шефера (uk)
owl:sameAs freebase:Sheffer stroke yago-res:Sheffer stroke wikidata:Sheffer stroke dbpedia-de:Sheffer stroke dbpedia-es:Sheffer stroke dbpedia-fa:Sheffer stroke dbpedia-fi:Sheffer stroke dbpedia-fr:Sheffer stroke dbpedia-it:Sheffer stroke dbpedia-ja:Sheffer stroke dbpedia-ko:Sheffer stroke dbpedia-pl:Sheffer stroke dbpedia-ru:Sheffer stroke dbpedia-sr:Sheffer stroke dbpedia-sv:Sheffer stroke dbpedia-uk:Sheffer stroke dbpedia-zh:Sheffer stroke https://global.dbpedia.org/id/3bNwg
prov:wasDerivedFrom wikipedia-en:Sheffer_stroke?oldid=1085668551&ns=0
foaf:depiction wiki-commons:Special:FilePath/Venn1010.svg wiki-commons:Special:FilePath/Venn0001.svg wiki-commons:Special:FilePath/Venn1110.svg wiki-commons:Special:FilePath/NAND_ANSI.svg wiki-commons:Special:FilePath/Venn1100.svg
foaf:isPrimaryTopicOf wikipedia-en:Sheffer_stroke
is dbo:wikiPageRedirects of dbr:⊼ dbr:Sheffer_Stroke dbr:Sheffer_connective dbr:Logical_NAND dbr:Scheffers_stroke dbr:Inclusive_nand dbr:Alternative_denial dbr:NAND_operator dbr:Logical_nand dbr:Sheffer's_stroke dbr:Sheffers_stroke
is dbo:wikiPageWikiLink of dbr:Principia_Mathematica dbr:Propositional_calculus dbr:Propositional_formula dbr:Universal_quantification dbr:Josiah_Royce dbr:Validity_(logic) dbr:Vertical_bar dbr:⊼ dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(R–Z) dbr:Intuitionistic_logic dbr:List_of_logic_symbols dbr:List_of_mathematical_abbreviations dbr:Sheffer_Stroke dbr:Sheffer_connective dbr:NAND_gate dbr:NAND_logic dbr:Mxparser dbr:Logical_NAND dbr:Logical_NOR dbr:Functional_completeness dbr:Polish_notation dbr:Tractatus_Logico-Philosophicus dbr:Willard_Van_Orman_Quine dbr:Laws_of_Form dbr:List_of_Boolean_algebra_topics dbr:Logic_alphabet dbr:Lojban_grammar dbr:Minimal_axioms_for_Boolean_algebra dbr:APL_(programming_language) dbr:DEC_Alpha dbr:First-order_logic dbr:Glossary_of_Principia_Mathematica dbr:History_of_computer_science dbr:History_of_computing dbr:History_of_logic dbr:History_of_type_theory dbr:Logical_connective dbr:Logic_gate dbr:Predicate_functor_logic dbr:Reading_(computer) dbr:APL_syntax_and_symbols dbr:Józef_Maria_Bocheński dbr:Henry_M._Sheffer dbr:Jean_Nicod dbr:Axiom_of_reducibility dbr:Boolean_algebra dbr:Boolean_algebras_canonically_defined dbr:Boolean_function dbr:Circuit_satisfiability_problem dbr:Scheffers_stroke dbr:Two-element_Boolean_algebra dbr:Vector_logic dbr:Switching_circuit_theory dbr:Package-deal_fallacy dbr:Outline_of_logic dbr:↑ dbr:Inclusive_nand dbr:Alternative_denial dbr:NAND_operator dbr:Logical_nand dbr:Sheffer's_stroke dbr:Sheffers_stroke
is foaf:primaryTopic of wikipedia-en:Sheffer_stroke