Simplification de Formule

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Le processus de transformation qui réduit une formule logique à une forme syntaxiquement plus simple et sémantiquement équivalente en éliminant les redondances et en appliquant des identités logiques.