A simplificação de funções booleanas de n variáveis, utilizando mapas de Karnaugh, produz um circuito
que implementa um produto de maxtermos normalizados.
que implementa uma soma de mintermos normalizados.
com o menor número possível de portas.
com, no máximo, dois níveis de portas para qualquer número de variáveis.
com o menor consumo de energia.
