projeto original
Gerador de Tabela Verdade +
Símbolos
Negação~
Conjunção&
Disjunçãov
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