Forme Normale Conjonctive (CNF)

Contenu

• Définition - Que signifie forme normale conjonctive (FNC)?
• Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.
• Techopedia explique la forme normale conjonctive (CNF)

Définition - Que signifie forme normale conjonctive (FNC)?

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 AND ou un OU. Chaque clause connectée par une conjonction, ou ET, doit être un littéral ou contenir une disjonction, ou un opérateur OU. CNF est utile pour la démonstration automatique de théorèmes.

Introduction à Microsoft Azure et au nuage Microsoft | Tout au long de ce guide, vous apprendrez ce qu'est le cloud computing et comment Microsoft Azure peut vous aider à migrer et à exploiter votre entreprise à partir du cloud.

Techopedia explique la forme normale conjonctive (CNF)

Dans la forme normale conjonctive, les énoncés de la logique booléenne sont des conjonctions de clauses avec des clauses de disjonctions. En d'autres termes, une déclaration est une série de blocs OU connectés par des blocs AND.

Par exemple:

(A OU B) ET (C OU D)

(A OU B) ET (PAS C OU B)

Les clauses peuvent aussi être littérales:

A OU B

A ET B

CNF considère les littéraux comme des conjonctions de clauses littérales et des conjonctions ayant une seule clause. Il est possible de convertir des instructions en CNF écrites sous une autre forme, telle qu'une forme normale disjonctive.