Comprovada então a equivalência, pode-se retornar ao objetivo de simplificar a expressão à sua FN. Vejamos:

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

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

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

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.