Usar o APKPure APP
Obter o APK da versão antiga de Truth Tables para Android
verdade-tables para a lógica clássica e para um número de sistemas não-clássicas
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!
Novidades da Última Versão 3.43
Last updated on Aug 3, 2015
* 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)
Traduzindo...
Truth Tables
3.43 by Erpelstolz
Aug 3, 2015