Truth Tables

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!