Forme Normale Conjonctive

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une formule exprimée comme une conjonction de disjonctions de littéraux, couramment utilisée dans la résolution de satisfiabilité et la normalisation logique.