| dbo:abstract |
L'operador lògic disjunció exclusiva, també anomenat o exclusiva, simbolitzat com XOR, EOR, EXOR, ⊻ o ⊕ és un tipus de disjunció lògica de dos operands que és veritat si només un operand és veritat però no ambdós. (ca) Exkluzivní disjunkce (někdy též vylučovací nebo úplná disjunkce, exkluzivní OR či XOR) je logická operace, jejíž hodnota je pravda, právě když každá vstupní hodnota nabývá, v porovnání s ostatními vstupy, unikátní hodnotu. XOR je někdy též označován jako nonekvivalence (NEQ), což je ale nepřesné a zavádějící: Taková identita platí pouze pro dvě proměnné dvouhodnotové logiky, jak snadno ukáže Karnaughova mapa. (cs) Kontravalenz bezeichnet in der klassischen Logik und Mathematik die Verbindung zweier Aussagen durch den zweistelligen Junktor entweder – oder, der auch exklusives Oder oder Kontravalentor heißt. Bei der Kontravalenz muss genau eine der beiden Aussagen zutreffen, entweder die eine oder die andere; weder sind beide zugleich wahr noch beide zugleich falsch. Synonym mit Kontravalenz werden auch die Bezeichnungen ausschließende Disjunktion (auch vollständige oder antivalente Disjunktion), Bisubtraktion, ausschließendes Oder, Antivalenz, kontradiktorischer Gegensatz, Kontrajunktion oder Alternation verwendet. In der Schaltalgebra spricht man von dem Exklusiv-Oder-Gatter (XOR-Gatter), in der Aussagenlogik nennt man sie XOR-Verknüpfung. (de) Αποκλειστική διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές αν και μόνο αν ακριβώς ένας από τους όρους στους οποίους ενεργεί είναι αληθής. Για να δηλώσουν αποκλειστική διάζευξη χρησιμοποιούνται τα σύμβολα XOR και . Η αποκλειστική διάζευξη μπορεί να γραφεί με χρήση μόνο των λογικών τελεστών (ή "ένωση" ή "λογική άθροιση") , διάζευξη , και άρνηση ως εξής: (el) En la logiko, la disaŭo estas logika operacio, kiu nur tiam rezultigas veron, se ĝuste unu (sed ne ambaŭ) el du argumentoj estas vera. Ĝia vertabelo do estas (uzataj valoroj estas mallongigoj de Vera kaj Malvera): La alia maniero skribi la saman vertabelon estas per uzo de nombro 1 por vera kaj 0 por malvera: La operacio estadas skribita per signo ^ (kodo deksesuma 5E en unikodo) aŭ per signo ⊕ (kodo deksesuma 2295 en unikodo, ⊕ en HTML). Ankaŭ signoj + kaj ≠ estadas uzataj, ilia uzado havas pravigojn. Fakte disaŭo estas adicio per modulo 2, (a^b) mod 2 = (a+b) mod 2 . Uzadon de signo de neegalaĵo ≠ pravigas tio ke vere la disaŭo donas rezulton Vero se la argumentoj ne egalas unu al la alia. La disaŭo povas esti esprimita per la aliaj logikaj operacioj: a^b = (a&(~b)) | ((~a)&b)= (a |
| rdfs:comment |
L'operador lògic disjunció exclusiva, també anomenat o exclusiva, simbolitzat com XOR, EOR, EXOR, ⊻ o ⊕ és un tipus de disjunció lògica de dos operands que és veritat si només un operand és veritat però no ambdós. (ca) Exkluzivní disjunkce (někdy též vylučovací nebo úplná disjunkce, exkluzivní OR či XOR) je logická operace, jejíž hodnota je pravda, právě když každá vstupní hodnota nabývá, v porovnání s ostatními vstupy, unikátní hodnotu. XOR je někdy též označován jako nonekvivalence (NEQ), což je ale nepřesné a zavádějící: Taková identita platí pouze pro dvě proměnné dvouhodnotové logiky, jak snadno ukáže Karnaughova mapa. (cs) Αποκλειστική διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές αν και μόνο αν ακριβώς ένας από τους όρους στους οποίους ενεργεί είναι αληθής. Για να δηλώσουν αποκλειστική διάζευξη χρησιμοποιούνται τα σύμβολα XOR και . Η αποκλειστική διάζευξη μπορεί να γραφεί με χρήση μόνο των λογικών τελεστών (ή "ένωση" ή "λογική άθροιση") , διάζευξη , και άρνηση ως εξής: (el) En lógica proposicional, la disyunción exclusiva (también llamado bidisyuntor lógico, disyuntor excluyente, "or" fuerte, "or" exclusivo, o desigualdad material) es un operador lógico simbolizado como XOR, EOR, EXOR, ⊻ , ⊕ o es un tipo de disyunción lógica de dos operandos. (es) La disgiunzione esclusiva "o" (simboli usuali: oppure XOR) è un connettivo (o operatore) logico che restituisce in uscita VERO (V) se e solo se gli ingressi sono diversi tra di loro. Se gli ingressi sono uguali (V-V oppure F-F) restituisce FALSO (F). L'operatore logico è indicato con il simbolo prefisso J, e dagli operatori infissi XOR, EOR, EXOR, ⊻, ⊕, ↮, e ≢. (it) 배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우를 판단하는 논리 연산이다. 약칭으로 XOR, EOR, EXOR라고도 쓴다. 연산자는 (유니코드: U+22BB ⊻), 이다. 혼동이 되지 않을 경우, XOR, xor, (유니코드: U+2295 ⊕), +, ≠라고도 쓴다. 추가로 컴퓨터 프로그래밍 등에서 응용 수학으로, 비트간 배타적 논리합(bitwise exclusive or)을 간단히 배타적 논리합, XOR이라고 부르는 경우가 있다. 연산자는 XOR, xor, , ^ 등이 사용된다. (ko) 排他的論理和（はいたてきろんりわ、英: exclusive or / exclusive disjunction）とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算（論理演算）である。XOR、EOR、EX-OR（エクスオア、エックスオア、エクソア）などと略称される。 (ja) De exclusieve disjunctie (symbool xor) is een logische operator die resulteert in waar als een van de operanden, maar niet allebei, waar is. Het wordt, bij verzamelingen die corresponderen met het waar zijn van een operand, ook het symmetrisch verschil genoemd. (nl) Exklusiv disjunktion är ett logiskt konnektiv, som betecknas med , ⊻, ⊕ , ↮ eller XOR och som språkligt kan uttryckas som antingen eller. Antingen A eller B, där A och B är påståenden. A↮ B har sanningsvärdet sann, om A eller B men inte båda, är sanna. Konnektivet kan tillsammans med exempelvis materiell implikation, →, uttrycka varje annat konnektiv i satslogiken. (sv) Alternatywa rozłączna, alternatywa wyłączająca, ekskluzja, alternatywa wykluczająca, różnica symetryczna, suma poprzeczna, suma modulo 2, kontrawalencja, XOR – logiczny funktor zdaniotwórczy (dwuargumentowa funkcja boolowska). Alternatywa rozłączna zdań jest prawdziwa wtedy, gdy jedno i tylko jedno ze zdań jest prawdziwe: co jest równoznaczne z Odpowiada wyrażeniu „albo..., albo...”. Innym oznaczeniem jest gdzie: 1 – zdanie prawdziwe; 0 – zdanie fałszywe Przy użyciu funkcji XOR dla więcej niż dwóch argumentów wynik jest prawdziwy, gdy nieparzysta liczba argumentów jest prawdą. (pl) Ou exclusivo ou disjunção exclusiva é uma operação lógica entre dois operandos que resulta em um valor lógico verdadeiro se e somente se os dois operandos forem diferentes, ou seja, se um for verdadeiro e o outro for falso. É conhecido também pelas abreviações XOR ou EXOR (do inglês exclusive or) e ainda por XOU ou EOU. (pt) 在数字逻辑中，逻辑算符互斥或（英語：Exclusive or）是对两个运算元的一种邏輯分析类型。与一般的邏輯或不同，當兩兩數值相同時為否，而數值不同時為真。 对于命题 ，异或通常记作或。在编程语言中，常写作p ^ q。 (zh) En la logiko, la disaŭo estas logika operacio, kiu nur tiam rezultigas veron, se ĝuste unu (sed ne ambaŭ) el du argumentoj estas vera. Ĝia vertabelo do estas (uzataj valoroj estas mallongigoj de Vera kaj Malvera): La alia maniero skribi la saman vertabelon estas per uzo de nombro 1 por vera kaj 0 por malvera: La operacio estadas skribita per signo ^ (kodo deksesuma 5E en unikodo) aŭ per signo ⊕ (kodo deksesuma 2295 en unikodo, ⊕ en HTML). Ankaŭ signoj + kaj ≠ estadas uzataj, ilia uzado havas pravigojn. Fakte disaŭo estas adicio per modulo 2, (a^b) mod 2 = (a+b) mod 2 . (eo) Exclusive or or exclusive disjunction is a logical operation that is true if and only if its arguments differ (one is true, the other is false). It is symbolized by the prefix operator J and by the infix operators XOR (/ˌɛks ˈɔːr/ or /ˈzɔːr/), EOR, EXOR, ⊻, ⩒, ⩛, ⊕, , and ≢. The negation of XOR is the logical biconditional, which yields true if and only if the two inputs are the same. Since it is associative, it may be considered to be an n-ary operator which is true if and only if an odd number of arguments are true. That is, a XOR b XOR ... may be treated as XOR(a,b,...). (en) Kontravalenz bezeichnet in der klassischen Logik und Mathematik die Verbindung zweier Aussagen durch den zweistelligen Junktor entweder – oder, der auch exklusives Oder oder Kontravalentor heißt. Bei der Kontravalenz muss genau eine der beiden Aussagen zutreffen, entweder die eine oder die andere; weder sind beide zugleich wahr noch beide zugleich falsch. (de) La fonction OU exclusif, souvent appelée XOR (eXclusive OR) ou disjonction exclusive, ou somme binaire en cryptographie où il est noté +, ou encore ⊻ en algèbre relationnelle, 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 des valeurs distinctes. Cet opérateur est très utilisé en électronique, en informatique, et aussi en cryptographie du fait de ses propriétés intéressantes. (fr) Исключа́ющее «или» (сложе́ние по мо́дулю 2, XOR, строгая дизъюнкция, поразрядное дополнение, инвертирование по маске, жегалкинское сложение, логическое вычитание, логи́ческая неравнозна́чность) — булева функция, а также логическая и битовая операция, в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а другой — ложен. Для функции трёх (тернарное сложение по модулю 2) и более переменных — результат выполнения операции будет истинным только тогда, когда количество аргументов, равных 1, составляющих текущий набор, — нечётное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции. (ru) Виняткова диз'юнкція, також операція XOR (від англ. eXclusive OR), додавання за модулем два — логічна та бітова операція, що набуває значення «істина» тоді й лише тоді, коли значення «істина» має суто один з її операндів. Виняткова диз'юнкція є запереченням логічної еквівалентності. У випадку двох змінних результат виконання операції є істинним тоді й тільки тоді, якщо лише один з аргументів є істинним. Для функції трьох і більше змінних результат виконання операції буде істинним тільки тоді, коли аргументів, рівних 1, на заданому наборі буде непарна кількість. Така операція природним чином виникає в кільці лишків за модулем 2, звідки й походить назва операції. (uk) |
