# Gerador de tabelas-verdade Gera a tabela-verdade completa de uma expressão booleana (até 6 variáveis, 64 linhas): suporta + OU, ^ XOR, ·/*/& ou justaposição E, !/~/' NÃO e parênteses; as variáveis são listadas alfabeticamente, cada linha mostra a atribuição e o valor F, e são dadas as formas canônicas Σm (minterms) e ΠM (maxterms). Clássicos: AB + A'C tem Σm(1,3,6,7); A ^ B ^ C é a função de paridade ímpar Σm(1,2,4,7). > Página canônica: https://elysiatools.com/pt/tools/truth-table-generator - **Categoria:** Math & Numbers - **Palavras-chave:** tabela-verdade, expressão booleana, portas lógicas, minterms, maxtermos, forma canônica, lógica digital, circuitos lógicos, matemática discreta, paridade ## 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). ## Entradas - **Expressão booleana (A–F, até 6 variáveis)** (text): Classic switching-algebra notation: + OR, ^ XOR, · or juxtaposition AND, ' or ! NOT, parentheses. At most 6 distinct variables. ## 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 - Insira a expressão booleana usando variáveis de A a F e operadores como +, ^, *, &, ! ou apóstrofo (') para negação. - O analisador identifica as variáveis distintas em ordem alfabética e gera todas as combinações binárias possíveis (até 64 linhas). - Cada 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. ## 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. ## Ferramentas relacionadas - [Removedor de Cabeçalhos](https://elysiatools.com/pt/tools/header-remover): Remover cabeçalhos de dados CSV para criar arquivos limpos sem cabeçalhos. Perfeito para importações de banco de dados, pipelines de processamento de dados. - [Gerador de TOC Markdown](https://elysiatools.com/pt/tools/markdown-toc-generator): Gera um sumário a partir dos cabeçalhos Markdown com links de âncora estilo GitHub - [Gerador de Slug (com chinês para Pinyin)](https://elysiatools.com/pt/tools/slug-generator): Gera slugs limpos para URL a partir de qualquer texto, com conversão integrada de chinês para Pinyin. Funde separadores, passa para minúsculas e trunca por palavras com comprimento máx. opcional. - [Gerador em lote de codigos](https://elysiatools.com/pt/tools/barcode-batch-generator): Gera em lote Code 128, EAN-13, UPC-A, ITF-14, QR Code e Data Matrix a partir de CSV ou texto multilinha com saida PNG ZIP ou PDF - [Simplificador de álgebra booleana (mapa de Karnaugh)](https://elysiatools.com/pt/tools/boolean-algebra-simplifier): Simplifica funções booleanas para a SOP mínima: introduza uma expressão (A–D, + OU, · E, ' NÃO, ≤ 4 variáveis) ou a lista de minterms Σm; o algoritmo de Quine-McCluskey obtém os implicantes primos, toma os essenciais e completa uma cobertura mínima exata; são exibidos a SOP mínima, o mapa de Karnaugh em código Gray (2–4 variáveis), a forma canônica Σm e uma verificação sobre todas as atribuições. Clássicos: AB + A'B → B; Σm(0,1,2,4,5,6) (3 variáveis) → B' + C'. - [Conversor de Razão de Diluição (1:X ↔ 1/X ↔ %)](https://elysiatools.com/pt/tools/dilution-ratio-converter): Converte entre as notações de diluição de laboratório: proporção 1:X, fração 1/X e porcentagem, com o fator de diluição e as partes de soluto/diluente. Aceita as duas convenções de 1:X (X = partes totais, ou 1 parte de soluto + X de diluente); informando o volume final, calcula os volumes a misturar. Exemplo clássico: 1:5 = 1/5 = 20 %; para 100 mL, misturar 20 mL de concentrado + 80 mL de diluente. - [Gerador de assinatura de e-mail HTML](https://elysiatools.com/pt/tools/email-signature-html-builder): Gera uma assinatura de e-mail HTML limpa e pronta para copiar-colar que renderiza corretamente no Gmail, Outlook e Apple Mail — com avatar/logo, ícones sociais (auto-detectados dos seus links), cor de destaque, tema claro/escuro/auto e um layout em tabela seguro para e-mail com estilos inline. Copie o HTML e cole no seu cliente de e-mail. - [Algoritmo de Euclides estendido (ax + by = mdc(a, b))](https://elysiatools.com/pt/tools/extended-euclidean-algorithm): Resolve a identidade de Bézout a·x + b·y = mdc(a, b) para inteiros de qualquer sinal: entrega a tabela completa de passos de divisão (cada linha satisfaz r = a·s + b·t), o mdc e o mmc. Com o lado direito opcional c, torna-se um solucionador de equações diofantinas: se mdc | c dá a solução particular e a geral x = x₀ + (b/g)t; caso contrário, informa claramente que não há solução inteira. Clássico: 240 × (−9) + 46 × 47 = 2. ## Exemplos - [Exemplos de Processamento de Imagem Web Python](https://elysiatools.com/pt/samples/web-image-processing-python): Exemplos de processamento de imagem Web Python usando PIL/Pillow incluindo leitura, salvamento, redimensionamento e conversão de formato - [Exemplos de Processamento de Imagem Android Java](https://elysiatools.com/pt/samples/android-image-processing-java): Exemplos de processamento de imagem Android Java incluindo leitura/escrita, dimensionamento e conversão de formato - [Exemplos de Processamento de Imagem Android Kotlin](https://elysiatools.com/pt/samples/android-image-processing-kotlin): Exemplos de processamento de imagem Android Kotlin incluindo leitura/escrita, dimensionamento e conversão de formato - [Exemplos de Processamento de Imagem Web Rust](https://elysiatools.com/pt/samples/web-image-processing-rust): Exemplos de processamento de imagem Web Rust incluindo leitura/gravação, redimensionamento e conversão de formato