Logical NOR (original) (raw)
بوابة نفي "أو" - هي علاقة ثنائية في الجبر المنطقي على متغيرين، قدمت بواسطة تشارلز بيرس، عام 1880 -1881م. وتسمى أيضا سهم بيرس، و يعبر عنها عادة بالرمز (↓) .
| Property | Value |
|---|---|
| dbo:abstract | بوابة نفي "أو" - هي علاقة ثنائية في الجبر المنطقي على متغيرين، قدمت بواسطة تشارلز بيرس، عام 1880 -1881م. وتسمى أيضا سهم بيرس، و يعبر عنها عادة بالرمز (↓) . (ar) 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 (eo) EZ-EDO edo NOR ate logikoa egia-taulan irudikaturik dagoen moduan lan egiten du. (eu) 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 (fr) 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. (en) 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. (es) 부정논리합(否定論理合)은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이다. NOR라고도 한다. (ko) 否定論理和（ひていろんりわ）とは、与えられた複数の命題の全てが偽であることを示す論理演算である。NORと表記される。矢印の「↓」を用いて"A ↓ B"とする表記方法もある。 (ja) 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. (nl) 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: (pl) Стре́лка Пи́рса (функция Вебба, отрицание дизъюнкции) — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Чарльзом Пирсом в 1880—1881 годах. Стрелка Пирса, обычно обозначаемая ↓, эквивалентна операции ИЛИ-НЕ и задаётся следующей таблицей истинности: Таким образом, высказывание «X ↓ Y» означает «(не X) и (не Y)», или, что то же самое, «не (X или Y)». Операция NOR коммутативна: от перемены мест операндов результат операции не изменяется. Стрелка Пирса, как и штрих Шеффера, образует функционально-полный логический базис для пространства булевых функций от двух переменных. Это означает, что, используя только стрелку Пирса, можно построить все остальные логические операции, например: — отрицание; — конъюнкция; — дизъюнкция; — импликация. В электронике это означает, что для реализации всего многообразия схем преобразования сигналов, представляющих логические значения, достаточно одного типового элемента, который носит название «операция 2ИЛИ-НЕ» (2-in NOR). С другой стороны, такой подход увеличивает сложность реализующих выражения схем и тем самым снижает их надёжность, а также увеличивает время прохождения сигнала и снижает быстродействие устройства. Функциональная операция, выполняемая при входах, определяется следующим выражением: (ru) 在布尔逻辑运算中，逻辑或非（NOR）的结果是逻辑或的反面。也就是说，p NOR q真，当且仅当p与q都假时才成立。 逻辑或非是对于命题之间的运算，两个参数均假时结果才真；反之，两个参数中至少有一个为真时，结构就为假。 (zh) Стрі́лка Пі́рса також відома як оператор NOR (англ. logical nor, joint denial) — була введена Чарлзом Сандерсом Пірсом (Charles Sanders Peirce) у 1880—1881 р.р.. Математики Ч. Пірс та Д. Вебб, які незалежно один від одного вивчали властивості цієї функції, створили алгебру, названу алгеброю Пірса-Вебба. Для її позначення використовують символ . Це двомісна логічна операція, яка є запереченням диз'юнкції; тому значення «істинно» одержується тільки тоді, коли обидва операнди мають значення «хибно». За допомогою стрілки Пірса (операції NOR) можна виразити будь-яку двомісну логічну операцію. Таким чином «стрілка Пірса» може бути використана сама по собі, без будь-яких інших логічних функцій, в складі логічної формальної системи (що робить цю функцію функціонально повною). Комп'ютер, який був використаний для космічного корабля, котрий вперше доправив людину на Місяць, Аполлон, був побудований повністю за допомогою мікросхем, кожна з яких об'єднувала два трьохвхідних виключних або (NOR). (uk) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Venn1000.svg?width=300 |
| dbo:wikiPageID | 209154 (xsd:integer) |
| dbo:wikiPageInterLanguageLink | dbpedia-de:Peirce-Funktion dbpedia-it:Algebra_di_Boole |
| dbo:wikiPageLength | 8797 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1107745793 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Sheffer_stroke dbr:Bitwise_operation dbr:Boolean_algebra_(logic) dbr:Computer dbr:NOR_gate dbr:Negation dbr:Monotonic dbr:Moon dbc:Logical_connectives dbr:Apollo_Guidance_Computer dbr:Logical_conjunction dbr:Logical_value dbr:Functional_completeness dbr:Pierce-Arrow dbr:Proposition dbr:Propositional_logic dbr:Truth_table dbr:Willard_Van_Orman_Quine dbr:Grammatical_conjunction dbr:Duality_(mathematics) dbr:Formal_system dbr:Grammar dbr:Logical_disjunction dbr:Charles_Sanders_Peirce dbr:Józef_Maria_Bocheński dbr:Jean_Nicod dbr:Boolean_domain dbr:Boolean_function dbr:Sole_sufficient_operator dbr:Linear dbr:Boolean_logic dbr:Henry_Maurice_Sheffer dbr:Logical_nand dbr:Logical_operation dbr:File:Venn10.svg dbr:File:Venn1100.svg dbr:Edward_Stamm dbr:File:Venn0100.svg dbr:File:Venn1000.svg dbr:File:Venn1010.svg dbr:File:Venn1011.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 | NOR_ANSI.svg (en) |
| dbp:monotone | no (en) |
| dbp:otherTitles | NOR (en) |
| dbp:selfDual | no (en) |
| dbp:title | Logical NOR (en) |
| dbp:vennDiagram | Venn1000.svg (en) |
| dbp:wikiPageUsesTemplate | dbt:No2 dbt:! dbt:About dbt:Commonscatinline dbt:Div_col dbt:Div_col_end dbt:Reflist dbt:Transl dbt:Visible_anchor dbt:Redirect-distinguish2 dbt:Yes2 dbt:Infobox_logical_connective dbt:Logical_connectives |
| dcterms:subject | dbc:Logical_connectives |
| rdf:type | yago:WikicatLogicalConnectives yago:Abstraction100002137 yago:Conjunction106325826 yago:FunctionWord106291318 yago:LanguageUnit106284225 yago:Part113809207 yago:Relation100031921 yago:Word106286395 |
| rdfs:comment | بوابة نفي "أو" - هي علاقة ثنائية في الجبر المنطقي على متغيرين، قدمت بواسطة تشارلز بيرس، عام 1880 -1881م. وتسمى أيضا سهم بيرس، و يعبر عنها عادة بالرمز (↓) . (ar) 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 (eo) EZ-EDO edo NOR ate logikoa egia-taulan irudikaturik dagoen moduan lan egiten du. (eu) 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 (fr) 부정논리합(否定論理合)은 주어진 복수의 명제가 모두 거짓인지 보는 논리 연산이다. NOR라고도 한다. (ko) 否定論理和（ひていろんりわ）とは、与えられた複数の命題の全てが偽であることを示す論理演算である。NORと表記される。矢印の「↓」を用いて"A ↓ B"とする表記方法もある。 (ja) 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: (pl) 在布尔逻辑运算中，逻辑或非（NOR）的结果是逻辑或的反面。也就是说，p NOR q真，当且仅当p与q都假时才成立。 逻辑或非是对于命题之间的运算，两个参数均假时结果才真；反之，两个参数中至少有一个为真时，结构就为假。 (zh) 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». (es) 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. (en) 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. (nl) Стре́лка Пи́рса (функция Вебба, отрицание дизъюнкции) — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Чарльзом Пирсом в 1880—1881 годах. Стрелка Пирса, обычно обозначаемая ↓, эквивалентна операции ИЛИ-НЕ и задаётся следующей таблицей истинности: Таким образом, высказывание «X ↓ Y» означает «(не X) и (не Y)», или, что то же самое, «не (X или Y)». Операция NOR коммутативна: от перемены мест операндов результат операции не изменяется. — отрицание; — конъюнкция; — дизъюнкция; — импликация. (ru) Стрі́лка Пі́рса також відома як оператор NOR (англ. logical nor, joint denial) — була введена Чарлзом Сандерсом Пірсом (Charles Sanders Peirce) у 1880—1881 р.р.. Математики Ч. Пірс та Д. Вебб, які незалежно один від одного вивчали властивості цієї функції, створили алгебру, названу алгеброю Пірса-Вебба. Для її позначення використовують символ . Це двомісна логічна операція, яка є запереченням диз'юнкції; тому значення «істинно» одержується тільки тоді, коли обидва операнди мають значення «хибно». За допомогою стрілки Пірса (операції NOR) можна виразити будь-яку двомісну логічну операцію. Таким чином «стрілка Пірса» може бути використана сама по собі, без будь-яких інших логічних функцій, в складі логічної формальної системи (що робить цю функцію функціонально повною). (uk) |
| rdfs:label | بوابة نفي أو (ar) Malaŭo (eo) Disyunción opuesta (es) EZ-EDO ate logikoa (eu) Fonction NON-OU (fr) 否定論理和 (ja) Non-disgiunzione inclusiva (it) Logical NOR (en) 부정논리합 (ko) Logische nor (nl) Binegacja (pl) Стрелка Пирса (ru) Стрілка Пірса (uk) 逻辑或非 (zh) |
| owl:sameAs | dbpedia-eu:Logical NOR freebase:Logical NOR wikidata:Logical NOR dbpedia-ar:Logical NOR dbpedia-eo:Logical NOR dbpedia-es:Logical NOR dbpedia-fa:Logical NOR dbpedia-fi:Logical NOR dbpedia-fr:Logical NOR dbpedia-he:Logical NOR dbpedia-it:Logical NOR dbpedia-ja:Logical NOR dbpedia-ko:Logical NOR dbpedia-mk:Logical NOR dbpedia-nl:Logical NOR dbpedia-no:Logical NOR dbpedia-pl:Logical NOR dbpedia-ro:Logical NOR dbpedia-ru:Logical NOR dbpedia-sr:Logical NOR dbpedia-th:Logical NOR dbpedia-tr:Logical NOR dbpedia-uk:Logical NOR dbpedia-zh:Logical NOR https://global.dbpedia.org/id/4mHhc yago-res:Logical NOR |
| prov:wasDerivedFrom | wikipedia-en:Logical_NOR?oldid=1107745793&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Venn0111.svg wiki-commons:Special:FilePath/Venn1000.svg wiki-commons:Special:FilePath/NOR_ANSI.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Logical_NOR |
| is dbo:wikiPageDisambiguates of | dbr:Nor |
| is dbo:wikiPageRedirects of | dbr:⊽ dbr:Peirce's_arrow dbr:NNOR dbr:Ampheck dbr:Logical_nor dbr:Pierce's_arrow dbr:Inclusive_nor dbr:Joint_denial dbr:Peirce_arrow dbr:Von_Neumann's_chalice dbr:Von_Neumann's_challice |
| is dbo:wikiPageWikiLink of | dbr:Propositional_calculus dbr:List_of_XML_and_HTML_character_entity_references dbr:NMOS_logic dbr:Sheffer_stroke dbr:Universal_quantification dbr:Bitwise_operation dbr:Validity_(logic) dbr:⊽ dbr:Index_of_philosophy_articles_(I–Q) dbr:List_of_logic_symbols dbr:List_of_mathematical_abbreviations dbr:List_of_rules_of_inference dbr:Peirce's_arrow dbr:↓ dbr:NAND_logic dbr:NOR_gate dbr:Nor dbr:Mxparser dbr:NNOR dbr:NORBIT dbr:Functional_completeness dbr:Dagger_(disambiguation) dbr:Tractatus_Logico-Philosophicus dbr:Truth_table dbr:List_of_Boolean_algebra_topics dbr:Logic_alphabet dbr:Three-valued_logic dbr:Ampheck dbr:DEC_Alpha dbr:History_of_computer_science dbr:History_of_computing dbr:History_of_logic dbr:Down_Sign dbr:Logical_connective dbr:Logic_gate dbr:Predicate_functor_logic dbr:APL_syntax_and_symbols dbr:Charles_Sanders_Peirce dbr:Józef_Maria_Bocheński dbr:Henry_M._Sheffer dbr:Arrow_(symbol) dbr:Boolean_function dbr:Modified_frequency_modulation dbr:Logical_nor dbr:Two-element_Boolean_algebra dbr:Vector_logic dbr:Switching_circuit_theory dbr:Outline_of_logic dbr:Pierce's_arrow dbr:Inclusive_nor dbr:Joint_denial dbr:Peirce_arrow dbr:Von_Neumann's_chalice dbr:Von_Neumann's_challice |
| is foaf:primaryTopic of | wikipedia-en:Logical_NOR |
