Introduzca una expresión de lógica proposicional para decodificarla
A continuación se muestran ejemplos de cómo utilizar cada operador para componer una ecuación lógica proposicional. Haga clic en un operador a continuación para insertar un ejemplo.
Para utilizar esta calculadora es necesario tener algunos conocimientos de cálculo proposicional. Si no está familiarizado con el cálculo proposicional, hemos preparado una sencilla introducción al mismo. Solo está pensada como una introducción al tema, por lo que si necesita más conocimientos, puede buscarla en otro lugar.
Aquí está el enlace: Introduction to Propositional Calculus
Esta es una calculadora de cálculo proposicional también conocida como calculadora lógica creada para el curso Computabilidad y lógica en la Universidad de Aarhus, pero no está asociada con él. Puede decodificar y visualizar expresiones de lógica proposicional. Admite negación, implicación, y, o, y equivalencia. Verificará si la expresión es satisfacible, válida y dará alternativas. También generará una tabla de verdad y un árbol de expresiones. Está destinada a ser una herramienta educativa para ayudar a los estudiantes a comprender la lógica proposicional.
Si encuentra errores o tiene comentarios, comuníquese con nosotros en:
[email protected]
Las consultas se prefieren en inglés.
Si quieres apoyar el desarrollo de esta calculadora puedes hacerlo en este enlace: buymeacoffee.com/infobits
Este sitio web está disponible en varios idiomas.
Usamos almacenamiento local para guardar su historial. Si desea borrar esos datos, utilice el botón que aparece a continuación para hacerlo.