Tamanho da fonte: 

Expressões da lógica proposicional são amplamente utilizadas em áreas como circuitos
digitais. Torna-se vantajoso reduzir expressões sem alterar o seu valor semântico, uma vez
que 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 e
mapas de Karnaugh. Esse trabalho buscou a implementação do método de minimização dos
mapas 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 que
mostra o mapa de Karnaugh resultante, bem como realça os trechos do mapa que geram a
variável de saída realçada.

Mapa de Karnaugh;Minimização;Lógica proposicional