Truth Tables APK

* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)

O único propósito deste programa é a geração e exibição, tabelas de verdade.

Esta versão gratuita suporta todos os conectivos usuais da lógica clássica, que é negação, conjunção, disjunção (inclusive), Conditonal (implicação material), e bicondicional (equivalência material), bem como as constantes de 1 e 0 que denotam a verdade ea falsidade, respectivamente. Uma coisa legal é que, além da notação padrão um pouco chato de lógica, você pode usar fluxo alinhada, notação polonesa brilhante de Lukasiewicz, também.

E não pára por aqui. Se você é o, tipo de senso comum terra-a-terra da pessoa, você vai achar que é reconfortante que, por padrão, o programa usa clássica, de dois valores, a lógica. Mas se você é mais do tipo aventureiro, nunca parando de uma empresa, você vai ser feliz ao saber que as tabelas de verdade para o Android suporta um número de sistemas não-clássicos, multi-valorizados da lógica, também. Nunca entre em um rio duas vezes, e dois negativos não fazem uma afirmação, por assim dizer!