projeto original
Gerador de Tabela Verdade +
Símbolos
Negação
~
Conjunção
&
Disjunção
v
Condicional
>
Bicondicional
<>
NAND
|
Absurdo
#
Deduz que (⊢)
:
Exemplos:
~A
(A & B)
(# > (B v ~A))
(A & (~B > C))
(A <>(BvC)), A, (~B>C)
A >B, ~B : ~A
Tabela Principal
Tabela Completa
Tabela Texto
Tabela LaTeX
Mostrar Numeração
Linhas Críticas
Verifica se é consequência lógica