Truth Tables 3.43
Você poderá baixar em 5 segundos.
Sobre Truth Tables
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 material) e bicondicionante (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 tanto chata da lógica, você pode usar a notação polonesa revestida de fluxo de Lukasiewicz, também.
E não para por aqui. Se você é o tipo de pessoa de bom senso, você vai achar reconfortante que, por padrão, o programa usa lógica clássica, de dois valores. Mas se você é mais do tipo aventureiro, nunca parando aquém de uma empresa, você ficará encantado em saber que o Truth Tables for Android suporta uma série de sistemas de lógica não clássicos e multivalorizados, também. Nunca entre em um rio duas vezes, e dois negativos não fazem uma afirmação, por assim dizer!