Logical NOR

http://dbpedia.org/resource/Logical_NOR an entity of type: WikicatLogicalConnectives

بوابة نفي "أو" - هي علاقة ثنائية في الجبر المنطقي على متغيرين، قدمت بواسطة تشارلز بيرس، عام 1880 -1881م. وتسمى أيضا سهم بيرس، و يعبر عنها عادة بالرمز (↓) . rdf:langString

En logiko malaŭo aŭ neko estas duloka operacio Bulea, iam signata per ⊽, NEK, ↓ aŭ /; ĝi esprimeblas per la kombinaĵo x⊽y = ¬(x∨y) = (¬x) ∧ (¬y) La esprimon x⊽y oni voĉlegu «ikso malaŭ ipsilono», aŭ «nek ikso, nek ipsilono». La vertabelo: x 0 0 1 1 y 0 1 1 0--------------x↓y 1 0 0 0 Malaŭo estas speciale interesa tial, ke ajna Bulea funkcio estas esprimebla per tiu sola operacio: x ⊽ x = ¬x ∧ ¬x = ¬x;(x⊽y) ⊽ (x⊽y) = x ∨ y(x⊽x) ⊽ (y⊽y) = ¬(¬x∧¬x ∨ ¬(¬y ∧ ¬y)) = ¬¬x ∧ ¬¬y = x ∧ y rdf:langString

EZ-EDO edo NOR ate logikoa egia-taulan irudikaturik dagoen moduan lan egiten du. rdf:langString

La fonction OU-NON (NOR en anglais) est un opérateur logique de l'algèbre de Boole. À deux opérandes, qui peuvent avoir chacun la valeur VRAI ou FAUX, il associe un résultat qui a lui-même la valeur VRAI seulement si les deux opérandes ont la valeur FAUX. Cette fonction logique correspond aux mots français ni... ni, car la phrase ni A ni B est vraie si et seulement si les phrases A et B sont toutes les deux fausses ! On peut utiliser les symboles rdf:langString

부정논리합(否定論理合)은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이다. NOR라고도 한다. rdf:langString

否定論理和（ひていろんりわ）とは、与えられた複数の命題の全てが偽であることを示す論理演算である。NORと表記される。矢印の「↓」を用いて"A ↓ B"とする表記方法もある。 rdf:langString

Bramka NOR – jeden z funktorów zdaniowych rachunku zdań; dwuargumentowa funkcja boolowska (funktor logiczny) realizująca zaprzeczoną sumę logiczną (NOT OR) – jest prawdziwa wtedy i tylko wtedy, gdy oba składniki są fałszywe. Odpowiada wyrażeniu „ani … ani…”. Jego znaczenie przedstawia poniższa tablica prawdy: rdf:langString

在布尔逻辑运算中，逻辑或非（NOR）的结果是逻辑或的反面。也就是说，p NOR q真，当且仅当p与q都假时才成立。逻辑或非是对于命题之间的运算，两个参数均假时结果才真；反之，两个参数中至少有一个为真时，结构就为假。 rdf:langString

En lógica proposicional, la disyunción opuesta, también conocida como inalternador, daga de Sheffer, negación conjunta o flecha de Peirce (por su simbolización debida a Charles Sanders Peirce), es una conectiva lógica cuyo valor de verdad resulta en verdadero sí y sólo si ambas proposiciones son falsas, y falso de cualquier otra forma. Existen diferentes contextos dónde se utiliza la lógica de disyunción opuesta. En lenguajes naturales, la palabra «ni» se utiliza en español para simbolizar la disyunción opuesta. Por ejemplo en la oración «ni llueve ni hace frío». rdf:langString

In boolean logic, logical nor or joint denial is a truth-functional operator which produces a result that is the negation of logical or. That is, a sentence of the form (p NOR q) is true precisely when neither p nor q is true—i.e. when both of p and q are false. It is logically equivalent to and , where the symbol signifies logical negation, signifies OR, and signifies AND. In grammar, neither…nor are a pair of correlative coordinating conjunctions. rdf:langString

Logische nor (not or, in het Nederlands nof of niet of) is een booleaanse operator die als resultaat het inverse geeft van de logische or. Dit betekent dat p nor q enkel WAAR is, wanneer noch p noch q waar is, anders is het resultaat ONWAAR. De NOR-operator is ook bekend als webb-operatie of peircebewerking, genoemd naar Charles Sanders Peirce, die aantoonde dat elke logische operatie uitgedrukt kan worden in termen van de logische NOR. De logische NOR kan op zichzelf gebruikt worden, zonder enig andere logische operator, om een logisch formeel systeem te vormen. rdf:langString

Стре́лка Пи́рса (функция Вебба, отрицание дизъюнкции) — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Чарльзом Пирсом в 1880—1881 годах. Стрелка Пирса, обычно обозначаемая ↓, эквивалентна операции ИЛИ-НЕ и задаётся следующей таблицей истинности: Таким образом, высказывание «X ↓ Y» означает «(не X) и (не Y)», или, что то же самое, «не (X или Y)». Операция NOR коммутативна: от перемены мест операндов результат операции не изменяется. — отрицание; — конъюнкция; — дизъюнкция; — импликация. rdf:langString

