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.
| Proposições Lógicas | Expressões Lógicas | |||||
|---|---|---|---|---|---|---|
| Nome da Operação | Linguagem coloquial | Linguagem simbólica | Nome da Operação | Representação simbólica | ||
| Conjunção | “e” | p ∧ q | → | AND | P•Q | Produto |
| Disjunção | “ou” | p ∨ q | → | OR | P+Q | Soma |
| Disjunção exclusiva | “ou...ou” | p ⊻ q | → | XOR | P⊕Q | Soma exclusiva |
| Negação | “não” | ~p | → | NOT | P | Inversora |