Para encontrar a expressão lógica correspondente da condicional e da bicondicional, vamos aplicar as regras de simplificação para obter suas equivalentes na forma normal (FN):

Dessa forma, qualquer proposição pode ser transformada em sua correspondente expressão lógica, bastando substituir os sinais pela respectiva representação simbólica. Por exemplo, considere a Proposição:

~(p∧q)

Sua Expressão Lógica correspondente é obtida pelos seguintes passos:

1º) Substituição do símbolo dentro do parêntese:

~(P•Q)

2º) Se a negação está atuando no parêntese todo e não apenas em uma proposição simples qualquer, então a “barra” inversora da expressão lógica deverá ficar sobre o parêntese inteiro:

Resumindo, fizemos a seguinte transformação: