Disjunció exclusiva: diferència entre les revisions

Contingut suprimit Contingut afegit

En línia

Revisió del 21:27, 7 maig 2018

~A\oplus B

$~\oplus ~$ $~\Leftrightarrow ~$

Diagrama de Venn per a

~A\oplus B\oplus C

$~\oplus ~$ $~\Leftrightarrow ~$

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.^[1]

Equivalències, simplificació, i introducció

La disjunció exclusiva $p\oplus q$ es pot expressar en termes de conjunció lògica ( $\wedge$ ), disjunció lògica ( $\lor$ ), i negació ( $\lnot$ ) de la següent manera:

{\begin{matrix}p\oplus q&=&(p\land \lnot q)\lor (\lnot p\land q)\end{matrix}}

La disjunció exclusiva $p\oplus q$ pot ser expressada de la següent manera:

{\begin{matrix}p\oplus q&=&\lnot (p\land q)\land (p\lor q)\end{matrix}}

Aquesta representació del XOR pot ser útil en la construcció d'un circuit o una xarxa, ja que només té un operador $\lnot$ i un nombre reduït d'operadors $p\oplus q$ i $\lor$ . La prova d'aquesta identitat és la següent:

{\begin{matrix}p\oplus q&=&(p\land \lnot q)&\lor &(\lnot p\land q)\\&=&((p\land \lnot q)\lor \lnot p)&\land &((p\land \lnot q)\lor q)\\&=&((p\lor \lnot p)\land (\lnot q\lor \lnot p))&\land &((p\lor q)\land (\lnot q\lor q))\\&=&(\lnot p\lor \lnot q)&\land &(p\lor q)\\&=&\lnot (p\land q)&\land &(p\lor q)\end{matrix}}

De vegades és útil escriure $p\oplus q$ de les següents formes:

{\begin{matrix}p\oplus q&=&\lnot ((p\land q)\lor (\lnot p\land \lnot q))\end{matrix}}

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.

Referències

↑ Vegeu Stanford Encyclopedia of Philosophy, article Disjunction

Vegeu també

[1] Vegeu Stanford Encyclopedia of Philosophy, article Disjunction

[1]

@@ Línia 13: / Línia 13: @@
 |}
-L'[[operador lògic]] '''Disjunció exclusiva''' també anomenat '''o exclusiva''', simbolitzat com '''XOR''', '''EOR''', '''EXOR''', '''{{mida|140%| ⊻ }}''' o '''{{mida|180%| ⊕ }}''' és un tipus de [[disjunció lògica]] de dos operands que és veritat si només un operand és veritat però no ambdós.<ref> Vegeu ''[[Stanford Encyclopedia of Philosophy]]'', article ''[http://plato.stanford.edu/entries/disjunction/ Disjunction]''</ref>
+L'[[operador lògic]] '''disjunció exclusiva''', també anomenat '''o exclusiva''', simbolitzat com '''XOR''', '''EOR''', '''EXOR''', '''{{mida|140%| ⊻ }}''' o '''{{mida|180%| ⊕ }}''' és un tipus de [[disjunció lògica]] de dos operands que és veritat si només un operand és veritat però no ambdós.<ref> Vegeu ''[[Stanford Encyclopedia of Philosophy]]'', article ''[http://plato.stanford.edu/entries/disjunction/ Disjunction]''</ref>
 == Equivalències, simplificació, i introducció ==