No projeto de circuitos lógicos combinacionais, o método gráfico utilizado para simplificar uma expressão lógica, ou para converter uma tabela-verdade em um circuito lógico mais simplificado, é denominado de: