Disjunció exclusiva: diferència entre les revisions

m
cap resum d'edició
mCap resum de modificació
mCap resum de modificació
\end{matrix}
</math>
 
De vegades és útil escriure <math>p \oplus q</math> de les següents formes:
 
 
Aquesta representació del XOR pot ser útil en la construcció d'un circuit o una xarxa, ja que només té un operador <math> \lnot </math> i un nombre reduït d'operadors <math>p \oplus q</math> i <math > \lor </math>. La prova d'aquesta identitat és la següent:
</math>
 
De vegades és útil escriure <math>p \oplus q</math> de les següents formes:
: <math>
\begin{matrix}
p \oplus q & = & \lnot ((p \land q) \lor (\lnot p \land \lnot q))
\end{matrix}
</math>
 
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.
17.631

modificacions