Logic Calculator Free

Calculadora de matemáticas y lógicas proposicionales

Logic Calculator Free es una aplicación que da el valor de verdad de una proposición lógica de 2 formas diferentes: puede ingresar el valor de verdad individual de las variables para ofrecer un valor de verdad único verdadero o falso que corresponde a toda la propuesta, o puede ingresar la proposición lógica y automáticamente da una tabla de verdad con todas las combinaciones posibles dependiendo del número de variables en el uso. En ese caso, el resultado puede ser una tautología, una contingencia o una contradicción.

La calculadora también tiene un modo de comparación. Se compara hasta 3 proposiciones para verificar su equivalencia. Después de la verificación, construye automáticamente la tabla de verdad de la comparación.

Opperaciones respaldadas: y, Nand, o, ni, Xor, implicación, bicondicional.

- hasta 6 variables disponibles en esta versión gratuita (64 combinaciones posibles).

- Errores de sintaxis marcados para encontrarlos más fácilmente.

- Personalización del teclado.

- Paréntesis, soportes cuadrados y soportes clave anidados para cálculos complejos.

- demostración paso a paso.

- Lista de las últimas proposiciones calculadas.

- Lista de reglas de inferencia con la posibilidad de probar cualquiera de ellos.

- ¡NUEVO! Lista de leyes de equivalencia con ejemplos.

- Teoría de las tablas de verdad de todos los operadores lógicos.

- ¡No se requiere conexión a Internet para calcular!

- ¡Más modos de cálculo en futuras actualizaciones!

¿Qué hay de nuevo en la última versión 4.1?