Стрі́лка Пі́рса також відома як оператор NOR (англ. logical nor, joint denial) — була введена Чарлзом Сандерсом Пірсом (Charles Sanders Peirce) у 1880—1881 р.р.. Математики Ч. Пірс та Д. Вебб, які незалежно один від одного вивчали властивості цієї функції, створили алгебру, названу алгеброю Пірса-Вебба. Для її позначення використовують символ . Це двомісна логічна операція, яка є запереченням диз'юнкції; тому значення «істинно» одержується тільки тоді, коли обидва операнди мають значення «хибно». За допомогою стрілки Пірса (операції NOR) можна виразити будь-яку двомісну логічну операцію. Таким чином «стрілка Пірса» може бути використана сама по собі, без будь-яких інших логічних функцій, в складі логічної формальної системи (що робить цю функцію функціонально повною). rdf:langString

rdfs:label

rdf:langString بوابة نفي أو

rdf:langString Malaŭo

rdf:langString Disyunción opuesta

rdf:langString EZ-EDO ate logikoa

rdf:langString Fonction NON-OU

rdf:langString 否定論理和

rdf:langString Non-disgiunzione inclusiva

rdf:langString Logical NOR

rdf:langString 부정논리합

rdf:langString Logische nor

rdf:langString Binegacja

rdf:langString Стрелка Пирса

rdf:langString Стрілка Пірса

rdf:langString 逻辑或非

dbpedia-owl:wikiPageID

xsd:integer 209154

dbpedia-owl:wikiPageRevisionID

xsd:integer 1107745793

dbpprop:selfDual

rdf:langString no

dbpprop:vennDiagram

rdf:langString Venn1000.svg

dbpprop:otherTitles

rdf:langString NOR

dbpprop:title

rdf:langString Logical NOR

dbpedia-owl:abstract

rdf:langString بوابة نفي "أو" - هي علاقة ثنائية في الجبر المنطقي على متغيرين، قدمت بواسطة تشارلز بيرس، عام 1880 -1881م. وتسمى أيضا سهم بيرس، و يعبر عنها عادة بالرمز (↓) .

rdf:langString En logiko malaŭo aŭ neko estas duloka operacio Bulea, iam signata per ⊽, NEK, ↓ aŭ /; ĝi esprimeblas per la kombinaĵo x⊽y = ¬(x∨y) = (¬x) ∧ (¬y) La esprimon x⊽y oni voĉlegu «ikso malaŭ ipsilono», aŭ «nek ikso, nek ipsilono». La vertabelo: x 0 0 1 1 y 0 1 1 0--------------x↓y 1 0 0 0 Malaŭo estas speciale interesa tial, ke ajna Bulea funkcio estas esprimebla per tiu sola operacio: x ⊽ x = ¬x ∧ ¬x = ¬x;(x⊽y) ⊽ (x⊽y) = x ∨ y(x⊽x) ⊽ (y⊽y) = ¬(¬x∧¬x ∨ ¬(¬y ∧ ¬y)) = ¬¬x ∧ ¬¬y = x ∧ y

rdf:langString EZ-EDO edo NOR ate logikoa egia-taulan irudikaturik dagoen moduan lan egiten du.

rdf:langString La fonction OU-NON (NOR en anglais) est un opérateur logique de l'algèbre de Boole. À deux opérandes, qui peuvent avoir chacun la valeur VRAI ou FAUX, il associe un résultat qui a lui-même la valeur VRAI seulement si les deux opérandes ont la valeur FAUX. Cette fonction logique correspond aux mots français ni... ni, car la phrase ni A ni B est vraie si et seulement si les phrases A et B sont toutes les deux fausses ! On peut utiliser les symboles

rdf:langString In boolean logic, logical nor or joint denial is a truth-functional operator which produces a result that is the negation of logical or. That is, a sentence of the form (p NOR q) is true precisely when neither p nor q is true—i.e. when both of p and q are false. It is logically equivalent to and , where the symbol signifies logical negation, signifies OR, and signifies AND. In grammar, neither…nor are a pair of correlative coordinating conjunctions. The NOR operator is also known as Peirce's arrow. Peirce, in unpublished manuscripts, first considered it as a logical operator, and showed that it can express logical NOT, AND, and OR. , Sheffer, and Nicod were the first to discuss it in print. Quine introduced the symbol for it. As with its dual, the NAND operator (a.k.a. the Sheffer stroke—symbolized as either , or ), NOR can be used by itself, without any other logical operator, to constitute a logical formal system (making NOR functionally complete). Other terms for the NOR operator include Quine's dagger, the ampheck (from Ancient Greek ἀμφήκης, amphēkēs, "cutting both ways") used by Peirce, and neither-nor. Other ways of notating include, P NOR Q, and "Xpq" (in Bocheński notation). The computer used in the spacecraft that first carried humans to the moon, the Apollo Guidance Computer, was constructed entirely using NOR gates with three inputs.

