Sobre esta calculadora
Como gerar rapidamente uma tabela verdade para uma expressão lógica? Uma tabela verdade é uma ferramenta básica em lógica digital e álgebra booleana que lista os valores de saída de uma expressão lógica para todas as combinações de entrada possíveis. Para uma expressão com n variáveis, a tabela verdade possui 2ⁿ linhas, cada linha correspondendo a uma combinação de entrada.
As tabelas verdade são indispensáveis no projeto de circuitos digitais. Ao projetar um circuito lógico combinacional, primeiro liste a tabela verdade de acordo com os requisitos funcionais, depois derive a expressão lógica e, finalmente, implemente o circuito. As tabelas verdade também são usadas para verificar a equivalência de expressões lógicas, simplificar circuitos lógicos e analisar funções de circuitos.
Na ciência da computação, as tabelas verdade são usadas para entender o comportamento dos operadores lógicos (AND, OR, NOT, XOR, etc.). Na inteligência artificial, as tabelas verdade são usadas para representação e raciocínio do conhecimento. Na lógica matemática, as tabelas verdade são usadas para determinar a verdade eterna, falsidade ou satisfatibilidade de fórmulas proposicionais.
Nosso gerador de tabela verdade pode gerar automaticamente uma tabela verdade para qualquer expressão lógica. Suporta operadores lógicos comuns, incluindo AND (AND), OR (OR), NOT (NOT), XOR (XOR), implicação (→), equivalência (↔), etc. Você também pode exibir os valores verdadeiros de etapas intermediárias para ajudá-lo a entender o processo de cálculo de expressões complexas.
O que calcula
The truth table calculator lists the true or false result of a logical expression for every combination of variable values.
Fórmula
- AND is true only when both propositions are true.
- OR is true when at least one proposition is true.
- NOT reverses the truth value.
- IMPLIES is false only when true implies false.
Entradas
- Logical variables such as A, B, and C.
- Logical operators such as AND, OR, and NOT.
- The full logical expression.
Exemplo
| A | B | A AND B |
|---|---|---|
| true | true | true |
| true | false | false |
| false | true | false |
| false | false | false |
Como interpretar o resultado
Each row represents one variable combination. If the expression is true in every row, it is a tautology; if false in every row, it is a contradiction.
Erros comuns
- Watch the scope of NOT.
- Parentheses change operation order.
- A OR B and A AND B have different truth conditions.
Como usar
Usar o gerador de tabela verdade é muito simples. Basta inserir uma expressão lógica.
**Etapas básicas:** 1. Insira uma expressão lógica (usando variáveis A, B, C, etc.) 2. Selecione operadores lógicos (AND, OR, NOT, XOR, etc.) 3. Clique no botão "Gerar" 4. Veja a tabela verdade completa
**operador significa:** • AND (AND): ∧ ou & ou * • OR (ou): ∨ ou | ou + • NOT (não): ¬ ou ~ ou ! • XOR (XOR): ⊕ ou ^
**Exemplo 1:** Gere uma tabela verdade para A AND B. O resultado mostra que a saída será verdadeira somente se A e B forem verdadeiros.
**Exemplo 2:** Gere uma tabela verdade para (A OR B) AND (NOT C). Existem 3 variáveis e 8 linhas no total.
**Exemplo 3:** Verifique a lei de DeMorgan: NOT(A AND B) = (NOT A) OR (NOT B). Gere tabelas verdade para as duas expressões, compare a última coluna e descubra que são exatamente iguais, provando a equivalência.
Principais recursos
• Vários operadores: AND, OR, NOT, XOR, NAND, NOR, implicação, equivalente • Suporte multivariável: suporta 2 a 10 variáveis • Etapas intermediárias: mostra etapas intermediárias de cálculo de expressões complexas • Análise de expressão: analisa automaticamente expressões lógicas • Verificação de equivalência: compare duas expressões para igualdade • Sempre verdadeiro e sempre falso: determine se a expressão é sempre verdadeira ou sempre falsa. • Forma normal disjuntiva principal: gera a forma normal disjuntiva principal da expressão • Forma Normal Conjuntiva Principal: A forma normal conjuntiva principal da expressão gerada • Função de exportação: exporta tabela verdade como imagem ou texto • Totalmente gratuito: não é necessário registro, use a qualquer momento
Casos de uso
• Aprendizagem de lógica digital: os alunos aprendem operações lógicas e tabelas verdade • Projeto de circuito: Projete circuitos lógicos combinacionais baseados em tabelas verdade • Simplificação Lógica: Simplifique expressões lógicas por meio de tabelas verdade • Verificação de equivalência: verifique se duas expressões lógicas são equivalentes • Aprendizagem de programação: compreensão de operadores lógicos em linguagens de programação • Lógica matemática: determine as propriedades das fórmulas proposicionais • Preparação para exames: gere rapidamente respostas de verificação de tabela verdade • Auxílio didático: o professor explica o conceito de operações lógicas • Análise de Circuitos: Analisando a funcionalidade lógica de circuitos existentes • Projeto de Algoritmo: Projete algoritmos baseados em lógica