O primeiro passo para transitarmos por esta “ponte” entre a arquitetura de computadores e a lógica matemática é a transformação de uma proposição lógica em sua correspondente expressão lógica.

Tabela de Correspondências