rdf:langString En lógica proposicional, la disyunción opuesta, también conocida como inalternador, daga de Sheffer, negación conjunta o flecha de Peirce (por su simbolización debida a Charles Sanders Peirce), es una conectiva lógica cuyo valor de verdad resulta en verdadero sí y sólo si ambas proposiciones son falsas, y falso de cualquier otra forma. Existen diferentes contextos dónde se utiliza la lógica de disyunción opuesta. En lenguajes naturales, la palabra «ni» se utiliza en español para simbolizar la disyunción opuesta. Por ejemplo en la oración «ni llueve ni hace frío». En electrónica, una puerta NOR es una puerta lógica que implementa la disyunción opuesta.

rdf:langString 부정논리합(否定論理合)은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이다. NOR라고도 한다.

rdf:langString 否定論理和（ひていろんりわ）とは、与えられた複数の命題の全てが偽であることを示す論理演算である。NORと表記される。矢印の「↓」を用いて"A ↓ B"とする表記方法もある。

rdf:langString Logische nor (not or, in het Nederlands nof of niet of) is een booleaanse operator die als resultaat het inverse geeft van de logische or. Dit betekent dat p nor q enkel WAAR is, wanneer noch p noch q waar is, anders is het resultaat ONWAAR. De NOR-operator is ook bekend als webb-operatie of peircebewerking, genoemd naar Charles Sanders Peirce, die aantoonde dat elke logische operatie uitgedrukt kan worden in termen van de logische NOR. De logische NOR kan op zichzelf gebruikt worden, zonder enig andere logische operator, om een logisch formeel systeem te vormen. Een gebruikelijke notatie voor p NOR q is of , waarin het symbool OF betekent, en de lijn boven de expressie betekent NIET, de logische negatie van de expressie. De computer die gebruikt werd in het ruimteschip dat voor het eerst mensen naar de maan bracht, de , was volledig gebouwd uit NOR-poorten met drie ingangen.

rdf:langString Bramka NOR – jeden z funktorów zdaniowych rachunku zdań; dwuargumentowa funkcja boolowska (funktor logiczny) realizująca zaprzeczoną sumę logiczną (NOT OR) – jest prawdziwa wtedy i tylko wtedy, gdy oba składniki są fałszywe. Odpowiada wyrażeniu „ani … ani…”. Jego znaczenie przedstawia poniższa tablica prawdy:

rdf:langString Стре́лка Пи́рса (функция Вебба, отрицание дизъюнкции) — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Чарльзом Пирсом в 1880—1881 годах. Стрелка Пирса, обычно обозначаемая ↓, эквивалентна операции ИЛИ-НЕ и задаётся следующей таблицей истинности: Таким образом, высказывание «X ↓ Y» означает «(не X) и (не Y)», или, что то же самое, «не (X или Y)». Операция NOR коммутативна: от перемены мест операндов результат операции не изменяется. Стрелка Пирса, как и штрих Шеффера, образует функционально-полный логический базис для пространства булевых функций от двух переменных. Это означает, что, используя только стрелку Пирса, можно построить все остальные логические операции, например: — отрицание; — конъюнкция; — дизъюнкция; — импликация. В электронике это означает, что для реализации всего многообразия схем преобразования сигналов, представляющих логические значения, достаточно одного типового элемента, который носит название «операция 2ИЛИ-НЕ» (2-in NOR). С другой стороны, такой подход увеличивает сложность реализующих выражения схем и тем самым снижает их надёжность, а также увеличивает время прохождения сигнала и снижает быстродействие устройства. Функциональная операция, выполняемая при входах, определяется следующим выражением:

rdf:langString 在布尔逻辑运算中，逻辑或非（NOR）的结果是逻辑或的反面。也就是说，p NOR q真，当且仅当p与q都假时才成立。逻辑或非是对于命题之间的运算，两个参数均假时结果才真；反之，两个参数中至少有一个为真时，结构就为假。

rdf:langString Стрі́лка Пі́рса також відома як оператор NOR (англ. logical nor, joint denial) — була введена Чарлзом Сандерсом Пірсом (Charles Sanders Peirce) у 1880—1881 р.р.. Математики Ч. Пірс та Д. Вебб, які незалежно один від одного вивчали властивості цієї функції, створили алгебру, названу алгеброю Пірса-Вебба. Для її позначення використовують символ . Це двомісна логічна операція, яка є запереченням диз'юнкції; тому значення «істинно» одержується тільки тоді, коли обидва операнди мають значення «хибно». За допомогою стрілки Пірса (операції NOR) можна виразити будь-яку двомісну логічну операцію. Таким чином «стрілка Пірса» може бути використана сама по собі, без будь-яких інших логічних функцій, в складі логічної формальної системи (що робить цю функцію функціонально повною). Комп'ютер, який був використаний для космічного корабля, котрий вперше доправив людину на Місяць, Аполлон, був побудований повністю за допомогою мікросхем, кожна з яких об'єднувала два трьохвхідних виключних або (NOR).

dbpprop:0Preserving

rdf:langString no

dbpprop:1Preserving

rdf:langString no

dbpprop:affine

rdf:langString no

dbpprop:logicGate

rdf:langString NOR_ANSI.svg

dbpprop:monotone

rdf:langString no

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 8797