Tabela Verdade Como Fazer

O que realmente é uma tabela verdade

É uma matriz organizada que mapeia todas as combinações possíveis de valores de entrada de uma proposição lógica e mostra o resultado correspondente em cada linha. Nada mais, nada menos. Se você tem duas variáveis, serão quatro linhas. Três variáveis, oito linhas. Quatro variáveis, dezesseis linhas. A regra é 2 elevado ao número de variáveis. O erro mais comum que eu vejo gente cometendo é construir a tabela sem antes simplificar a expressão lógica. Você acaba gerando uma tabela enorme para algo que poderia ter sido resolvido com metade das linhas se tivesse aplicado uma lei de De Morgan ou absorção antes de montar a tabela. Eu perdi umas duas horas num projeto de automação industrial porque não tinha simplificado a equação Booleana antes. O circuito final ocupava o triplo do espaço no PLC e a lógica estava errada justamente por causa de um caso que eu não tinha previsto na tabela bruta.

tabela verdade como fazer

O processo básico funciona assim: você identifica todas as variáveis da sua expressão, monta a coluna de entradas com todas as combinações binárias possíveis, e depois preenche a coluna de saída avaliando a expressão para cada linha. Vamos pegar um exemplo prático. Suponha a expressão F = A AND (B OR C). Primeiro, você lista as variáveis. São três: A, B, C. Isso significa 2³ = 8 linhas. A parte das entradas segue um padrão fixo que todo mundo esquece e erra na hora. A coluna mais à esquerda alterna entre 0 e 1 a cada linha inteira. A do meio alterna a cada duas linhas. A da direita alterna a cada quatro linhas. É um padrão binário crescente de cima para baixo. Se você já dominou isso, não precisa contar nas mãos nunca mais. Linha 1: A=0, B=0, C=0. B OR C dá 0. A AND 0 dá 0. F=0.

Linha 2: A=0, B=0, C=1. B OR C dá 1. A AND 1 dá 0. F=0. Linha 3: A=0, B=1, C=0. B OR C dá 1. A AND 1 dá 0. F=0. Linha 4: A=0, B=1, C=1. B OR C dá 1. A AND 1 dá 0. F=0.

Linha 5: A=1, B=0, C=0. B OR C dá 0. A AND 0 dá 0. F=0. Linha 6: A=1, B=0, C=1. B OR C dá 1. A AND 1 dá 1. F=1. Linha 7: A=1, B=1, C=0. B OR C dá 1. A AND 1 dá 1. F=1.

Linha 8: A=1, B=1, C=1. B OR C dá 1. A AND 1 dá 1. F=1. A tabela pronta fica assim:

A	B	C	B OR C	F = A AND (B OR C)
0	0	0	0	0
0	0	1	1	0
0	1	0	1	0
0	1	1	1	0
1	0	0	0	0
1	0	1	1	1
1	1	0	1	1
1	1	1	1	1

Tem um detalhe que quase ninguém ensina e que economiza bastante tempo. Se a sua expressão tiver uma variável que não aparece em nenhum lugar, você ainda precisa listar todas as combinações dela. Não dá pra pular. Já vi gente deixar uma variável de fora e a tabela sair errada porque duas linhas distintas acabavam com o mesmo resultado, mascarando um case que deveria ser diferente. Outro ponto que as pessoas confundem: tabela verdade e mapa de Karnaugh não são a mesma coisa, mesmo que ambos venham da álgebra Booleana. O mapa de Karnaugh é uma ferramenta de simplificação que usa a tabela verdade como base. Se você já tem a tabela montada corretamente, o mapa de Karnaugh nasce praticamente sozinho. Inversamente, se a tabela tem erro, o mapa herda o erro e você passa o resto do dia rastreando onde foi o tropeço. A limitação mais séria que eu enfrento na prática é quando o número de variáveis ultrapassa seis. A tabela cresce exponencialmente e a coisa vira inviável de montar à mão. Com sete variáveis você já tem 128 linhas. Com oito, 256 linhas. Ninguém faz isso manualmente sem querer perder a sanidade. Nesse cenário, o caminho realista é usar ferramentas como o Logicly, o Logisim, ou até scripts em Python com a biblioteca SymPy que geram a tabela automaticamente. Eu uso um script simples que recebe a expressão Booleana e imprime a tabela formatada em JSON. Leva uns três segundos rodar e evita qualquer erro de transposição manual.

Se o seu objetivo é aprender a montar do zero para prova ou exercício acadêmico, o processo manual ainda é necessário. Mas para uso profissional, automação de layout de circuitos integrados, ou programação de CLP, automatizar essa etapa costuma cortar o tempo de construção de tabela de meia hora para dois minutos, dependendo da complexidade da expressão.