Biblioteca. Para instalá-lo, siga o nosso tutorial de instalação.
Ao estudarmos a resposta de um circuito digital devido às variações de nível lógico nas entradas, devemos montar a tabela verdade, também chamada de tabela da verdade, que mostra o nível lógico na saída do circuito, para todos os estados que os bits de entrada possam assumir.
Também montamos a tabela verdade quando pretendemos comparar se uma expressão lógica simplificada, através da Álgebra de Boole, usando as leis de De Morgan ou Mapas de Karnaugh, gera a mesma resposta da expressão original.
Instruções:O programa permite que o usuário insira a expressão booleana, mostrando o menu com as variáveis e os operadores lógicos disponíveis:

O programa aceita expressões de 1, 2, 3 ou 4 variáveis. Se a expressão tiver apenas uma função lógica, por exemplo, uma porta NOT, use a variável A. Deve-se montar a expressão usando Notação Polonesa Inversa, ou Reverse Polish Notation, como o exemplo a seguir:


Agora vamos resolver um exemplo mais complexo, com quatro variáveis, retirado do livro Elementos de Eletrônica Digital dos autores Ivan Idoeta e Gabriel Capuano, página 59.
Utilizando a expressão
teremos 16 possibilidades de combinação de entrada. Clique em
para acessar as funções lógicas, AND, OR, XOR e NOT. As funções AND e NOT são as mais utilizadas e foram colocadas, também, ao lado das variáveis na primeira tela:


A expressão em RPL fica: A B NOT C AND AND A D NOT AND OR A NOT B AND D AND OR. As respostas são apresentadas da seguinte maneira:




Lembre-se que devemos utilizar as variáveis em seqüência:
Uma variável: A, duas variáveis: A e B, três variáveis: A, B e C e quatro variáveis: A, B, C e D.