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