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. In grammar, nor is a coordinating conjunction.

PropertyValue
dbpedia-owl:thumbnail
dbpprop:abstract
  • 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. In grammar, nor is a coordinating conjunction. The NOR operator is also known as Webb-operation or Peirce arrow, named after Charles Sanders Peirce who demonstrated that any logical operation can be expressed in terms of logical NOR. Thus, as with its dual, the NAND operator (a.k.a. the Sheffer stroke), NOR can be used by itself, without any other logical operator, to constitute a logical formal system. It is also known as Quine's dagger and von Neumann's chalice.
  • Peircen nuoli on propositiologiikassa konnektiivi, jolla on seuraavanlainen totuusarvotaulukko: Peircen nuoli tarkoittaa normaalissa kielessä samaa kuin "ei eikä".
  • La fonction NON-OU (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. Équation <math>L = \overline{a + b} = \bar{a} . \bar{b}</math> Table de vérité Exemple d'utilisation Le Circuit intégré 7402 intègre quatre portes logiques du type NON-OU. Illustration La lampe s'allume, sauf si l'on appuie sur « a » ou « b » ou « a » et « b » et seulement dans ces cas-là. La fonction « NON-OU » est caractérisée par des interrupteurs NF (normalement fermé) montés en série. Schéma ImageFonctions_logiques(7-a). png Chronogramme ImageFonctions_logiques(7-d). png Symbole ImageFonctions_logiques(7-e). png ou ImageFonctions_logiques(7-ebis). png Symbole ANSI 150px Universalité de l'opérateur NON-OU Fonction OU ImageFonctions_logiques(9-2). png Fonction ET ImageFonctions_logiques(9-3). png Voir aussi Fonction logique Fonction OUI Fonction NON Fonction ET Fonction OU Fonction NON-ET Fonction NON-OU Fonction OU exclusif Coïncidence Mémoire flash CatégorieFonction logique deNOR-Gatter enLogical NOR esPuerta lógica#Puerta NO-O (NOR) faنقیض یا fiPeircen nuoli heNOR לוגי itAlgebra di Boole#OR ja否定論理和 ko부정논리합 mkЗаедничка негација nlNOR-poort noInjunksjon plBinegacja ptNEM roNOR logic ruСтрелка Пирса thNOR (ตรรกศาสตร์) trVEYADEĞİL kapısı
  • 否定論理和(ひていろんりわ)とは、与えられた複数の命題の全てが偽であることを示す論理演算である。NORと表記される。
  • De NOR-poort is een digitale elektronische schakeling. De poort bezit twee of meer ingangen en 1 uitgang. De logische toestand van de uitgang is uitsluitend 0, als minstens één ingang 1 is .
  • Injunksjon er en grunnleggende sannhetsfunksjon i setningslogikken (latin in- = «ikke-, u-», junctio = «forbindelse»). Injunksjonen av to utsagn er sann hvis og bare hvis begge disse utsagnene er falske. Det fins ikke noe allment akseptert symbol for injunksjonen av to utsagn A og B, men ofte skriver man A B og uttaler dette som «verken A eller B» (etter engelsk neither–nor = «verken–eller»). Injunksjon er negasjonen av den inklusive disjunksjonen («ikke eller»): <math>(\mathbf A</math> NOR <math>\mathbf{B}) \Leftrightarrow \neg (\mathbf B \lor \mathbf{A})</math>.
  • Binegacja, jednoczesne zaprzeczenie (także funktor Pierce'a, 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. Często przedstawiana pionowa kreska "|" przechodząca przez symbol alternatywy "∨"; dwóch argumentów, co oznacza jej logiczną negację. Inne przedstawienie to ⊽ (U+22BD). Odpowiada wyrażeniu „ani ... ani”. Jego znaczenie przedstawia poniższa tablica prawdy: NOR jest równoważna negacji sumy logicznej a NOR b = NOT (a OR b) NOR jest również równoważna iloczynowi negacji logicznych a NOR b = (NOT a) AND (NOT b) Symbol zaprzeczenia alternatywy jako bramki logicznej: Za pomocą funkcji NOR możemy zdefiniować negację: NOT a = a NOR a alternatywę: a OR b = NOT (a NOR b) = (a NOR b) NOR (a NOR b) koniunkcję: a AND b = NOT (OR) = (NOT a) NOR (NOT b) = (a NOR a) NOR (b NOR b) czyli dowolną funkcję logiczną. Dlatego też ta funkcja jest ważna.
  • O NEM é um operador booleano lógico que é resultado da negação do OU. Então, p NEM q é verdadeiro se, e somente se, ambos forem falsos, daí este conectivo também é conhecido como o conectivo da negação conjunta. No idioma inglês, a palavra correspondente é NOR. O operador NEM também é conhecido como Flecha de Peirce (expresso pelo símbolo <math>\downarrow</math>), chamado assim devido ao fato que Charles Peirce demonstrou que qualquer conectivo lógico poderia ser expressado através do NEM. Assim como o NOU, o NEM também é funcionalmente completo, isto é, é capaz de definir todos os demais operadores lógicos.
  • NOR logic sau negaţia disjuncţiei este un operator logic boolean care produce un rezultat invers disjuncţiei logice. Adică, (not or), p NOR q este adevărat atunci când p şi q au ambele valoarea fals. Operatorul NOR este cunoscut şi ca operaţie Webb sau săgeată Peirce, numită după Charles Peirce care a demonstrat că orice operaţie logică se poate scrie ca o expresie bazată pe operaţia NOR. Aşadar, ca şi în cazul operatorului NAND, NOR poate fi folosit ca bază, fără nici un alt operator logic, pentru un sistem logic formal (NOR devenind astfel funcţional complet).
  • Стре́лка Пи́рса (символ Лукашевича) — двуместная логическая операция, введена в рассмотрение Ч. Пирсом (Сh. Peirce). Стрелка Пирса, обычно обозначаемая <math>\downarrow</math>, задаётся следующей таблицей истинности: Таким образом, высказывание <math>A \downarrow B</math> означает «ни A, ни B». Стрелка Пирса обладает тем свойством, что через неё одну выражаются все другие логические операции. Например, высказывание <math>\lnot A</math> (отрицание <math>A</math>) эквивалентно высказыванию <math>A \downarrow A</math>, конъюнкция <math>A\land B</math> высказываний <math>A</math> и <math>B</math> выражается так: <math>(A \downarrow A)\downarrow (B \downarrow B)</math>, дизъюнкция <math>A\lor B</math> эквивалентна <math>(A \downarrow B)\downarrow (A \downarrow B)</math>.
  • VEYADEĞİL kapısı, elektronikte, girilen iki ya da daha çok değerin toplanmasını sağlayan ve sonucun tersini alan kapıdır. Buna veya değil kapısı (NOR gate) denir. VEYADEĞİL Kapısı, sadece tüm girişleri 0 ise 1 verir, diğer tüm hallerde 0 verir. VEYADEĞİL Kapısının doğruluk tablosu: Burada A ve B değerlerinin toplamının, değilini verdiği Y çıkışı görülebilir.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • 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. In grammar, nor is a coordinating conjunction.
  • Peircen nuoli on propositiologiikassa konnektiivi, jolla on seuraavanlainen totuusarvotaulukko: Peircen nuoli tarkoittaa normaalissa kielessä samaa kuin "ei eikä".
  • La fonction NON-OU (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. Équation <math>L = \overline{a + b} = \bar{a} . \bar{b}</math> Table de vérité Exemple d'utilisation Le Circuit intégré 7402 intègre quatre portes logiques du type NON-OU.
  • 否定論理和(ひていろんりわ)とは、与えられた複数の命題の全てが偽であることを示す論理演算である。NORと表記される。
  • De NOR-poort is een digitale elektronische schakeling. De poort bezit twee of meer ingangen en 1 uitgang. De logische toestand van de uitgang is uitsluitend 0, als minstens één ingang 1 is .
  • Injunksjon er en grunnleggende sannhetsfunksjon i setningslogikken (latin in- = «ikke-, u-», junctio = «forbindelse»). Injunksjonen av to utsagn er sann hvis og bare hvis begge disse utsagnene er falske. Det fins ikke noe allment akseptert symbol for injunksjonen av to utsagn A og B, men ofte skriver man A B og uttaler dette som «verken A eller B» (etter engelsk neither–nor = «verken–eller»).
  • Binegacja, jednoczesne zaprzeczenie (także funktor Pierce'a, 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. Często przedstawiana pionowa kreska "|" przechodząca przez symbol alternatywy "∨"; dwóch argumentów, co oznacza jej logiczną negację. Inne przedstawienie to ⊽ (U+22BD).
  • O NEM é um operador booleano lógico que é resultado da negação do OU. Então, p NEM q é verdadeiro se, e somente se, ambos forem falsos, daí este conectivo também é conhecido como o conectivo da negação conjunta. No idioma inglês, a palavra correspondente é NOR.
  • NOR logic sau negaţia disjuncţiei este un operator logic boolean care produce un rezultat invers disjuncţiei logice. Adică, (not or), p NOR q este adevărat atunci când p şi q au ambele valoarea fals. Operatorul NOR este cunoscut şi ca operaţie Webb sau săgeată Peirce, numită după Charles Peirce care a demonstrat că orice operaţie logică se poate scrie ca o expresie bazată pe operaţia NOR.
  • Стре́лка Пи́рса (символ Лукашевича) — двуместная логическая операция, введена в рассмотрение Ч. Пирсом (Сh. Peirce).
  • VEYADEĞİL kapısı, elektronikte, girilen iki ya da daha çok değerin toplanmasını sağlayan ve sonucun tersini alan kapıdır. Buna veya değil kapısı (NOR gate) denir. VEYADEĞİL Kapısı, sadece tüm girişleri 0 ise 1 verir, diğer tüm hallerde 0 verir. VEYADEĞİL Kapısının doğruluk tablosu: Burada A ve B değerlerinin toplamının, değilini verdiği Y çıkışı görülebilir.
rdfs:label
  • Logical NOR
  • Peircen nuoli
  • Fonction NON-OU
  • 否定論理和
  • NOR-poort
  • Injunksjon
  • Binegacja
  • NEM
  • NOR logic
  • Стрелка Пирса
  • VEYADEĞİL kapısı
owl:sameAs
skos:subject
foaf:depiction
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of
is owl:sameAs of