Verificador de Equivalencia Lógica

El Verificador de Equivalencia Lógica determina si dos expresiones booleanas producen los mismos resultados para todas las asignaciones posibles de las variables. Soporta operadores comunes (AND, OR, NOT, IMPLIES, XOR) y paréntesis anidados; las expresiones se analizan en una representación interna canónica. La herramienta enumera todas las asignaciones de verdad posibles, evalúa ambas expresiones y compara las salidas para decidir la equivalencia. Cuando las expresiones no son equivalentes, devuelve una asignación concreta que las distingue y puede proporcionar pasos de demostración opcionales o formas canónicas para facilitar la comprensión. Conceptualmente, esta herramienta abstrae la lógica proposicional a una evaluación de estado finito, evitando una prueba teórica completa y ofreciendo verificación determinista adecuada para educación, pruebas y validación de diseño inicial. Su valor reside en resultados inmediatos y explicables sin instalación y la posibilidad de exportar o reutilizar contraejemplos en informes o pruebas. Funciones clave: detección automática de variables, evaluación exhaustiva, normalización opcional a CNF/DNF y generación de informes configurables de resultados y formas intermedias. Casos de uso típicos: validación de deberes, verificación de componentes lógicos en software y evaluaciones rápidas para cursos de lógica. Los usuarios se benefician de resultados reproducibles, contraejemplos claros y la capacidad de integrar resultados en flujos de trabajo automatizados.