K-Map Solver • Aula 3

Dica: clique nas células para alternar 0 → 1 → X. Use X (don't care) para formar grupos maiores.

Ajuda rápida

Mintermos: produto (AND) de todas as variáveis (algumas negadas) que vale 1 em uma única linha da tabela-verdade. Ex. para A,B,C: A·B′·C é o mintermo m5 (101₂).

Código Gray: ordem nas bordas (00,01,11,10) para garantir adjacência (só 1 bit muda). Em 2 variáveis, não há “coluna Gray” — é só B=0 | B=1.

SOP vs POS: SOP agrupa 1’s (gera ANDs somados). POS agrupa 0’s (gera ORs multiplicados). Usamos dualidade: POS de F é o complemento dos produtos de F′.

Don't Cares (X): entradas “não usadas”. Trate como 0 ou 1 conforme ajude a criar grupos maiores (2,4,8,16). Se todas as células forem X, mostramos F=1 com nota “função arbitrária”.

Regras do K-Map: grupos retangulares, tamanhos potência de 2, maximizar tamanho, pode sobrepor, bordas se tocam (wrap-around), nunca diagonal.

Identidade (Absorção): A + A·B = A e A·(A+B) = A.

Acessibilidade: cada célula tem aria-label (“A=0 B=1 C=0, valor: 1”). Botões possuem rótulos descritivos.