Comprovada então a equivalência P⊕Q ⇔ (P • Q) + (P • Q), pode-se retornar ao objetivo de simplificar a expressão P⊕Q à sua FN. Vejamos:

Proposição a ser simplificada à sua FN é:

P⊕Q

Aplicando a equivalência P⊕Q ⇔ (P • Q) + (P • Q), tem-se:

_______________
(P • Q) + (P • Q)

Aplicando então DE MORGAN, resulta em:

_______ _______
(P • Q) • (P • Q)

Aplicando DE MORGAN, em cada um dos parênteses, obtém-se:

__                 __
(P + Q) • (P + Q)

Aplicando a Dupla Negação, tem-se a FN, que é especificamente uma FNC – Forma Normal Conjuntiva:

(P + Q) • (P + Q)

Perceba que a notação de expressão lógica utiliza letras maiúsculas na substituição das proposições simples. Esta é uma prática da área, mas não estaria errado manter o uso de letras minúsculas.