Acerca de esta aplicació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.
