EnglishGerador de tabela verdade
Monte a tabela verdade de qualquer expressão lógica com E, OU, NÃO, implicação e bicondicional, e veja se é tautologia ou contradição.
Gerador de tabela verdade
Tudo é feito no seu aparelho: nada é enviado para a internet.
Disponível em: 
Gerador de tabela verdade: para que serve
Digite uma expressão com variáveis como p, q e r e os conectivos lógicos: negação, conjunção, disjunção, condicional, bicondicional e ou exclusivo. A ferramenta monta todas as linhas da tabela verdade e classifica a proposição.
Aceita vários jeitos de escrever os símbolos (~, ¬, ^, ∧, v, ∨, ->, →, <->, ↔) e tem botões para inserir os símbolos. Mostra o resultado em V/F ou 1/0.
Como usar
- Digite a expressão lógica ou use os botões de símbolos.
- Confira a tabela com todas as combinações.
- Veja se é tautologia, contradição ou contingência.
Quando usar
- Estudar lógica para concursos.
- Fazer exercícios de matemática discreta.
- Conferir condições lógicas em programação.
Perguntas frequentes
Quais operadores posso usar?
Negação (~, ¬, !), conjunção (^, ∧, &, e), disjunção (v, ∨, |, ou), implicação (->, →), bicondicional (<->, ↔) e ou exclusivo (xor, ⊕). Use parênteses para agrupar.
O que é tautologia?
Uma expressão que é verdadeira em todas as linhas da tabela. Se for falsa em todas, é contradição; se tiver os dois resultados, é contingência.
É grátis mesmo?
Sim, 100% grátis. Sem cadastro, sem assinatura e sem limite de uso. Todas as ferramentas do Ferramentas123 são gratuitas e rodam direto no seu navegador.