Gerador de tabela-verdade
Insira uma expressão proposicional com p, q, r, s e os operadores ! (NÃO), & (E), | (OU), -> (IMPLICA), <-> ou = (SE E SOMENTE SE), ^ (XOR). A calculadora analisa a fórmula, avalia em cada atribuição e indica se é tautologia, contradição ou contingência.
Perguntas frequentes
Quais operadores posso usar?
! ou ¬ para NÃO, & ou ∧ para E, | ou ∨ para OU, -> ou → para IMPLICA, <-> ou ↔ ou = para SE E SOMENTE SE, ^ ou ⊕ para XOR. Permite espaços e parênteses.
Quantas variáveis são suportadas?
Até quatro: p, q, r, s. Com quatro, a tabela tem 16 linhas.
Diferença entre tautologia, contradição e contingência?
Tautologia é verdadeira em todas as linhas, contradição falsa em todas, e contingência é às vezes verdadeira e às vezes falsa.