Programas por Erpelstolz

O único propósito deste programa é gerar, e exibir, tabelas da verdade.Esta versão livre suporta todos os conectivos usuais da lógica clássica, que é negação, conjunção, disjunção (inclusiva), conditonal (implicação mater