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):

Proposições Lógicas					Expressões Lógicas
Nome da Operação	Linguagem coloquial	Linguagem simbólica	Simplificação à FN		Representação simbólica
Condicional	“Se-então”	p→q	~p∨q	→	P + Q
Bicondicional	“se somente se”	p↔q	(~p∨q)∧(~q∨p)	→	(P + Q)•(Q + P)

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:

(P•Q)

Resumindo, fizemos a seguinte transformação:

Proposição Lógica		Expressão Lógica
Linguagem simbólica		Nome da Operação	Representação simbólica
~(p∨q)	→	NAND	(P•Q)