O primeiro passo foi alcançado! Já foi compreendido que os conectivos/operações da lógica das proposições possuem correspondência com as portas lógicas dos circuitos lógicos digitais.
Sendo assim, sabe-se agora que simplificar e reduzir conectivos viabiliza o desenvolvimento de circuitos lógicos digitais, um importante fundamento computacional.
Vimos que a montagem e a leitura de circuitos lógicos dependem do aprendizado do funcionamento das seguintes portas lógicas:
| Nome | Símbolo | Entradas | Saídas |
|---|---|---|---|
| A B | F | ||
| E (AND) |
![]() |
0 0 0 1 1 0 1 1 |
0 0 0 1 |
| OU (OR) |
![]() |
0 0 0 1 1 0 1 1 |
0 1 1 1 |
| NÃO (NOT) INVERSORA |
![]() |
0 1 |
1 0 |
| NÃO E (NAND) |
![]() |
0 0 0 1 1 0 1 1 |
1 1 1 0 |
| NÃO OU (NAND) |
![]() |
0 0 0 1 1 0 1 1 |
1 0 0 0 |
| OU EXCLUSIVO (XOR) |
![]() |
0 0 0 1 1 0 1 1 |
0 1 1 0 |