Desenvolvido por Julio Cesar Santos Andrade. Para a matéria de Lógica Matemática do curso de Ciências da Computação da Universidade Paulista.

Gerador de Tabela-Verdade

Legenda dos Operadores Lógicos:

and ou ∧: Conjunção (E)
or ou ∨: Disjunção (OU)
not ou ¬ ou ~: Negação (NÃO)
xor ou ⊕: Disjunção Exclusiva (XOR)
<: Condicional (SE... ENTÃO)
<>: Bicondicional (SE E SOMENTE SE)

Proposições Válidas:

p, q, r, etc.: Variáveis proposicionais
Você pode usar letras minúsculas (ex.: p, q) como proposições lógicas.