forme normale conjonctive
- Domaines
-
- intelligence artificielle
- mathématiques
- Dernière mise à jour
Définition :
Forme du calcul des propositions où la formule est une conjonction de littéraux disjonctifs (ou de « clauses »).
Notes :
Toute formule peut prendre la forme normale conjonctive. La forme normale conjonctive s'oppose à la forme normale disjonctive.
Par exemple, (A OU NON B) ET C ET (C OU D OU NON C) est une formule en forme normale conjonctive.
Termes privilégiés :
- forme normale conjonctive n. f.
- FNC n. f.
- forme conjonctive normale n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- conjunctive normal form
- CNF