0101 (5) +0011 (3) ───── 1000 (8)
NAND e NOR são universais (constroem qualquer função).
Lista todas as combinações de entradas e a saída.
A B | AND OR XOR 0 0 | 0 0 0 0 1 | 0 1 1 1 0 | 0 1 1 1 1 | 1 1 0
n entradas → 2ⁿ linhas.
A·1 = A A+0 = A A·0 = 0 A+1 = 1 A·A = A A+A = A A·Ā = 0 A+Ā = 1
De Morgan:
¬(A·B) = Ā + B̄ ¬(A+B) = Ā · B̄
Simplificar reduz portas → menos custo, menos atraso.
Método visual para simplificar funções (até ~4-5 variáveis).
B̄ B ┌────┬────┐ Ā │ 1 │ 1 │ ├────┼────┤ A │ 0 │ 1 │ └────┴────┘
Agrupar 1s adjacentes (potências de 2) → expressão mínima.
A saída depende apenas das entradas atuais (sem memória).
Blocos típicos:
Projeto: especificar → tabela de verdade → simplificar (Boole/Karnaugh) → desenhar com portas.
Soma 2 bits + carry de entrada.
S = A ⊕ B ⊕ Cin Cout = (A·B) + (Cin·(A⊕B))
Encadeando full adders → somador de n bits (base da ALU do CPU).
A saída depende das entradas e do estado anterior (memória de 1 bit).
Acionados pelo clock (sincronia).
Base de CPU (registos), temporizadores, divisores de frequência.
Estado atual + entrada → próximo estado + saída.
Exemplo: semáforo, fechadura digital, controlador. Modela-se com diagrama de estados e implementa-se com flip-flops + lógica combinacional.
Simuladores: Logisim Evolution, Falstad, CircuitVerse, Tinkercad, Digital.