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: