Preencha o campo Name com um nome adequado. Preencha os campos # of input lines (número de variáveis de entrada) e # of output lines (número de variáveis de saída). Preencha na tabela Name of input lines, caso as variáveis de entrada tenham nomes atribuídos diferentemente de A,B,C… Preencha na tabela Name of output lines, os nomes das variáveis de saída.
No exemplo que segue iremos apresentar uma expressão de 3 variáveis A,B e C de
nome EO-V.
1 Existem seis possibilidades de introduzir a expressão a simplificar:
• por tabela (manual Truth Table).
• por tabela (manual Compact Truth Table). • por expressão booleana (Boolean Expression). • por mapa de Karnaugh (V-K Diagram). • por soma canónica (Canonical Sum). • por produto canónico (Canonical Product).
Note-se que a expressão fica definida por um dos métodos e premido o botão Evaluate.
Seleccione o botão .
Pode preencher a tabela colocando o cursor do rato na posição requerida e
seleccionando um dos botões X (indiferente), 0 ou 1. Pode ainda usar outra técnica: premindo sucessivamente em cada posição verá que o valor muda ciclicamente entre esses três valores lógicos. Vamos exemplificar para a expressão dada pela tabela seguinte:
2 Seleccione o botão Evaluate, para que o software guarde a tabela e faça os cálculos. Deverá ver a caixa de diálogo seguinte, que deve fechar, premindo o botão OK.
Prima o botão
Poderia ter seleccionado o botão , isto é, inserindo apenas os
termos correspondentes ao 1.
Poderia ter optado por preencher o mapa de Karnaugh, em vez da tabela.
Para isso deve seleccionar o botão , preencher o mapa e sair,
seleccionando o botão Save.
Neste caso o mapa aparece já preenchido, pois a expressão já estava definida pela tabela.
Poderia ainda seleccionar o botão e introduzir uma expressão
booleana não simplificada, usando os símbolos * (AND), + (OR) e ~ (NÃO). Pode usar parêntesis.
Exemplo: ~A*~B*~C + ~A*~B*C +…
3 A expressão pode ainda ser introduzida pela soma canónica dos termos mínimos (Canonical Sum):
F: 0,1,2,3,4,5,6
ou pelo produto canónico dos termos máximos (Canonical Product):
F: 6,7
4 B) Simplificação da expressão booleana
Seleccionando o botão Minimized SOP Expression (Expressão Minimizada da Soma
de Produtos), obtemos o seguinte:
A janela possui quatro botões:
• Veitch-Karnaugh – mostra o mapa de Karnaugh com os laços assinalados • Nand/Nor – apresenta a expressão simplificada como NANDs ou NORs. • View Circuit – mostra o circuito em portas NAND, OR e NOT.
É possível identificar no mapa K cada laço e a respectiva expressão. Para isso
seleccione no campo Loops o termo mínimo desejado.
5 Seleccionando o botão View Circuit, obtemos
6 C) Modos de Aprendizagem
A aplicação possui ainda dois modos de aprendizagem da simplificação de expressões
pelo método dos mapas de Karnaugh.
Escolha a opção SOP (soma de produtos).
7 Seleccionando o botão Show loops, pode visualizar os laços. Deve escrever a expressão simplificada no campo Boolean expression e premir o botão Evaluate para verificação.
A janela de diálogo Erro indica que a expressão não é a expressão simplificada.
Pelo contrário, a caixa de diálogo seguinte indica que se escreveu uma expressão equivalente.
Este modo de aprendizagem é o mais interessante pois possibilita o agrupamento de 1s
em laços e a verificação. Comece por seleccionar os termos mínimos que deseja incluir num laço – premindo os 1s estes passam a encarnado. Prime-se finalmente o botão Create Loop.
8 A não inclusão de todos os 1s mostra uma mensagem de erro. De igual modo a inclusão de mais laços do que os necessários, como na figura.
9 A mensagem de erro seguinte indica que os laços cobrem todos os termos mínimos com correcção mas, não constituem a solução mais simples.
Uma chamada de atenção ainda para dois botões essenciais:
Nalgumas janelas existe um botão Copy to clipboard que possibilita a cópia dos resultados para a memória e o uso posterior em software de edição. O botão Print to Clipboard faz uma cópia integral do projecto, incluindo tabelas, expressões e circuitos, com idêntico objectivo. O botão Print imprime o projecto integral. Em ambos os casos o resultado não tem qualidade gráfica.
