Tamanho da fonte: 

Circuitos digitais podem ser representados como funções lógicas. Nesses circuitos as variáveis são
representadas pela presença ou ausência de tensão. Com o intuito de reduzir a quantidade de portas
lógicas utilizadas é feita a minimização da expressão lógica. A minimização pode ser feita com o Mapa de
Karnaugh ou o algoritmo de Quine-McCluskey, o último mais apropriado para solução computacional. Esse
trabalho desenvolveu um software educacional que realiza a minimização de expressões lógicas utilizando
ambos os métodos mencionados. Foram utilizadas duas técnicas para computar a resposta do algoritmo de
Quine-McCluskey. A primeira técnica faz uso de um algoritmo polinomial guloso que obtém apenas uma
aproximação. A segunda técnica faz uso de um algoritmo exponencial recursivo, otimizado com programação
dinâmica. Tanto o algoritmo quanto as técnicas foram implementadas utilizando a linguagem de programação
Python. Uma interface gráfica, desenvolvida utilizando a framework Qt, acompanha o programa, que está
disponível para download.

Quine-McCluskey; Mapa de Karnaugh; Programação dinâmica; Cobertura de conjuntos