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

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

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

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

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

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

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

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

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.