| 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 | B som och i digitaltekniken motsvaras funktionen av en NAND-grind. (sv)
- Штрих Ше́ффера (NAND, отрицание конъюнкции) — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 году. Штрих Шеффера, обычно обозначаемый | или ↑, эквивалентен операции И-НЕ и задаётся следующей таблицей истинности: Таким образом, высказывание X | Y означает, что X и Y несовместны, то есть не являются истинными одновременно. От перемены мест операндов результат операции не изменяется. Штрих Шеффера, как и стрелка Пирса, образует базис для пространства булевых функций от двух переменных. То есть, используя только штрих Шеффера, можно построить все остальные операции. Например, — отрицание, — дизъюнкция, — конъюнкция, — константа 1. В электронике это означает, что для реализации всего многообразия схем преобразования сигналов, представляющих логические значения, достаточно одного типового элемента. С другой стороны, такой подход увеличивает сложность реализующих логические выражения схем и тем самым снижает их надёжность. Примером может являться промышленная 155 серия. Элемент 2И-НЕ (2-in NAND), реализующий штрих Шеффера, обозначается следующим образом (по стандартам ANSI): В европейских стандартах принято другое обозначение: (ru)
- 谢费尔竖线（英語：Sheffer stroke），得名于，写为“| ”（見豎線）或“↑”，指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”（Not AND，因此也常縮寫為NAND），也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。 (zh)
- Штрих Шеффера (операція NAND) — двомісна логічна операція, яка є запереченням кон'юнкції; тому значення «хибно» одержується тоді й тільки тоді, коли обидва операнди мають значення «істина». Названа на честь американського логіка Генрі Шеффера. Зазвичай позначається символом чи . У алгебрі логіки та цифровій електроніці має назву «операція NAND» від англ. not and, або «операція І-НЕ». Виконує цю операцію логічний вентиль І-НЕ. (uk)
|
| 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 ||, often used to represent disjunction). In Bocheński notation it can be written as Dpq. (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). (it)
- 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. (pl)
- Штрих Ше́ффера (NAND, отрицание конъюнкции) — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 году. Штрих Шеффера, обычно обозначаемый | или ↑, эквивалентен операции И-НЕ и задаётся следующей таблицей истинности: Таким образом, высказывание X | Y означает, что X и Y несовместны, то есть не являются истинными одновременно. От перемены мест операндов результат операции не изменяется. — отрицание, — дизъюнкция, — конъюнкция, — константа 1. В европейских стандартах принято другое обозначение: (ru)
|
