Durante o processo de análise de circuitos combinacionais
para construção de um circuito lógico físico, a etapa de
simplificação de expressões lógicas é muito importante, pois
essa simplificação tem o potencial de reduzir a
complexidade do circuito e o número de elementos
utilizados. Um método sistemático para simplificar
expressões booleanas é conhecido como