Para as operações condicional e bicondicional, vimos anteriormente que não há correspondência direta entre a lógica das proposições e uma nomenclatura de portas lógicas. Sendo assim, também não haverá uma correspondência direta quanto à representação gráfica.

Dessa forma, quando for necessário converter uma proposição p→q para a linguagem de circuitos lógicos, aplicam-se antes as regras de simplificações cabíveis. Veja a seguir:

Condicional

p→q

~p∨q

P+Q

Bicondicional

p↔q

(~p∨q)∧(~q∨p)

(P+Q)•(Q+P)