Introdução

O processo de aprendizado de técnicas digitais compreende o domínio da estrutura lógica e física de circuitos combinacionais. Para a estrutura lógica, geralmente descrita por uma função Booleana, é sempre importante obtermos a forma mais simplificada que descreve um determinado circuito digital.

Os Mapas de Karnaugh [Katz 1995] são estruturas úteis para minimização de funções Booleanas. Apesar de não serem a forma mais indicada, computacionalmente, para minimização de funções lógicas, essas estruturas são muito importantes para a compreensão de como termos adjacentes de mesmo valor, quando agrupados, podem reduzir sensivelmente o número de termos-produto que compreendem a solução final otimizada.

O KarMa é uma ferramenta muito útil no aprendizado do uso de Mapas de Karnaugh. Ele proporciona a visualização de uma função lógica, simultaneamente, por Tabela Verdade, bem como pelo próprio Mapa de Karnaugh. Dentre suas funcionalidades, o KarMa realiza a otimização lógica de uma dada função com a utilização do algoritmo Quine-McCluskey cuja execução é apresentada passo a passo ao usuário. A atual versão desta ferramenta permite a manipulação de funções de 2 a 8 entradas.

índice