Discussion:Forme normale conjonctive
Ajouter un sujetDernier commentaire : il y a 7 ans par Poci33
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article comporte une liste de tâches suggérées :
modifier • suivre • rafraîchir • aide
- Repartir de la version de en: pour étoffer un peu l'article
- Notament : ajouter d'autres transformation en CNF que celle indiquées pour l'instant -> Fait, il reste à détailler un algorithme éventuellement TomT0m (d) 14 juillet 2009 à 17:22 (CEST)
- Et encore : parler de "à quoi sert" la CNF
- Référence : la page citée en référence (1) utilisée dans la section "Conversion linéaire équisatisfiable" ne présente pas de transformation linéaire des formules.--Poci33 (discuter) 18 août 2019 à 13:38 (CEST)
- L'avant dernier paragraphe de la section "Conversion linéaire équisatisfiable" contient une faute de logique (booléenne). Par ailleurs, il semble faire référence implicitement à l'algorithme de Tseitin (la page en anglais fait la référence explicitement), ce qui est trompeur car l'algorithme est plus compliqué que simplement ajouter la clause proposée.--Poci33 (discuter) 18 août 2019 à 13:38 (CEST)
Il faudrait étoffer un peu l'article ...