- Página de inicio
- Aplicaciones
- Educación
- Truth Tables
Sobre Truth Tables
El único propósito de este programa es la generación y visualización, tablas de verdad.
Esta versión gratuita soporta todos los conectores habituales de la lógica clásica, es decir, la negación, la conjunción, la disyunción (inclusiva), conditonal (implicación material) y bicondicional (equivalencia de materiales), así como las constantes 1 y 0 denotan la verdad y la falsedad, respectivamente. Una cosa divertida es que, además de la notación estándar un poco aburrida de la lógica, puede usar aerodinámica, notación polaca brillante de Lukasiewicz, también.
Y no se detiene aquí. Si usted es el, de buen sentido común con los pies en la tierra de la persona, usted encontrará que es tranquilizador que, por defecto, el programa utiliza clásica, de dos valores, la lógica. Pero si usted es más del tipo aventurero, nunca sin llegar a una empresa, usted estará encantado de saber que las tablas de verdad para Android es compatible con varios sistemas no clásicos, de varios valores de la lógica, también. Nunca entre a un río dos veces, y dos negativos no hacen una afirmación, por así decirlo!
Esta versión gratuita soporta todos los conectores habituales de la lógica clásica, es decir, la negación, la conjunción, la disyunción (inclusiva), conditonal (implicación material) y bicondicional (equivalencia de materiales), así como las constantes 1 y 0 denotan la verdad y la falsedad, respectivamente. Una cosa divertida es que, además de la notación estándar un poco aburrida de la lógica, puede usar aerodinámica, notación polaca brillante de Lukasiewicz, también.
Y no se detiene aquí. Si usted es el, de buen sentido común con los pies en la tierra de la persona, usted encontrará que es tranquilizador que, por defecto, el programa utiliza clásica, de dos valores, la lógica. Pero si usted es más del tipo aventurero, nunca sin llegar a una empresa, usted estará encantado de saber que las tablas de verdad para Android es compatible con varios sistemas no clásicos, de varios valores de la lógica, también. Nunca entre a un río dos veces, y dos negativos no hacen una afirmación, por así decirlo!
Actualización de Truth Tables 3.43
* 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)
* 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)
Más información
Versiones antiguas Más
Truth Tables
3.43
APK
August 3, 2015
207.08 KB
Requires Android: Android 2.2+
Screen DPI: 120-320dpi
SHA1: b5ab4efd079fa5ba267e0aaf0ee394200be88ee9
Size: 207.08 KB
What's New:
* 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)
* 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)
Más información
Nombre de paquete:
Categoría:
Fecha de actualización:
2013-11-14
Última versión:
3.43
Pedir actualización:
Disponible en:
Requisitos:
Android 2.2+
Denunciar: