In Boolean functions and propositional calculus, the Sheffer stroke, named after Henry M. Sheffer, written "|" (see vertical bar, not to be confused with "||" which is often used to represent disjunction), "Dpq", or "↑" (an upwards arrow), 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 Boolean algebra and digital electronics it is known as the NAND operation.

Property Value
dbo:abstract
  • In Boolean functions and propositional calculus, the Sheffer stroke, named after Henry M. Sheffer, written "|" (see vertical bar, not to be confused with "||" which is often used to represent disjunction), "Dpq", or "↑" (an upwards arrow), 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 Boolean algebra and digital electronics it is known as the NAND operation. Like its dual, the NOR operator (also known as the Peirce arrow or Quine dagger), 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 NAND flash memory and computer processor design. (en)
  • Der Sheffersche Strich (auch Sheffer-Strich, Sheffer-Funktion, Sheffer-Operator oder englisch Sheffer stroke; nach Henry Maurice Sheffer benannt) bzw. NAND (engl. 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 el trazo de Sheffer ó 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)
  • 否定論理積(ひていろんりせき)とは、与えられた複数の命題のうちに偽であるものが含まれることを示す論理演算である。NANDと表記される。別の表記法として、Henry M. Shefferが1913年に導入したシェファーの棒記号(Sheffer stroke、記号 "|" で表す)や矢印の「↑」を用いる表記法もある。 (ja)
  • L'operatore di Sheffer, chiamato anche negazione alternativa (o incompatibile), è 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 parola logica NAND, la quale corrisponde, appunto, a "negazione di and".Per questo motivo, la sua tavola di verità è complementare rispetto a quella della congiunzione. (it)
  • 谢费尔竖线(英语:Sheffer stroke),得名于Henry M. Sheffer,写为“| ”(見豎線)或“↑”,指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”(Not AND,因此也常縮寫為NAND),也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。 (zh)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 29388 (xsd:integer)
dbo:wikiPageRevisionID
  • 741087312 (xsd:integer)
dct:subject
rdf:type
rdfs:comment
  • Der Sheffersche Strich (auch Sheffer-Strich, Sheffer-Funktion, Sheffer-Operator oder englisch Sheffer stroke; nach Henry Maurice Sheffer benannt) bzw. NAND (engl. 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)
  • 否定論理積(ひていろんりせき)とは、与えられた複数の命題のうちに偽であるものが含まれることを示す論理演算である。NANDと表記される。別の表記法として、Henry M. Shefferが1913年に導入したシェファーの棒記号(Sheffer stroke、記号 "|" で表す)や矢印の「↑」を用いる表記法もある。 (ja)
  • L'operatore di Sheffer, chiamato anche negazione alternativa (o incompatibile), è 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 parola logica NAND, la quale corrisponde, appunto, a "negazione di and".Per questo motivo, la sua tavola di verità è complementare rispetto a quella della congiunzione. (it)
  • 谢费尔竖线(英语:Sheffer stroke),得名于Henry M. Sheffer,写为“| ”(見豎線)或“↑”,指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”(Not AND,因此也常縮寫為NAND),也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。 (zh)
  • In Boolean functions and propositional calculus, the Sheffer stroke, named after Henry M. Sheffer, written "|" (see vertical bar, not to be confused with "||" which is often used to represent disjunction), "Dpq", or "↑" (an upwards arrow), 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 Boolean algebra and digital electronics it is known as the NAND operation. (en)
  • En razonamiento formal, una conjunción opuesta () (también conocida como el trazo de Sheffer ó 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)
rdfs:label
  • Sheffer stroke (en)
  • Shefferscher Strich (de)
  • Conjunción opuesta (es)
  • Barre de Sheffer (fr)
  • Operatore di Sheffer (it)
  • 否定論理積 (ja)
  • 谢费尔竖线 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is foaf:primaryTopic of