Gerador de tabelas de verdade

  1. Entrada
  2. Opções
  3. Resultado

Gerador de tabelas de verdade

Crie e explore tabelas verdade com botões de operador, exemplos, classificação de fórmulas, canônicos DNF e CNF, mintermos e exportações.

Construa uma tabela verdade

Insira uma expressão booleana ou monte-a com os botões do operador.

A comparação opcional utiliza a união de variáveis (até 8) e destaca contraexemplos. Altere as entradas e construa a tabela para atualizar o resultado. Cada expressão é limitada a 2.000 caracteres.

Operadores de expressão lógica

Você também pode digitar NOT, AND, OR, XOR, NAND, NOR, IMPLIES e IFF.

Exemplos rápidos

A expressão é avaliada localmente no seu navegador.

Expressão analisada
(A ∧ B) → C
Fórmula lógica contingente
Variáveis
A, B, C
Combinações
8
Linhas com resultado 1
7
Linhas com resultado 0
1

Tabela verdade booleana

PDF / Imprimir: Todos (8)

#
A
B
C
Resultado
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1

Formas booleanas canônicas

Canônico DNF é criado a partir de linhas da tabela com resultado 1; canônico CNF é criado a partir de linhas da tabela com resultado 0.

Forma normal disjuntiva canônica (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Forma normal conjuntiva canônica (CNF)
(¬A ∨ ¬B ∨ C)
Mintermos booleanos
Σm(0, 1, 2, 3, 4, 5, 7)
Maxtermos booleanos
ΠM(6)

Gere tabelas verdade online

Insira ou monte uma expressão booleana e inspecione cada combinação de até oito variáveis com o valor resultante.

Classifique uma fórmula como tautologia, contradição ou contingência, filtre linhas e exporte a tabela junto com canônicos DNF, CNF, mintermos e maxtermos.

Início rápido

Construa uma tabela verdade ou compare duas expressões para equivalência.

  1. Insira uma expressão e uma comparação opcional
  2. Construa a tabela para atualizar o resultado
  3. Inspecione contra-exemplos e exporte a tabela completa
✓ A ferramenta funciona diretamente no navegador e é útil para verificações rápidas sem instalar software.
✓ A entrada pode ser limpa e recalculada de imediato, o que ajuda em pequenas tarefas repetidas.
✓ Use o modo de ecrã completo quando precisar de mais espaço para textos longos, dados estruturados ou resultados grandes.
✓ Os botões de cópia ajudam a reutilizar o resultado em código, documentos ou conversas de suporte.
✓ A maioria das operações é determinística: os mesmos dados e opções produzem o mesmo resultado.
✓ Para conteúdo sensível, prefira ferramentas locais no navegador e reveja o resultado antes de o partilhar.

Outras ferramentas

Avaliador matemático
Avaliador matemático
Calculadora combinatória
Calculadora combinatória
Calculadora aritmética modular
Calculadora aritmética modular
Converter DOC em PDF on-line
Converter DOC em PDF on-line
Converter DOCX em PDF on-line
Converter DOCX em PDF on-line
Converter ODT em PDF on-line
Converter ODT em PDF on-line

Avaliações de usuários

As resenhas são verificadas antes da publicação. Publicamos feedback positivo genuíno e críticas específicas. Spam e insultos sem detalhes úteis não são publicados; palavrões e detalhes pessoais são mascarados. Os votos positivos são contados imediatamente; os votos negativos são contados após revisão.

As avaliações refletem as experiências dos usuários, não uma garantia de resultados ou uma descrição dos limites do serviço. Use os botões de avaliação acima para deixar um comentário.

Ainda não há comentários publicados neste idioma.