Logic Calculator

Logic Calculator: Haciendo Accesible la Lógica

Descripción del Proyecto

Logic Calculator es una aplicación web educativa para lógica proposicional y álgebra booleana. Analiza y evalúa expresiones lógicas, genera tablas de verdad completas, visualiza la estructura de las expresiones como un árbol interactivo y determina satisfacibilidad, validez y equivalencia — convirtiendo el formalismo abstracto en algo que estudiantes y docentes pueden explorar con retroalimentación inmediata.

El Desafío

La lógica proposicional es la base de las matemáticas, la informática y la filosofía, pero el salto de los ejercicios en papel a una intuición sólida no es fácil. Queríamos construir una herramienta capaz de:

• Analizar expresiones complejas con los operadores estándar NOT, AND, OR, IF e IFF
• Producir tablas de verdad y análisis estructurales de forma instantánea
• Explicar por qué una fórmula es una tautología, contradicción o contingencia — no solo clasificarla
• Funcionar totalmente sin conexión en cualquier dispositivo y en el idioma del estudiante
• Ser lo bastante rápida y accesible como para usarla en directo durante una clase

Nuestra Solución

Logic Calculator reúne un motor de expresiones y un conjunto de herramientas analíticas en una interfaz única y enfocada:

• Evaluación de expresiones: analiza y evalúa fórmulas complejas con !, &, |, -> y <->
• Generador de tablas de verdad: tablas de verdad automáticas y completas para cualquier fórmula
• Árbol de expresión: representación visual interactiva de cómo se analiza la expresión
• Satisfacibilidad y validez: clasifica las fórmulas como tautologías, contradicciones o contingencias
• Prueba de equivalencia: compara dos expresiones para verificar su equivalencia semántica
• 19 idiomas: interfaz totalmente localizada, incluyendo inglés, español, francés, alemán, italiano, portugués, chino, japonés, coreano, hindi, bengalí, vietnamita, árabe, ruso, turco, neerlandés, sueco, noruego y danés

Implementación Técnica

La aplicación está diseñada para ser rápida, privada y de alcance global:

• Exportación estática con Next.js 15: páginas prerenderizadas desplegadas en la red perimetral de Cloudflare para cargas instantáneas en cualquier lugar del mundo
• Evaluación en el cliente: el análisis, las tablas de verdad y la visualización del árbol ocurren íntegramente en el navegador — ningún dato sale del dispositivo del usuario
• Base tipada: TypeScript a lo largo del parser, el evaluador y la UI para un comportamiento predecible
• Pruebas exhaustivas: Jest para pruebas unitarias, Playwright para cobertura extremo a extremo y Lighthouse CI que garantiza un rendimiento superior a 90 en cada release
• Accesibilidad: compatible con WCAG, con navegación completa por teclado, etiquetas para lectores de pantalla y modo de alto contraste
• Responsive por defecto: optimizada para escritorio, tableta y móvil — igual de útil en un aula magna que en un teléfono

Resultados

Logic Calculator se ha convertido en un compañero de aula fiable:

• Disponible en 19 idiomas, llegando a la mayoría de los estudiantes del mundo
• Utilizada en cursos universitarios de lógica y matemáticas discretas
• Puntuaciones Lighthouse consistentemente superiores a 90 en rendimiento, accesibilidad y SEO
• Respetuosa con la privacidad por diseño — nada sale del navegador

Direcciones Futuras

La herramienta sigue creciendo:

• Lógica de predicados (primer orden) con cuantificadores
• Construcción interactiva de demostraciones por deducción natural
• Explicaciones de las transformaciones en lenguaje natural
• Integraciones con LMS para tareas y entregas

Logic Calculator demuestra cómo una aplicación web enfocada y bien construida puede transformar una materia abstracta en algo que los estudiantes pueden explorar, visualizar y comprender de verdad.