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.