A simplificação de funções booleanas de n variáveis, util...

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.