About: Logical NOR     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Word106286395, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FLogical_NOR

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.

AttributesValues
rdf:type
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)
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)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Venn0111.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Venn1000.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/NOR_ANSI.svg
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software