Document

De forma similar ao caso da porta OR, vamos agora ver que existe também a negação da XOR, mas com algumas particularidades explicadas a seguir:

A partir da proposição:
~(p∨q)

Obtém-se a expressão correspondente:

P⊕Q

No entanto, a negação da XOR não ganha um nome próprio, como, por exemplo, ocorreu com a negação da AND que tem a denominação de NAND.

Há também outra distinção:

Já que não há regra de DE MORGAN sobre v, lembre-se também que não haverá DE MORGAN quando dentro do parêntese da expressão for a porta ⊕.

Assim, caso se queira reduzir a expressão P⊕Q à Forma Normal (FN), deve-se aplicar outra regra de simplificação. Veja a seguir:

P⊕Q ⇔ (P • Q) + (P • Q)