Gerador de tabelas verdade

Uma ferramenta poderosa para gerar tabelas verdade de lógica proposicional.

Instruções

Digite sua proposição lógica usando os botões disponíveis. No momento, apenas cinco variáveis proposicionais estão disponíveis (p, q, r, s, t). Para mais informações sobre como inserir corretamente a proposição no gerador, consulte a seção "Como usar corretamente o gerador?". Depois de inserir a proposição, escolha o tipo de tabela que deseja (Verdadeiro/Falso) ou (1/0) e clique em Gerar para que a tabela verdade seja criada automaticamente. Se desejar, você pode baixá-la como png.

Como usar corretamente o gerador?

Se a proposição não for inserida corretamente, o programa não entenderá e não processará adequadamente. Certifique-se de que as proposições e os conectores estão posicionados corretamente, de acordo com as regras da lógica proposicional, e também certifique-se de que os parênteses estão corretamente posicionados. Os parênteses são muito importantes, pois estabelecem a ordem em que o programa deve começar a operar; se não forem colocados corretamente, o programa pode pular etapas ou não gerar a tabela corretamente. Se você testar os seguintes exemplos, perceberá que, embora contenham os mesmos elementos, o segundo não funciona porque não possui todos os parênteses necessários:

1. ((((p⇒(q∧r))∧(s⇒(¬r)))∧(s∨t))∧p)⇒t
2. (p⇒(q∧r)∧(s⇒(¬r))∧(s∨t)∧p)⇒t

Operadores lógicos incluídos neste gerador

• ¬ - Negação
• ∧ - Conjunção
• ∨ - Disjunção
• ⇒ - Condicional
• ⇔ - Bicondicional
• ⊕ - Disjunção exclusiva

Apoie este site

Se foi útil, compartilhe esta página com seus contatos por e-mail, redes sociais,... etc.