17.631
modificacions
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.
| |||