Gerador de tabelas-verdade

Gerador de tabelas-verdade | Ferramenta online grátis | Elysia Tools

Guia de uso da ferramenta

Veja quando usar esta ferramenta, o que ela suporta e como os usuários a aplicam.

Fatos principais

Categoria: Math & Numbers
Tipos de entrada: text
Tipo de saída: text
Cobertura de exemplos: 4
API pronta: Sim

Visão geral

O Gerador de Tabelas-Verdade calcula a tabela-verdade completa para qualquer expressão booleana de até 6 variáveis (A–F, até 64 linhas). A ferramenta interpreta operadores lógicos comuns como OU (+), XOR (^), E (·, *, & ou justaposição) e NÃO (!, ~, '), exibindo os valores resultantes linha por linha e identificando automaticamente as formas canônicas de mintermos (Σm) e maxtermos (ΠM).

Quando usar

Ao projetar ou simplificar circuitos de lógica digital e verificar o comportamento lógico de saídas.
Durante estudos de álgebra booleana e matemática discreta para conferir resolução manual de tabelas e equivalências.
Para obter rapidamente as representações canônicas de mintermos (Σm) e maxtermos (ΠM) para mapas de Karnaugh.

Como funciona

1Insira a expressão booleana usando variáveis de A a F e operadores como +, ^, *, &, ! ou apóstrofo (') para negação.
2O analisador identifica as variáveis distintas em ordem alfabética e gera todas as combinações binárias possíveis (até 64 linhas).
3Cada linha é avaliada para determinar o valor da função F, calculando em seguida os conjuntos canônicos Σm (mintermos) e ΠM (maxtermos).

Casos de uso

Análise de multiplexadores e circuitos lógicos combinacionais em engenharia de computação.
Validação de funções de paridade e detecção de erros em transmissões de dados.
Resolução de exercícios acadêmicos de lógica proposicional e conversão para formas normais disjuntivas e conjuntivas.

Exemplos

1. Tabela-verdade de multiplexador 2 para 1

Estudante de Engenharia

Contexto

Precisa validar a tabela de estados e a forma canônica da equação clássica de seleção de sinal de um multiplexador.

Problema

Verificar as combinações ativas da função booleana AB + A'C e obter seus mintermos.

Como usar

Digite a expressão `AB + A'C` no campo de entrada e execute a geração.

expression: "AB + A'C"

Resultado

Gera a tabela de 8 linhas para as variáveis A, B e C, indicando a forma canônica Σm(1, 3, 6, 7) e maxtermos ΠM(0, 2, 4, 5).

2. Verificação de função de paridade ímpar

Desenvolvedor de Hardware

Contexto

Está implementando um gerador de bit de paridade de 3 entradas usando portas XOR em cascata.

Problema

Confirmar se a saída é 1 apenas quando uma quantidade ímpar de entradas for verdadeira.

Como usar

Insira a expressão `A ^ B ^ C` no gerador de tabela-verdade.

Perguntas frequentes

Quantas variáveis posso incluir na expressão booleana?

Você pode utilizar até 6 variáveis distintas (letras de A a F), gerando uma tabela com até 64 combinações binárias.

Quais operadores lógicos são suportados?

Suporta + para OU, ^ para XOR, ·, *, & ou justaposição direta (ex: AB) para E, e !, ~ ou ' para negação NÃO, além de parênteses.

Como a negação por apóstrofo (') funciona?

O apóstrofo colocado após uma variável ou subexpressão entre parênteses inverte seu valor lógico (ex: A' ou (A+B)').

O que representam as saídas Σm e ΠM?

Σm lista os índices das linhas onde a função resulta em 1 (mintermos), enquanto ΠM lista as linhas onde a função resulta em 0 (maxtermos).

Preciso digitar o operador E explicitamente?

Não, você pode escrever variáveis juntas por justaposição, como AB para representar A E B.

expression: "A ^ B ^ C"

Executar esta ferramenta

Exemplos compatíveis com esta ferramenta

Continue com ferramentas e temas relacionados

Veja quando usar esta ferramenta, o que ela suporta e como os usuários a aplicam.

Fatos principais

Visão geral

Quando usar

Como funciona

Casos de uso

Exemplos

1. Tabela-verdade de multiplexador 2 para 1

2. Verificação de função de paridade ímpar

Perguntas frequentes

Exemplos de Processamento de Imagem Web Python

Exemplos de Processamento de Imagem Android Java

Exemplos de Processamento de Imagem Android Kotlin

Exemplos de Processamento de Imagem Web Rust

Removedor de Cabeçalhos

Gerador de TOC Markdown

Gerador de Slug (com chinês para Pinyin)

Gerador em lote de codigos