Documento avaliado pelos pares
Software educacional para ensino de minimização de expressões lógicas
Autor
Luana Cristina Guerreiro Campos; Universidade Tecnológica Federal do Paraná, Toledo, Paraná, Brasil
Gustavo Henrique Paetzold; Universidade Tecnológica Federal do Paraná, Toledo, Paraná, Brasil
Resumen
Circuitos digitais podem ser representados como funções lógicas. Nesses circuitos as variáveis sãorepresentadas pela presença ou ausência de tensão. Com o intuito de reduzir a quantidade de portaslógicas utilizadas é feita a minimização da expressão lógica. A minimização pode ser feita com o Mapa deKarnaugh ou o algoritmo de Quine-McCluskey, o último mais apropriado para solução computacional. Essetrabalho desenvolveu um software educacional que realiza a minimização de expressões lógicas utilizandoambos os métodos mencionados. Foram utilizadas duas técnicas para computar a resposta do algoritmo deQuine-McCluskey. A primeira técnica faz uso de um algoritmo polinomial guloso que obtém apenas umaaproximação. A segunda técnica faz uso de um algoritmo exponencial recursivo, otimizado com programaçãodinâmica. Tanto o algoritmo quanto as técnicas foram implementadas utilizando a linguagem de programaçãoPython. Uma interface gráfica, desenvolvida utilizando a framework Qt, acompanha o programa, que estádisponível para download.