Este artigo contém uma lista dos melhores softwares gratuitos de cálculo de tabelas de verdade para Windows. Esses solucionadores de tabelas de verdade podem ser usados para buscar tabelas de verdade correspondentes a portas lógicas, expressões booleanas, declarações lógicas e/ou fórmulas proposicionais.
O software gerador de tabela de verdade de portas lógicas nesta lista exige que você projete um circuito lógico primeiro. Para isso, você obtém componentes essenciais que incluem entrada e saída (botão, joystick, teclado, LED, etc.), conector e portas NAND, NOR, OR, AND, NOT, XOR, etc. Alguns softwares precisam que você insira a expressão booleana desejada (C=AB(A + B);), lógica proposicional ((A∧B)∧¬C), etc. expressões lógicas para obter a respectiva tabela verdade. No geral, esses geradores de tabelas de verdade são bons para resolver problemas de tabelas de verdade e, assim, ajudar os alunos.
Alguns deles são principalmente simuladores de portas lógicas. Assim, você também pode analisar e simular circuitos lógicos usando esses softwares.
Minha calculadora de tabela-verdade favorita:
Logic Friday é um dos meus geradores de tabelas de verdade favoritos para Windows. Ele permite que você calcule a tabela de verdade para expressões booleanas e portas lógicas projetadas. Logisim é outro solucionador de tabelas de verdade desejável, pois fornece um recurso interessante chamado Build Circuit. Este recurso desenha automaticamente um diagrama de portas usando a tabela verdade fornecida.
Sexta-feira lógica
Logic Friday é um software gratuito de simulador de portas lógicas que também pode ser usado como um gerador de tabelas de verdade de portas lógicas. Vamos ver como.
Gerar tabela de verdade a partir de portas lógicas:
Para gerar uma tabela verdade correspondente a uma porta lógica, siga estas etapas:
- Primeiro, você precisa projetar um circuito lógico usando portas lógicas usando a opção Arquivo > Novo > Diagrama de porta.
- Para projetar portas lógicas, permite inserir entrada, saída, conector, NAND, NOR, OR e AND (até 4 entradas), inversores, XOR de 2 entradas e um multiplexador de 2 entradas. Basta arrastar e soltar os componentes na janela de edição e desenhar o diagrama do portão desejado.
- Ao terminar de projetar portas lógicas, você precisa clicar no botão Enviar. Ao fazer isso, ele exibe a tabela verdade da porta lógica projetada. Ele também mostra a função de saída correspondente.
Você também pode converter expressão booleana em tabela de verdade usando o Logic Friday. Como? Vamos finalizar a compra.
Gerar tabela de verdade a partir da expressão booleana:
- Vá para Arquivo > Novo > Equação lógica e insira uma expressão booleana válida. Lembre-se, você precisa escrever a saída primeiro e depois a equação lógica correspondente com as entradas. E, a equação deve terminar com um ponto e vírgula. Por exemplo,
LOF=AB(A + B);(onde LOF é a saída e A e B são entradas). - Depois de escrever a expressão lógica, pressione Enter ou clique na opção Enviar, o resa tabela verdade pectiva aparecerá em sua interface.
Outras características principais desta calculadora de tabela de verdade:
- Você pode escolher se deseja mostrar todas as linhas ou apenas as verdadeiras e não se importar com as da tabela-verdade.
- Permite que você modifique a tabela verdade adicionando saídas e obtenha a equação lógica correspondente.
- Neste gerador de tabela-verdade, você tem a flexibilidade de exportar a tabela-verdade no formato CSV. Além disso, você pode importar tabelas de verdade nos formatos TXT e CSV.
- Você pode salvar o diagrama do portão como arquivo EMF ou BMP ou imprimi-lo também.
- Também exibe soma de produtos, fatorado, produto de somas, etc. equações.
Na minha opinião, o Logic Friday é o melhor software gerador de tabelas de verdade para Windows. É extremamente fácil de usar e é ótimo para projetar e simular portas lógicas.
Página inicial Página de download
Logisim
Logisim é um software gratuito e portátil de cálculo de tabelas de verdade para Windows.
Para usar o Logisim como gerador de tabela verdade de portas lógicas, siga duas etapas simples:
- Projetar portas lógicas: Para gerar tabelas de verdade de portas lógicas, você precisa primeiro projetar uma porta lógica. Para isso, fornece todos os componentes necessários no painel esquerdo da interface. A partir daí, você pode adicionar entrada (botão, joystick, teclado, etc.), saída (LED, hexexibição de dígitos, etc.), fiação (divisor, sonda, pino, túnel, etc.) e componentes de portas (AND, OR, XOR, XNOR, NOR, etc.) para projetar um circuito lógico.
- Gerar Tabela Verdade: Para obter a tabela verdade correspondente, clique em menu Projeto > opção Analisar Circuito. Uma nova janela Análise Combinacional aparecerá, onde você encontrará diferentes guias. Uma dessas guias é Tabela onde você pode visualizar a tabela verdade do circuito projetado com suas entradas e saídas. Outras guias mostram entradas, saídas, expressões booleanas e expressões booleanas minimizadas (formulário SOP ou POS).
Então, é assim que você pode simplesmente gerar uma tabela verdade de uma porta lógica projetada. Agora, há outra maneira de gerar tabela de verdade a partir da expressão booleana usando este freeware. Vamos verificar as etapas para o mesmo:
- Abra o novo projeto e clique na opção Analisar Circuito no menu Projeto. Nomesma janela “Análise Combinacional”, você precisa adicionar o número desejado de entradas e saídas em suas respectivas guias.
- Depois disso, você precisa inserir uma expressão booleana escolhendo uma função de saída e adicionando uma equação lógica com as entradas declaradas anteriormente. Ao fazer isso, você poderá ver a tabela verdade para a expressão booleana inserida na guia Tabela.
- Há também uma opção “Construir circuito” que gera automaticamente um diagrama de portas para a tabela verdade gerada.
Da mesma forma, você pode até editar a tabela-verdade configurando valores diferentes (0, 1 ou não importa) para cada saída e obter as expressões booleanas correspondentes.
O Logisim é um dos meus solucionadores de tabelas de verdade favoritos, pois possui muitos recursos desejáveis. Além disso, como é um software portátil, você pode usá-lo em qualquer lugar.
Página inicial Página de download
Calculadora lógica
Calculadora Lógica é um gerador de tabela de verdade portátil gratuito para fórmulas lógicas, ou seja, fórmula proposicional. A interface principal deste freeware contém todas as ferramentas e opções principais. Portanto, você não precisa fazer malabarismos entre muitos menus para obter a saída desejada. Ele fornece vários modos para obter a respectiva tabela de verdade.
- Avaliador de Fórmula Lógica: Enhabilite este modo e, em seguida, insira a expressão proposicional com variáveis e operadores na caixa de texto fornecida. As variáveis e operadores são fornecidos na interface principal. Como operadores, você pode adicionar conjunção (AND), disjunção (OR), negação (NOT), paridade esquerda e paridade direita (p arenteses), implicações e igualdade. Para encontrar tabelas de verdade para portas lógicas, basta usar a expressão com os respectivos operadores. Por exemplo, se você deseja que a tabela de verdade para a porta NAND tenha 2 entradas, você precisa inserir a seguinte fórmula lógica:
(A∧B)¬ Da mesma forma, você pode adicionar outras lógicas proposicionais usando as ferramentas de entrada fornecidas. Depois disso, você precisa clicar na opção destacada em vermelho na captura de tela acima. Ao clicar nele, você verá diferentes opções, incluindo processar, processar uma interpretação, classificar o valor da tabela-verdade, etc. Clique na opção processar para obter a tabela-verdade completaf fórmula lógica inserida. A tabela verdade é exibida na guia de saída abaixo de sua interface. Também há uma guia de depuração para exibir hora de inicialização, hora de término, etc. - Implicação Lógica: Este é o modo de dedução lógica onde você obtém todos os operadores, incluindo conjunção, disjunção, negação, paridade esquerda e paridade direita (parênteses), implicações, igualdade, dedução e separador de fórmula. Basta adicionar a fórmula e obter a respectiva tabela verdade na guia de saída.
Também fornece um Conversor FNC/FND que é um conversor de formato normal. Ele exibe a saída, incluindo fórmula bem formada, forma normal disjuntiva e forma normal conjuntiva.
Fornece alguns exemplos de fórmulas lógicas com 2, 5, 20, etc. variáveis. Você pode usar esses exemplos e modificá-los de acordo.
O Logic Calculator é outro bom software de resolução de tabelas de verdade. Istopermite até 34 variáveis de acordo com suas diretrizes.
Página inicial Página de download
Circuito Lógico
Circuito Lógico é um software de cálculo de tabela de verdade muito simples. Para encontrar a tabela verdade para uma porta lógica, tudo o que você precisa fazer é projetar um circuito usando portas lógicas e clicar na opção Tabela Verdade de Circuito menu.
Para projetar um circuito, você obtém todas as ferramentas essenciais, incluindo entrada e saída (pino, botão, constante, sensor, relógio, LED, matriz de LED, divisor, matriz gráfica, campainha, sonda, etc. .), portas lógicas e componentes de memória. Você pode usar notas de texto para criar um diagrama de portão elaborado. Um máximo de 18 entradas podem ser adicionadas a uma porta lógica específica. Após criar o diagrama de portas, basta clicar em menu Circuito > opção Tabela Verdade. Você verá a tabela verdade completa da porta lógica projetada. Ele permite que você aplique filtros para exibir um determinado conjunto de resultados, por exemplo, linhas com saída 1, etc.
É basicamente um simulador de portas lógicas. Assim, você pode projetar e analisar um circuito lógico usando-o.
Página inicial Página de download
Logicheck
Logicheck é um software simples para gerar tabelas de verdade usando expressões lógicas. Você pode fazer isso em algumas etapas simples:
- No espaço fornecido, digite a expressão lógica usando operadores, incluindo conjunção (AND), disjunção (OR), negação (NOT), disjunção exclusiva (XOR), bicondicional e condicional.
- Após isso, clique no botão Adicionar para adicionar a expressão lógica à interface.
- Agora, basta clicar no botão mostrar tabela verdade para ver a respectiva tabela verdade.
Ao digitar a expressão lógica, se houver algum erro de sintaxe, ele exibe o erro na parte inferior da interface para que você possa corrigi-lo. Além disso, as sintaxes to adicionar expressões são fornecidas em seu menu de ajuda. Portanto, você não encontrará nenhuma dificuldade ao usar este software.
Ele fornece um comando concluir para argumentos com premissas e conclusões.
Observação: Embora o software funcione bem no que faz, ele travou em algumas instâncias, como quando você adiciona várias expressões à sua interface, etc.
Página inicial Página de download
Cálculo Lógico
LogicCalculus é um software básico de resolução de tabelas de verdade para Windows. Você precisa adicionar termos e logic expressão para eles e obter a respectiva tabela de verdade. Para adicionar expressões lógicas, você obtém os operadores necessários, incluindo and, or, implication, e not. Se houver um erro na expressão adicionada, ele será mostrado em uma seção abaixo. Um exemplo de expressão lógica é: (A∧B)∧¬C
Conforme você insere a expressão lógica, a tabela verdade é exibida em tempo real. A tabela verdade pode ser salva em seu próprio formato (.lcs).
É o software mais simples para converter expressão booleana em tabela verdade.
Página inicial Página de download
Solucionador Simples
Simple Solver é mais uma calculadora gratuita de tabela de verdade que converte expressões booleanas em tabelas de verdade. Você só precisa inserir a equação lógica na janela de entrada e clicar no botão Ir. A respectiva tabela de verdade aparecerá na janela de saída.
Se você está tendo problemas para entender o formato da equação booleana usada neste software, você pode usar alguns exemplos integrados no menu Exemplos. Ao importar um arquivo de exemplo de expressão booleana, você poderá modificá-lo manualmente. Um depurador também é fornecido neste software que verifica as equações inseridas e retorna erros (se houver) na janela de saída.
No geral, é um software gerador de tabelas de verdade decente.
Página inicial Página de download
Diagramas de Venn
Diagramas de Venn, como o nome sugere, é um software gratuito de visualização de diagramas de Venn. Juntamente com o diagrama de Venn, também exibe a tabela verdade correspondente às declarações lógicas. Para adicionar declarações lógicas, ele fornece apenas quatro variáveis como entrada e alguns símbolos como universo, conjunto vazio, parênteses, elogio, interseção, união, etc. Depois de adicionar uma declaração lógica, você precisa clicar no botão Renderizar para ver a respectiva tabela de verdade e o diagrama de Venn. Simples assim.
/p>