Truth Tables 3.43
Poderá descarregar em 5 segundos.
Sobre Truth Tables
O único propósito deste programa é gerar e exibir tabelas de verdade.
Esta versão gratuita suporta todos os conetivos habituais da lógica clássica, que é a negação, a conjunção, a disjunção (inclusiva), a disjunção conditonal (implicação material) e a biconditional (equivalência material), bem como as constantes 1 e 0 denotando verdade e falsidade, respectivamente. Uma coisa legal é que, além da notação padrão um pouco aborrecida da lógica, você pode usar a notação polaca revestida por riachos e brilhantes de Lukasiewicz, também.
E não fica por aqui. Se você é o tipo de pessoa de senso comum, você vai achar reconfortante que, por defeito, o programa usa a lógica clássica, de dois valores. Mas se você é mais do tipo aventureiro, nunca parando parando aquém de uma empresa, você ficará encantado ao saber que as Tabelas de Verdade para Android também suportam uma série de sistemas de lógica não clássicos e multi-valorizados. Nunca entre num rio duas vezes, e dois negativos não fazem uma afirmação, por assim dizer!