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 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 … Lire la suite