Forme Normale Disjonctive
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une formule exprimée comme une disjonction de conjonctions de littéraux, souvent utilisée pour l'analyse de la structure booléenne et la simplification.