| http://dbpedia.org/ontology/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.
, Kontravalenz bezeichnet in der klassischen … 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.ssagenlogik nennt man sie XOR-Verknüpfung.
, 排他的論理和（はいたてきろんりわ、英: exclusive or / exclusive disjunction）とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算（論理演算）である。XOR、EOR、EX-OR（エクスオア、エックスオア、エクソア）などと略称される。
, En la logiko, la disaŭo estas logika opera … 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|b) & ((~a)|(~b))= (a|b) & (~(a&b)) Laŭbita logika disaŭo same operacias sur ĉiu paro da sampoziciaj bitoj de du nombroj kaj produktas la rezultan nombron. Ekzemple (la nombroj estas deksesumaj) 0x567F ^ 0x8CA1 = 0xDADE. Duume: 01010110011111111000110010100001----------------1101101011011110 Disaŭo estas asocieca kaj komuta. En elektroniko por disaŭo estas specialaj , ili povas havi pli ol du enenirojn.alaj , ili povas havi pli ol du enenirojn.
, En lógica proposicional, la disyunción exc … 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.ipo de disyunción lógica de dos operandos.
, 在数字逻辑中，逻辑算符互斥或（英語：Exclusive or）是对两个运算元的一种邏輯分析类型。与一般的邏輯或不同，當兩兩數值相同時為否，而數值不同時為真。 对于命题 ，异或通常记作或。在编程语言中，常写作p ^ q。
, 배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어 … 배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우를 판단하는 논리 연산이다. 약칭으로 XOR, EOR, EXOR라고도 쓴다. 연산자는 (유니코드: U+22BB ⊻), 이다. 혼동이 되지 않을 경우, XOR, xor, (유니코드: U+2295 ⊕), +, ≠라고도 쓴다. 추가로 컴퓨터 프로그래밍 등에서 응용 수학으로, 비트간 배타적 논리합(bitwise exclusive or)을 간단히 배타적 논리합, XOR이라고 부르는 경우가 있다. 연산자는 XOR, xor, , ^ 등이 사용된다.라고 부르는 경우가 있다. 연산자는 XOR, xor, , ^ 등이 사용된다.
, Виняткова диз'юнкція, також операція XOR ( … Виняткова диз'юнкція, також операція XOR (від англ. eXclusive OR), додавання за модулем два — логічна та бітова операція, що набуває значення «істина» тоді й лише тоді, коли значення «істина» має суто один з її операндів. Виняткова диз'юнкція є запереченням логічної еквівалентності. У випадку двох змінних результат виконання операції є істинним тоді й тільки тоді, якщо лише один з аргументів є істинним. Для функції трьох і більше змінних результат виконання операції буде істинним тільки тоді, коли аргументів, рівних 1, на заданому наборі буде непарна кількість. Така операція природним чином виникає в кільці лишків за модулем 2, звідки й походить назва операції. Додавання за модулем 2 слід відрізняти від простого додавання булевих операндів, яке відповідає звичайному логічному «або», тобто логічній диз'юнкції. Відповідною операцією в теорії множин є симетрична різниця множин істинності операндів.рична різниця множин істинності операндів.
, La fonction OU exclusif, souvent appelée X … 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. Son symbole est traditionnellement un signe plus dans un cercle : « ⊕ ».ment un signe plus dans un cercle : « ⊕ ».
, Αποκλειστική διάζευξη είναι ο λογικός τελε … Αποκλειστική διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές αν και μόνο αν ακριβώς ένας από τους όρους στους οποίους ενεργεί είναι αληθής. Για να δηλώσουν αποκλειστική διάζευξη χρησιμοποιούνται τα σύμβολα XOR και . Η αποκλειστική διάζευξη μπορεί να γραφεί με χρήση μόνο των λογικών τελεστών (ή "ένωση" ή "λογική άθροιση") , διάζευξη , και άρνηση ως εξής:άθροιση") , διάζευξη , και άρνηση ως εξής:
, Exkluzivní disjunkce (někdy též vylučovací … 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.logiky, jak snadno ukáže Karnaughova mapa.
, Alternatywa rozłączna, alternatywa wyłącza … 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ą.nieparzysta liczba argumentów jest prawdą.
, Exclusive or or exclusive disjunction is a … 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. It gains the name "exclusive or" because the meaning of "or" is ambiguous when both operands are true; the exclusive or operator excludes that case. This is sometimes thought of as "one or the other but not both". This could be written as "A or B, but not, A and B". 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,...). b XOR ... may be treated as XOR(a,b,...).
, De exclusieve disjunctie (symbool xor) is … 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.and, ook het symmetrisch verschil genoemd.
, Исключа́ющее «или» (сложе́ние по мо́дулю 2 … Исключа́ющее «или» (сложе́ние по мо́дулю 2, XOR, строгая дизъюнкция, поразрядное дополнение, инвертирование по маске, жегалкинское сложение, логическое вычитание, логи́ческая неравнозна́чность) — булева функция, а также логическая и битовая операция, в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а другой — ложен. Для функции трёх (тернарное сложение по модулю 2) и более переменных — результат выполнения операции будет истинным только тогда, когда количество аргументов, равных 1, составляющих текущий набор, — нечётное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции. Сложение по модулю 2 называется «исключающим „или“» и «строгой дизъюнкцией» для отличения от «обычного» (неисключающего) логического «или» — нестрогой логической дизъюнкции. В теории множеств сложению по модулю 2 соответствует операция симметрической разности двух множеств.ция симметрической разности двух множеств.
, La disgiunzione esclusiva "o" (simboli usu … 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 ≢.tori infissi XOR, EOR, EXOR, ⊻, ⊕, ↮, e ≢.
, Ou exclusivo ou disjunção exclusiva é uma … 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.glês exclusive or) e ainda por XOU ou EOU.
, Exklusiv disjunktion är ett logiskt konnek … 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.rycka varje annat konnektiv i satslogiken.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Venn0110.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.stanford.edu/class/archive/cs/cs103/cs103.1142/lectures/01/Small01.pdf +
, https://accu.org/index.php/journals/1915 +
|
| http://dbpedia.org/ontology/wikiPageID
|
105979
|
| http://dbpedia.org/ontology/wikiPageLength
|
23074
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1122061414
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Carry_%28arithmetic%29 +
, http://dbpedia.org/resource/Logical_value +
, http://dbpedia.org/resource/Parity_bit +
, http://dbpedia.org/resource/Propositional_calculus +
, http://dbpedia.org/resource/File:Venn01.svg +
, http://dbpedia.org/resource/C%2B%2B +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Ampheck +
, http://dbpedia.org/resource/XOR_cipher +
, http://dbpedia.org/resource/XOR_swap_algorithm +
, http://dbpedia.org/resource/Bitwise_operation +
, http://dbpedia.org/resource/Table_of_logic_symbols +
, http://dbpedia.org/resource/Symmetric_difference +
, http://dbpedia.org/resource/Associative_property +
, http://dbpedia.org/resource/Downward_entailing +
, http://dbpedia.org/resource/RAID +
, http://dbpedia.org/resource/Python_%28programming_language%29 +
, http://dbpedia.org/resource/Linear_separability +
, http://dbpedia.org/resource/Direct_sum_of_modules +
, http://dbpedia.org/resource/Category:Dichotomies +
, http://dbpedia.org/resource/Caret +
, http://dbpedia.org/resource/PHP +
, http://dbpedia.org/resource/Monotone_boolean_function +
, http://dbpedia.org/resource/Inclusive_or +
, http://dbpedia.org/resource/Cancellable_%28linguistics%29 +
, http://dbpedia.org/resource/Parity_function +
, http://dbpedia.org/resource/File:Venn_0101_0101.svg +
, http://dbpedia.org/resource/File:Venn_0101_1010.svg +
, http://dbpedia.org/resource/File:Venn_0000_1111.svg +
, http://dbpedia.org/resource/File:Venn_0011_1100.svg +
, http://dbpedia.org/resource/File:Multigrade_operator_XOR.svg +
, http://dbpedia.org/resource/File:Venn00.svg +
, http://dbpedia.org/resource/Neural_network +
, http://dbpedia.org/resource/Entropy_pool +
, http://dbpedia.org/resource/File:Z2%5E4%3B_Cayley_table%3B_binary.svg +
, http://dbpedia.org/resource/File:X-or.svg +
, http://dbpedia.org/resource/Distributive_property +
, http://dbpedia.org/resource/File:XOR_ANSI_Labelled.svg +
, http://dbpedia.org/resource/File:Venn_1011_1011.svg +
, http://dbpedia.org/resource/File:Venn_1011_1101.svg +
, http://dbpedia.org/resource/File:Venn_0110_0110.svg +
, http://dbpedia.org/resource/File:Venn_0110_1001.svg +
, http://dbpedia.org/resource/Cursor_%28computers%29 +
, http://dbpedia.org/resource/Modular_arithmetic +
, http://dbpedia.org/resource/C_%28programming_language%29 +
, http://dbpedia.org/resource/Disjunctive_syllogism +
, http://dbpedia.org/resource/Category:Logical_connectives +
, http://dbpedia.org/resource/Disjunction +
, http://dbpedia.org/resource/Logical_graph +
, http://dbpedia.org/resource/Rule_90 +
, http://dbpedia.org/resource/Logical_disjunction +
, http://dbpedia.org/resource/Hadamard_transform +
, http://dbpedia.org/resource/Antecedent_%28logic%29 +
, http://dbpedia.org/resource/Boolean_function +
, http://dbpedia.org/resource/Entailment +
, http://dbpedia.org/resource/Boolean_domain +
, http://dbpedia.org/resource/Addition +
, http://dbpedia.org/resource/Java_%28programming_language%29 +
, http://dbpedia.org/resource/Paradoxes_of_material_implication +
, http://dbpedia.org/resource/XOR_linked_list +
, http://dbpedia.org/resource/Truth_table +
, http://dbpedia.org/resource/De_Morgan%27s_laws +
, http://dbpedia.org/resource/Natural_language +
, http://dbpedia.org/resource/Involution_%28mathematics%29 +
, http://dbpedia.org/resource/Binary_numeral_system +
, http://dbpedia.org/resource/Abelian_group +
, http://dbpedia.org/resource/Perl +
, http://dbpedia.org/resource/Commutative_property +
, http://dbpedia.org/resource/Group_%28mathematics%29 +
, http://dbpedia.org/resource/Field_%28mathematics%29 +
, http://dbpedia.org/resource/Doubly_linked_list +
, http://dbpedia.org/resource/Operand +
, http://dbpedia.org/resource/Material_conditional +
, http://dbpedia.org/resource/Pragmatics +
, http://dbpedia.org/resource/Conversational_implicature +
, http://dbpedia.org/resource/Boolean_algebra_%28logic%29 +
, http://dbpedia.org/resource/Bounding_volume +
, http://dbpedia.org/resource/Affirming_a_disjunct +
, http://dbpedia.org/resource/C_Sharp_%28programming_language%29 +
, http://dbpedia.org/resource/Ring_%28mathematics%29 +
, http://dbpedia.org/resource/Algebraic_normal_form +
, http://dbpedia.org/resource/Logical_connective +
, http://dbpedia.org/resource/Ruby_%28programming_language%29 +
, http://dbpedia.org/resource/Idempotence +
, http://dbpedia.org/resource/Logical_biconditional +
, http://dbpedia.org/resource/Cooperative_principle +
, http://dbpedia.org/resource/If_and_only_if +
, http://dbpedia.org/resource/Formal_semantics_%28linguistics%29 +
, http://dbpedia.org/resource/Logical_conjunction +
, http://dbpedia.org/resource/Boolean-valued_function +
, http://dbpedia.org/resource/Negation +
, http://dbpedia.org/resource/D_%28programming_language%29 +
, http://dbpedia.org/resource/Adder_%28electronics%29 +
, http://dbpedia.org/resource/Computer_graphics +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Mathematical_operators_and_symbols_in_Unicode +
, http://dbpedia.org/resource/List_of_Boolean_algebra_topics +
, http://dbpedia.org/resource/Infix +
, http://dbpedia.org/resource/GF%282%29 +
, http://dbpedia.org/resource/Monoid +
, http://dbpedia.org/resource/Isomorphism +
, http://dbpedia.org/resource/Category:Semantics +
, http://dbpedia.org/resource/Linear +
, http://dbpedia.org/resource/Feistel_cipher +
, http://dbpedia.org/resource/Hardware_random_number_generator +
, http://dbpedia.org/resource/XOR_gate +
, http://dbpedia.org/resource/Felicity_%28pragmatics%29 +
, http://dbpedia.org/resource/Parity_%28mathematics%29 +
, http://dbpedia.org/resource/One-time_pad +
, http://dbpedia.org/resource/Cryptography +
, http://dbpedia.org/resource/Operation_%28mathematics%29 +
, http://dbpedia.org/resource/Controlled_NOT_gate +
, http://dbpedia.org/resource/File:Venn0001.svg +
, http://dbpedia.org/resource/Alpha_compositing +
, http://dbpedia.org/resource/Vector_space +
, http://dbpedia.org/resource/File:Venn0111.svg +
, http://dbpedia.org/resource/File:Venn0110.svg +
|
| http://dbpedia.org/property/0Preserving
|
yes
|
| http://dbpedia.org/property/1Preserving
|
no
|
| http://dbpedia.org/property/affine
|
yes
|
| http://dbpedia.org/property/logicGate
|
XOR_ANSI.svg
|
| http://dbpedia.org/property/monotone
|
no
|
| http://dbpedia.org/property/otherTitles
|
XOR
|
| http://dbpedia.org/property/selfDual
|
no
|
| http://dbpedia.org/property/title
|
Exclusive or
|
| http://dbpedia.org/property/vennDiagram
|
Venn0110.svg
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Term +
, http://dbpedia.org/resource/Template:Unichar +
, http://dbpedia.org/resource/Template:Pp +
, http://dbpedia.org/resource/Template:No2 +
, http://dbpedia.org/resource/Template:Yes2 +
, http://dbpedia.org/resource/Template:Defn +
, http://dbpedia.org/resource/Template:Glossary +
, http://dbpedia.org/resource/Template:Glossary_end +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Refimprove +
, http://dbpedia.org/resource/Template:IPAc-en +
, http://dbpedia.org/resource/Template:Logical_connectives +
, http://dbpedia.org/resource/Template:Infobox_logical_connective +
, http://dbpedia.org/resource/Template:Main_article +
, http://dbpedia.org/resource/Template:Commons_category +
, http://dbpedia.org/resource/Template:Aligned_table +
, http://dbpedia.org/resource/Template:Wiktionary +
, http://dbpedia.org/resource/Template:Redirect +
, http://dbpedia.org/resource/Template:N-ary +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Columns-list +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Logical_connectives +
, http://dbpedia.org/resource/Category:Dichotomies +
, http://dbpedia.org/resource/Category:Semantics +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Exclusive_or?oldid=1122061414&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Venn00.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0011_1100.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0101_1010.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0110_0110.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0110_1001.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_1011_1101.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0111.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Multigrade_operator_XOR.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Z2%5E4%3B_Cayley_table%3B_binary.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/X-or.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0001.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/XOR_ANSI.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn01.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0110.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/XOR_ANSI_Labelled.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0000_1111.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0101_0101.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_1011_1011.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Exclusive_or +
|
| owl:sameAs |
http://mk.dbpedia.org/resource/%D0%98%D1%81%D0%BA%D0%BB%D1%83%D1%87%D0%B8%D1%82%D0%B5%D0%BB%D0%BD%D0%B0_%D0%B4%D0%B8%D1%81%D1%98%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%98%D0%B0 +
, http://nl.dbpedia.org/resource/Exclusieve_disjunctie +
, http://dbpedia.org/resource/Exclusive_or +
, http://zh.dbpedia.org/resource/%E9%80%BB%E8%BE%91%E5%BC%82%E6%88%96 +
, http://pms.dbpedia.org/resource/Disgionsion_esclusiva +
, http://simple.dbpedia.org/resource/Exclusive_disjunction +
, http://fr.dbpedia.org/resource/Fonction_OU_exclusif +
, http://ro.dbpedia.org/resource/Disjunc%C8%9Bie_exclusiv%C4%83 +
, http://ca.dbpedia.org/resource/Disjunci%C3%B3_exclusiva +
, http://uk.dbpedia.org/resource/%D0%92%D0%B8%D0%BA%D0%BB%D1%8E%D1%87%D0%BD%D0%B0_%D0%B4%D0%B8%D0%B7%27%D1%8E%D0%BD%D0%BA%D1%86%D1%96%D1%8F +
, http://eo.dbpedia.org/resource/Disa%C5%ADo +
, http://fa.dbpedia.org/resource/%DB%8C%D8%A7%DB%8C_%D8%A7%D9%86%D8%AD%D8%B5%D8%A7%D8%B1%DB%8C +
, https://global.dbpedia.org/id/4cZVq +
, http://de.dbpedia.org/resource/Kontravalenz +
, http://he.dbpedia.org/resource/XOR +
, http://yago-knowledge.org/resource/Exclusive_or +
, http://et.dbpedia.org/resource/V%C3%A4listav_disjunktsioon +
, http://cs.dbpedia.org/resource/Exkluzivn%C3%AD_disjunkce +
, http://ko.dbpedia.org/resource/%EB%B0%B0%ED%83%80%EC%A0%81_%EB%85%BC%EB%A6%AC%ED%95%A9 +
, http://rdf.freebase.com/ns/m.0qkmj +
, http://sv.dbpedia.org/resource/Exklusiv_disjunktion +
, http://no.dbpedia.org/resource/Eksklusiv_disjunksjon +
, http://pt.dbpedia.org/resource/Ou_exclusivo +
, http://ja.dbpedia.org/resource/%E6%8E%92%E4%BB%96%E7%9A%84%E8%AB%96%E7%90%86%E5%92%8C +
, http://fi.dbpedia.org/resource/Eksklusiivinen_disjunktio +
, http://ru.dbpedia.org/resource/%D0%98%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B0%D1%8E%D1%89%D0%B5%D0%B5_%C2%AB%D0%B8%D0%BB%D0%B8%C2%BB +
, http://sk.dbpedia.org/resource/Vylu%C4%8Duj%C3%BAce_alebo +
, http://www.wikidata.org/entity/Q498186 +
, http://sr.dbpedia.org/resource/%D0%98%D1%81%D0%BA%D1%99%D1%83%D1%87%D0%B8%D0%B2%D0%B0_%D0%B4%D0%B8%D1%81%D1%98%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%98%D0%B0 +
, http://pl.dbpedia.org/resource/Alternatywa_roz%C5%82%C4%85czna +
, http://it.dbpedia.org/resource/Disgiunzione_esclusiva +
, http://es.dbpedia.org/resource/Disyunci%C3%B3n_exclusiva +
, http://el.dbpedia.org/resource/%CE%91%CF%80%CE%BF%CE%BA%CE%BB%CE%B5%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CE%AE_%CE%B4%CE%B9%CE%AC%CE%B6%CE%B5%CF%85%CE%BE%CE%B7 +
|
| rdf:type |
http://dbpedia.org/class/yago/Group100031264 +
, http://dbpedia.org/class/yago/WikicatDichotomies +
, http://dbpedia.org/class/yago/Classification107939638 +
, http://dbpedia.org/class/yago/LanguageUnit106284225 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Part113809207 +
, http://dbpedia.org/class/yago/Dichotomy107939880 +
, http://dbpedia.org/class/yago/Arrangement107938773 +
, http://dbpedia.org/class/yago/Relation100031921 +
, http://dbpedia.org/class/yago/Word106286395 +
, http://dbpedia.org/class/yago/WikicatLogicalConnectives +
, http://dbpedia.org/class/yago/Conjunction106325826 +
, http://dbpedia.org/class/yago/FunctionWord106291318 +
|
| rdfs:comment |
Виняткова диз'юнкція, також операція XOR ( … Виняткова диз'юнкція, також операція XOR (від англ. eXclusive OR), додавання за модулем два — логічна та бітова операція, що набуває значення «істина» тоді й лише тоді, коли значення «істина» має суто один з її операндів. Виняткова диз'юнкція є запереченням логічної еквівалентності. У випадку двох змінних результат виконання операції є істинним тоді й тільки тоді, якщо лише один з аргументів є істинним. Для функції трьох і більше змінних результат виконання операції буде істинним тільки тоді, коли аргументів, рівних 1, на заданому наборі буде непарна кількість. Така операція природним чином виникає в кільці лишків за модулем 2, звідки й походить назва операції.дулем 2, звідки й походить назва операції.
, En lógica proposicional, la disyunción exc … 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.ipo de disyunción lógica de dos operandos.
, De exclusieve disjunctie (symbool xor) is … 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.and, ook het symmetrisch verschil genoemd.
, 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.
, Исключа́ющее «или» (сложе́ние по мо́дулю 2 … Исключа́ющее «или» (сложе́ние по мо́дулю 2, XOR, строгая дизъюнкция, поразрядное дополнение, инвертирование по маске, жегалкинское сложение, логическое вычитание, логи́ческая неравнозна́чность) — булева функция, а также логическая и битовая операция, в случае двух переменных результат выполнения операции истинен тогда и только тогда, когда один из аргументов истинен, а другой — ложен. Для функции трёх (тернарное сложение по модулю 2) и более переменных — результат выполнения операции будет истинным только тогда, когда количество аргументов, равных 1, составляющих текущий набор, — нечётное. Такая операция естественным образом возникает в кольце вычетов по модулю 2, откуда и происходит название операции. 2, откуда и происходит название операции.
, Αποκλειστική διάζευξη είναι ο λογικός τελε … Αποκλειστική διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές αν και μόνο αν ακριβώς ένας από τους όρους στους οποίους ενεργεί είναι αληθής. Για να δηλώσουν αποκλειστική διάζευξη χρησιμοποιούνται τα σύμβολα XOR και . Η αποκλειστική διάζευξη μπορεί να γραφεί με χρήση μόνο των λογικών τελεστών (ή "ένωση" ή "λογική άθροιση") , διάζευξη , και άρνηση ως εξής:άθροιση") , διάζευξη , και άρνηση ως εξής:
, La disgiunzione esclusiva "o" (simboli usu … 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 ≢.tori infissi XOR, EOR, EXOR, ⊻, ⊕, ↮, e ≢.
, La fonction OU exclusif, souvent appelée X … 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.e du fait de ses propriétés intéressantes.
, Exkluzivní disjunkce (někdy též vylučovací … 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.logiky, jak snadno ukáže Karnaughova mapa.
, Kontravalenz bezeichnet in der klassischen … 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. zugleich wahr noch beide zugleich falsch.
, Exclusive or or exclusive disjunction is a … 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,...). b XOR ... may be treated as XOR(a,b,...).
, 在数字逻辑中，逻辑算符互斥或（英語：Exclusive or）是对两个运算元的一种邏輯分析类型。与一般的邏輯或不同，當兩兩數值相同時為否，而數值不同時為真。 对于命题 ，异或通常记作或。在编程语言中，常写作p ^ q。
, Ou exclusivo ou disjunção exclusiva é uma … 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.glês exclusive or) e ainda por XOU ou EOU.
, Exklusiv disjunktion är ett logiskt konnek … 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.rycka varje annat konnektiv i satslogiken.
, Alternatywa rozłączna, alternatywa wyłącza … 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ą.nieparzysta liczba argumentów jest prawdą.
, 배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어 … 배타적 논리합(排他的論理合, exclusive or)은 수리 논리학에서 주어진 2개의 명제 가운데 1개만 참일 경우를 판단하는 논리 연산이다. 약칭으로 XOR, EOR, EXOR라고도 쓴다. 연산자는 (유니코드: U+22BB ⊻), 이다. 혼동이 되지 않을 경우, XOR, xor, (유니코드: U+2295 ⊕), +, ≠라고도 쓴다. 추가로 컴퓨터 프로그래밍 등에서 응용 수학으로, 비트간 배타적 논리합(bitwise exclusive or)을 간단히 배타적 논리합, XOR이라고 부르는 경우가 있다. 연산자는 XOR, xor, , ^ 등이 사용된다.라고 부르는 경우가 있다. 연산자는 XOR, xor, , ^ 등이 사용된다.
, En la logiko, la disaŭo estas logika opera … 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 . per modulo 2, (a^b) mod 2 = (a+b) mod 2 .
, 排他的論理和（はいたてきろんりわ、英: exclusive or / exclusive disjunction）とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算（論理演算）である。XOR、EOR、EX-OR（エクスオア、エックスオア、エクソア）などと略称される。
|
| rdfs:label |
Exkluzivní disjunkce
, Fonction OU exclusif
, Disaŭo
, Disgiunzione esclusiva
, Kontravalenz
, Exclusive or
, Disjunció exclusiva
, 排他的論理和
, Disyunción exclusiva
, Виключна диз'юнкція
, Αποκλειστική διάζευξη
, 배타적 논리합
, Исключающее «или»
, Exklusiv disjunktion
, Ou exclusivo
, 逻辑异或
, Alternatywa rozłączna
, Exclusieve disjunctie
|
