No Mapa de Karnaugh está embutida a maior funcionalidade da ferramenta. Para alterar os valores dos mintermos da função basta clicar sobre as células do Mapa. Tal como ocorre com a Tabela Verdade, a alteração desses valores é cíclica. Após a montagem da função, é possível
realizar a minimização lógica indo ao menu "Actions",
item "Find Final Cover" ou clicando no ícone
A obtenção dos implicantes primos que cobrem a função especificada é feita através do algoritmo de otimização lógica Quine-McCluskey [Katz 1995], computacionalmente mais eficiente que a manipulação pelo Mapa de Karnaugh. Adicionalmente, uma caixa de texto contendo o comportamento do algoritmo durante o processo de otimização é apresentada ao usuário. A equação resultante da minimização é exibida abaixo do Mapa. Para visualizar os implicantes primos (cubos da solução), basta clicar nos botões, cujos rótulos são os próprios implicantes, localizados à direita do Mapa de Karnaugh. Outra propriedade da ferramenta é a possibilidade de alteração
da ordem em que as variáveis estão dispostas no Mapa de
Karnaugh. Para tanto, basta clicar sobre uma das caixas de rolagem localizadas
no canto superior esquerdo e selecionar a variável desejada para
uma determinada posição. Os índices dos mintermos
exibidos em cada célula do Mapa são atualizados automaticamente.
|