Acerca de Logic Calculator

¿Qué es esto?

Esta es una calculadora de lógica que admite lógica proposicional y lógica booleana. Ayuda a estudiantes y profesionales a trabajar con expresiones lógicas proporcionando herramientas de análisis, visualización y cálculo.

Características

• Decodificar y visualizar expresiones de lógica proposicional
• Soporte para negación, implicación, conjunción, disyunción y bicondicionales
• Verificar si las expresiones son satisfacibles y válidas
• Crear tablas de verdad completas
• Generar árboles de expresión visuales
• Proporcionar formulaciones alternativas equivalentes

Creador

Esta calculadora fue creada por Jonathan Søholm-Boesen como una herramienta educativa para estudiantes que estudian lógica e informática.

Mantenido por

Logic Calculator actualmente es mantenida y desarrollada por Infobits ApS, una empresa de desarrollo de software que construye productos que respetan la privacidad.

Propósito educativo

Esta herramienta está destinada a ser un recurso educativo para ayudar a los estudiantes a comprender la lógica proposicional. Si bien se creó originalmente para el curso Computabilidad y Lógica en la Universidad de Aarhus, no está oficialmente asociada con la universidad.