Esta página contém um programa JavaScript que irá gerar uma tabela verdade dada uma fórmula bem formada de lógica funcional de verdade. Você pode inserir várias fórmulas separadas por vírgulas para incluir mais de uma fórmula em uma única tabela (por exemplo, para testar a vinculação).
As tabelas podem ser exibidas em html (a tabela completa ou a coluna sob o conectivo principal apenas), texto simples ou LaTeX. Você também pode selecionar quais símbolos usar para os dois valores verdade e os conectivos.
Informe sua Entrada:
Valores-verdade:
T/F⊤/⊥
1/0
Conectivos:
¬, ∧, ∨, →, ↔~, &, ∨, →, ↔
~, &, ∨, ⊃, ≡
Tipo de Tabela:
Tabela CompletaApenas Conector Principal
Tabela de Texto
Tabela LaTex
RESULTADO:
Símbolos: use os seguintes símbolos do teclado em sua entrada para os vários conectivos lógicos:
| ~ | para negação |
| & | para conjunção |
| v | para disjunção |
| > | para o condicional |
| < > | para o bicondicional |
| # | por absurdo |
| | | para o Sheffer Stroke, também conhecido como NAND |
Aqui estão alguns exemplos de entradas bem formadas que o programa aceitará:
- ~A
- (A & B)
- (# > (B v ~A))
- (A & (~B > C))
- (A<>(BvC)), A, (~B>C)