Calcular e interpretar el resultado de fórmulas lógicas proposicionales.
advertisement
| Nombre | Logic Calculator |
|---|---|
| Versión | 1.1.4 |
| Actualizar | 26 de 09 de 2023 |
| Tamaño | 19 MB |
| Categoría | Herramientas |
| Descargas | 50mil+ |
| Desarrollador | Aulos Rafael |
| Android OS | Android 6.0+ |
| Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · Capturas de pantalla
Logic Calculator · Descripción
Con esta aplicación, puede:
- verificar si una secuencia de caracteres es una fórmula bien formada (WFF);
- obtener la notación polaca normal (NPN), es decir, una notación de prefijo, de fórmulas lógicas proposicionales;
- obtener la notación polaca inversa (RPN), es decir, una notación de sufijo - de fórmulas lógicas proposicionales;
- obtener las subfórmulas de fórmulas lógicas proposicionales;
- obtener fórmulas de forma normal disyuntiva (DNF) y forma normal conjuntiva (CNF) de fórmulas lógicas proposicionales;
- generar tablas de verdad para fórmulas lógicas proposicionales;
- asignar valores de verdad a símbolos proposicionales y obtener la interpretación de fórmulas lógicas proposicionales.
Además, puede elegir diferentes órdenes de precedencia para los conectivos lógicos.
- verificar si una secuencia de caracteres es una fórmula bien formada (WFF);
- obtener la notación polaca normal (NPN), es decir, una notación de prefijo, de fórmulas lógicas proposicionales;
- obtener la notación polaca inversa (RPN), es decir, una notación de sufijo - de fórmulas lógicas proposicionales;
- obtener las subfórmulas de fórmulas lógicas proposicionales;
- obtener fórmulas de forma normal disyuntiva (DNF) y forma normal conjuntiva (CNF) de fórmulas lógicas proposicionales;
- generar tablas de verdad para fórmulas lógicas proposicionales;
- asignar valores de verdad a símbolos proposicionales y obtener la interpretación de fórmulas lógicas proposicionales.
Además, puede elegir diferentes órdenes de precedencia para los conectivos lógicos.
