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 comme des conjonctions de clauses avec un ET ou un OU. Chaque clause connectée par une conjonction, ou AND, doit être un littéral ou contenir une disjonction, ou un opérateur OR. CNF est utile pour la démonstration automatisée de théorèmes.
Definir Tech explique la forme normale conjonctive (CNF)
Dans la 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.
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 vus dans CNF comme des conjonctions de clauses littérales et de conjonctions qui ont une seule clause. Il est possible de convertir des instructions en CNF qui sont écrites sous une autre forme, telle que la forme normale disjonctive.