Table des matières:
- Définition - Que signifie la forme normale conjonctive (CNF)?
- Techopedia explique la forme normale conjonctive (CNF)
Définition - Que signifie la forme normale conjonctive (CNF)?
La forme normale conjonctive (CNF) est une approche de la logique booléenne qui exprime des formules sous forme de conjonctions de clauses avec un ET ou un OU. Chaque clause connectée par une conjonction, ou AND, doit être soit un littéral, soit contenir une disjonction, ou un opérateur OR. CNF est utile pour la démonstration automatisée de théorèmes.
Techopedia explique la forme normale conjonctive (CNF)
Dans une forme normale conjonctive, les instructions en logique booléenne sont des conjonctions de clauses avec des clauses de disjonctions. En d'autres termes, une instruction est une série de OU connectés par des ET.
Par exemple:
(A OU B) ET (C OU D)
(A OU B) ET (PAS C OU B)
Les clauses peuvent également être des littéraux:
A OU B
A ET B
Les littéraux sont considérés dans CNF comme des conjonctions de clauses littérales et des conjonctions qui se trouvent avoir une seule clause. Il est possible de convertir des instructions en CNF qui sont écrites sous une autre forme, telle qu'une forme normale disjonctive.
