Simplificación de Fórmula
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.