Formes normales conjonctives et disjonctives
Les formes normales conjonctives et disjonctives sont des normalisations d'expressions logiques à laquelle on peut réduire toute proposition. Plus précisément,
- une forme normale conjonctive est l'écriture d'une proposition comme conjonction de disjonctions de littéraux, c'est-à-dire que la proposition est écrite comme la conjonction (avec le symbole ET $\wedge$) d'une disjonction (avec le symbole OU $\vee$) de littéraux (c'est-à-dire des variables ou la négation $\lnot$ de ces variables); par exemple, voici une proposition sous forme conjonctive : $$(A\vee \lnot B\vee C)\wedge (\lnot A\vee D)\wedge E.$$
- une forme normale disjonctive est l'écriture d'une proposition comme disjonction de conjonctions de littéraux, c'est-à-dire que la proposition est écrite comme la disjonction (avec le symbole OU $\vee$) d'une conjonction (avec le symbole ET $\wedge$) de littéraux (c'est-à-dire des variables ou la négation $\lnot$ de ces variables); par exemple, voici une proposition sous forme disjonctive : $$(\lnot A\wedge \lnot B)\vee (\lnot C\wedge D)\vee E.$$
Recherche alphabétique
Recherche thématique