Disjunció exclusiva: diferència entre les revisions
m r2.7.1) (Robot afegeix: es:Disyunción exclusiva |
|||
Línia 73: | Línia 73: | ||
[[en:Exclusive or]] |
[[en:Exclusive or]] |
||
[[eo:Logika malinkluziva aŭo]] |
[[eo:Logika malinkluziva aŭo]] |
||
[[es:Disyunción exclusiva]] |
|||
[[et:Välistav disjunktsioon]] |
[[et:Välistav disjunktsioon]] |
||
[[fa:یای مانعةالجمع]] |
[[fa:یای مانعةالجمع]] |
Revisió del 17:42, 24 ago 2012
Diagrama de Venn para |
Diagrama de Venn para |
El operador lògicDisjunció 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.
Equivalències, simplificació, i introducció
La disjunció exclusiva es pot expressar en termes de conjunció lògica (), disjunció lògica (), i negació () de la següent manera:
La disjunció exclusiva pot ser expressada de la següent manera:
Aquesta representació del XOR pot ser útil en la construcció d'un circuit o una xarxa, ja que només té un operador i un nombre reduït d'operadors i . La prova d'aquesta identitat és la següent:
De vegades és útil escriure de les següents formes:
Aquesta equivalència es pot establir mitjançant l'aplicació de les Lleis de De Morgan dues vegades per la quarta línia de la prova anterior.