• O Código de Gray (ou Código Espelhado)
É um instrumento gráfico que permite verificarmos o status de uma fórmula, consistência de conjuntos, validade de argumentos entre outros.
Cada coluna da tabela é referente a um parâmetros.
Cada linha da tabela corresponde a um sequência de valorações dos respectivos parâmetros.
Na tabela são expressas todas as combinações possíveis de atribuições das variáveis.
O código de Gray (ou código espelhado), baseado em uma permutação do código binário tradicional, proporciona um representação de objetos ordenados de forma que, passando de um objeto ao seguinte, apenas um bit de informação é alterado. Portanto, possui aplicação muito voltada à informática.
Assim como a tabela verdade, cada coluna pode representar um parâmetro, cada linha uma sequência de valorações dos respectivos parâmetros e no código também são expressas todas as combinações possíveis de atrbuições das variáveis.
O Mapa de Karnaugh é uma ferramenta de auxílio à minimização de funções booleanas. O próprio nome mapa vem do fato dele ser um mapeamento biunívoco a partir de uma tabela-verdade. Tal como a tabela-verdade, é um meio de se mostrar a relação entre as entradas e as saídas de uma função booleana.
O programa Mapa de Karnaugh possui a seguinte notação:
0 : representa falso;
1 : representa verdadeiro;
¬ : representa a negação;
^ : representa E;
v : representa OU.
Este programa trabalha com até 9 parâmetros, se limitando a este valor por ocorrer, dependendo da máquina, lentidão no processamento do mapa. Na prática, a utilização do mapa se limita a circuitos com, no máximo, seis variáveis. A quantidade de variáveis é definida nas setas do campo correspondente.
No campo valorações é possível fazer uma entrada de dados que irá corresponder às interpretações da hipótese. O mesmo pode ser feito, se você preferir, diretamente na tabela que representa o mapa de Karnaugh. Ao se clicar em cada célula seu valor alterna entre '0' e '1'. Os valores da entrada e da tabela são reciprocamente atribuídos assim que houver alguma alteração em algum deles.
Automaticamente é gerada a fórmula correspondente à entrada / mapa.
O programa também fornece a Tabela Verdade e o Código de Gray referente à quantidade de variáveis, bastando, para tanto, clicar o botão correspondente.
O programa foi desenvolvido no ambiente Delphi 5.0 e possui três unidades:
UKarnaugh.pas
UCodigoGray.pas
UTabelaVerdade.pas
Este trabalho foi realizado para a disciplina Lógica 1 - cód. 137481 - turma C da Universidade de Brasília em 2 de Janeiro de 2005 pelos alunos / matrícula:
Daniel Castro Machado / 04-80088
George K. B. Lopes / 04-83508
Laercio A. da Silva / 05-03126