Mapas de Karnaugh

Grupos

• Ordem Gray 00,01,11,10: vizinhos diferem num bit. Primeira e última coluna adjacentes; o mesmo nas linhas; cantos podem formar um grupo. Diagonais nunca.
• Grupos: retângulos de $1,2,4,8,\ldots$ células, com fronteiras e sobreposição. Cada variável que muda dentro do grupo desaparece.
• SOP agrupa 1 sem zeros obrigatórios; POS agrupa zeros. X só onde ajudar; estados inválidos com recuperação obrigatória não são X.

$F=\Sigma m(1,3,5,6,7)=C+AB$. Nos zeros 0,4 e 0,2: $(B+C)(A+C)=C+AB$.

• SOP: variável constante em 1 fica direta, em 0 negada. POS: o inverso. Confirma cada fator com um zero coberto: tem de anular a expressão.

Cobertura

1. Primos: grupos não alargáveis sem valor proibido.
2. Essenciais: os únicos a cobrir algum 1.
3. Completa o resto minimizando termos e literais.

Hazards: a tabela descreve estados estáveis. Com $B=C=1$, mudar A em $AB+\overline AC$ pode dar um impulso 0; o consenso $BC$ cobre a transição.

Grupos e fronteiras.