## [Simplificación de Fórmula](/es/node/60843) Definición El proceso de transformación que reduce una fórmula lógica a una forma sintácticamente más simple y semánticamente equivalente mediante la eliminación de redundancias y la aplicación de identidades lógicas. ## Principio Principio Aplicar reglas de reescritura válidas (asociatividad, distributividad, leyes de De Morgan, eliminación de doble negación, idempotencia, absorción, etc.) para obtener una expresión con construcciones sintácticas menos numerosas o más claras manteniendo la equivalencia lógica. ## Demostración Demostración Simplificar la fórmula proposicional (p ∧ verdadero) ∨ (p ∧ falso) aplicando las leyes de identidad y dominación para obtener la fórmula equivalente y más simple p. ## Aplicación incorrecta Aplicación incorrecta Reemplazar una fórmula por otra que solo sea equisatisfactible (no equivalente) cuando se exige equivalencia, o aplicar transformaciones algebraicas que suponen propiedades ausentes en la lógica considerada (por ejemplo, tratar implicación como igualdad). ## Consecuencia Consecuencia La simplificación que preserva la semántica reduce el coste de evaluación, facilita el razonamiento automatizado y puede revelar estructura para transformaciones posteriores como canonicalización u optimización. ## Inversión Inversión La expansión o distribución que aumenta el tamaño sintáctico (por ejemplo, la expansión CNF ingenua) puede exponer estructura de cláusulas pero invierte el objetivo de simplificación al hacer las fórmulas más grandes. ## Límite Límite Destinada a transformaciones que mantienen la equivalencia lógica; algunos algoritmos producen deliberadamente formas equisatisfactibles pero no equivalentes (prenexado, skolemización) y por tanto quedan fuera de la simplificación estricta de fórmulas. ## Tensión semántica Tensión semántica La simplificación compite con la normalización y la minimización: la simplificación busca legibilidad y menor complejidad sintáctica, la normalización una forma estándar y la minimización el uso mínimo de recursos; esos objetivos pueden entrar en conflicto. ## Síntesis Síntesis La simplificación de fórmulas es una secuencia de pasos de reescritura que preservan la semántica, eliminan redundancias y clarifican la estructura, produciendo una fórmula equivalente más adecuada para el razonamiento y el cálculo.