Calxsolver
Matemática finita

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.

Gerador de tabela-verdade

Constrói a tabela-verdade de qualquer fórmula proposicional sobre p, q, r, s.

Experimente:
ResultadoContingency — sometimes true, sometimes false.
  1. Expressão(p | q) -> r
  2. Variáveisp, q, r
  3. Cabeçalhop | q | r | (p | q) -> r
  4. LinhaF | F | F | T
  5. LinhaF | F | T | T
  6. LinhaF | T | F | F
  7. LinhaF | T | T | T
  8. LinhaT | F | F | F
  9. LinhaT | F | T | T
  10. LinhaT | T | F | F
  11. LinhaT | T | T | T
  12. ClassificaçãoContingency — sometimes true, sometimes false.
Relatar um erro

Exemplos resolvidos

Tabela-verdade: (p → q) ↔ (¬q → ¬p) Construa uma tabela-verdade para verificar que um condicional e sua contrapositiva são equivalentes.

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.

Ferramentas relacionadas

Calculadora de juros simples I = Prt — encontra os juros e o montante final de um empréstimo ou depósito a taxa fixa. Calculadora de juros compostos A = P(1 + r/n)^(nt) para capitalização discreta, A = Pe^(rt) para contínua. Calculadora de anuidade Valor futuro ou presente de uma anuidade ordinária a partir de pagamento, taxa e períodos. Calculadora de prestação de empréstimo Prestação periódica, juros totais e prévia das primeiras linhas de amortização. Calculadora de cadeia de Markov Itera a distribuição e encontra o vetor estacionário π. Resolvedor de programação linear (2 variáveis) Método gráfico — região viável, avaliação nos vértices e ótimo.