Software para minimização de expressões lógicas utilizando Mapas de Karnaugh

Expressões da lógica proposicional são amplamente utilizadas em áreas como circuitosdigitais. Torna-se vantajoso reduzir expressões sem alterar o seu valor semântico, uma vezque obter o mesmo resultado com menos componentes torna o processo mais eficiente.Existem alguns métodos de minimização existentes, como o método de Quine-McCluskey emapas de Karnaugh. Esse trabalho buscou a implementação do método de minimização dosmapas de Karnaugh utilizando a linguagem de programação Python e o framework PyQt5.O programa desenvolvido faz minimização de expressões com duas, três e quatro variáveis.Como o software tem o objetivo de ser didático, também foi implementada uma função quemostra o mapa de Karnaugh resultante, bem como realça os trechos do mapa que geram avariável de saída realçada.