O único obxectivo deste programa está xerando e mostrando, táboas de verdade.
Esta versión gratuita soporta todo conectivos habituais da lóxica clásica, que é a negación, conxunción, disjunção (inclusive), conditonal (implicación material), e bicondicional (equivalencia de material), así como as constantes de 1 e 0 que denotan a verdade ea falsidade, respectivamente. Unha cousa legal é que, ademais da cualificación estándar un pouco aburrido de lóxica, pode utilizar o fluxo vencellada, notación polaca brillante de Lukasiewicz, tamén.
E non para por aquí. Se son o tipo de sentido común terra-a-terra de persoa, vai considerar que é reconfortante que, por defecto, o programa usa clásica, de dous valores, a lóxica. Pero se é máis do tipo aventureiro, nunca parando curto dunha empresa, estará encantado ó saber que táboas verdade para Android soporta un número de sistemas non-clásicos, con valores múltiples da lóxica, tamén. Nunca insira un río dúas veces, e dous negativos non fan unha afirmación, por así dicir!
Última actualización
14 de nov. de 2013