As portas lógicas são circuitos utilizados para combinar níveis lógicos digitais (1s e 0s) de formas específicas. Um sistema denominado de álgebra booleana é utilizado para expressar a saída em termos das entradas. Nesse contexto, as tabelas-verdades 1 e 2, mostradas abaixo, representam, respectivamente, as portas lógicas e suas expressões booleanas utilizadas na eletrônica digital, expressas como
Tabela 1:Tabela-verdade1
| A | B | Y |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Tabela 2: Tabela-verdade2
| A | B | Y |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
