Canonicalización de Fórmula
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El procedimiento de convertir fórmulas o términos en una forma representativa canónica que sea única salvo equivalencia lógica, para comparación, indexación y pruebas de igualdad.