« Forme normale conjonctive » : historique des versions

19 mai 2022

• actudiff 00:0119 mai 2022 à 00:01‎ Ambigraphe discuter contributions‎ m 6 855 octets −73‎ cat annuler

23 octobre 2021

• actudiff 17:4023 octobre 2021 à 17:40‎ Dibou discuter contributions‎ 6 928 octets +25‎ ajout du terme anglais Clausal normal form annuler

25 novembre 2019

• actudiff 02:4925 novembre 2019 à 02:49‎ Mi Ga discuter contributions‎ 6 903 octets −4‎ Correction d'un lien annuler

18 août 2019

• actudiff 17:0118 août 2019 à 17:01‎ TomT0m discuter contributions‎ 6 907 octets −205‎ wikif. biblio annuler Balise : Éditeur de source 2017
• actudiff 13:3318 août 2019 à 13:33‎ Poci33 discuter contributions‎ m 7 112 octets −43‎ Annulation de la modification de Poci33 (d) annuler Balise : Annulation
• actudiff 13:2818 août 2019 à 13:28‎ Poci33 discuter contributions‎ m 7 155 octets +43‎ Correction d'une erreur de logique annuler

16 août 2019

• actudiff 21:0316 août 2019 à 21:03‎ Poci33 discuter contributions‎ m 7 112 octets −22‎ →‎Conversion linéaire équisatisfiable : Clarification de la transformation proposée annuler Balise : Éditeur visuel

26 juillet 2019

• actudiff 22:0026 juillet 2019 à 22:00‎ Mi Ga discuter contributions‎ 7 134 octets +1‎ Ajout annuler
• actudiff 22:0026 juillet 2019 à 22:00‎ Mi Ga discuter contributions‎ 7 133 octets +82‎ Ajout annuler

5 janvier 2019

• actudiff 14:395 janvier 2019 à 14:39‎ 77.136.204.104 discuter‎ 7 051 octets +4‎ →‎Problème SAT : Faute de frappe corrigée annuler Balises : Modification par mobile Modification par application mobile Modification avec l’application Android

23 octobre 2018

• actudiff 21:1623 octobre 2018 à 21:16‎ 46.193.64.52 discuter‎ 7 047 octets −1‎ →‎Problème SAT : yavé 1 fote annuler Balise : Éditeur visuel

22 septembre 2018

• actudiff 19:2522 septembre 2018 à 19:25‎ Fschwarzentruber discuter contributions‎ 7 048 octets −2‎ →‎Définition et exemples annuler Balise : Éditeur visuel
• actudiff 19:2322 septembre 2018 à 19:23‎ Fschwarzentruber discuter contributions‎ 7 050 octets −280‎ →‎Conversions en FNC : plan plus simple annuler Balise : Éditeur visuel
• actudiff 19:2222 septembre 2018 à 19:22‎ Fschwarzentruber discuter contributions‎ 7 330 octets +38‎ →‎Problème SAT annuler Balise : Éditeur visuel
• actudiff 19:2122 septembre 2018 à 19:21‎ Fschwarzentruber discuter contributions‎ 7 292 octets −15‎ plus simple annuler Balise : Éditeur visuel
• actudiff 19:1822 septembre 2018 à 19:18‎ Fschwarzentruber discuter contributions‎ 7 307 octets +17‎ →‎Transformations linéaires annuler Balise : Éditeur visuel

19 août 2018

• actudiff 11:4019 août 2018 à 11:40‎ Texvc2LaTeXBot discuter contributions‎ m 7 290 octets +26‎ Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation) annuler

13 juin 2018

• actudiff 11:5213 juin 2018 à 11:52‎ 141.160.25.251 discuter‎ 7 264 octets +2‎ Correction orthographique (on autorise que les clauses d'au plus ...==> on N'autorise que) annuler Balise : Éditeur visuel

11 septembre 2017

• actudiff 10:3111 septembre 2017 à 10:31‎ 212.99.93.126 discuter‎ 7 262 octets +1‎ →‎Conversion équivalente : orthographe annuler

28 juillet 2017

• actudiff 23:3828 juillet 2017 à 23:38‎ Rehtse discuter contributions‎ m 7 261 octets 0‎ →‎top : Modèle adapté avec AWB annuler

4 juillet 2017

• actudiff 18:484 juillet 2017 à 18:48‎ Roll-Morton discuter contributions‎ 7 261 octets +397‎ + pb SAT annuler

27 mars 2017

• actudiff 15:4427 mars 2017 à 15:44‎ 147.250.1.2 discuter‎ 6 864 octets 0‎ Deux des formules ne sont pas correcte à cause d'un indice. "Z_i => X_i, Z_i => Y_n" a été corrigé en "Z_i => X_i, Z_i => Y_i" et un "Z_n" a été corrigé en "Z_i" un peu après la première formule. annuler

16 octobre 2016

• actudiff 15:3816 octobre 2016 à 15:38‎ Else If Then discuter contributions‎ m 6 864 octets +30‎ →‎Voir aussi annuler

9 mars 2016

• actudiff 14:259 mars 2016 à 14:25‎ 192.54.145.146 discuter‎ 6 834 octets −1‎ →‎Transformations linéaires annuler

16 février 2016

• actudiff 20:3016 février 2016 à 20:30‎ Brucyn discuter contributions‎ m 6 835 octets +6‎ articles manquants annuler Balise : Éditeur visuel

11 février 2016

• actudiff 17:5111 février 2016 à 17:51‎ Fschwarzentruber discuter contributions‎ 6 829 octets +45‎ Annulation des modifications 123252820 de Lechewal (d) DPLL est l'algorithme majeur utilisé dans les solveurs SAT. Ca montre que les formules en FNC sont importantes. annuler
• actudiff 16:4911 février 2016 à 16:49‎ Lechewal discuter contributions‎ m 6 784 octets −45‎ pourquoi celui là en particulier ? annuler

24 décembre 2015

• actudiff 13:3624 décembre 2015 à 13:36‎ Fschwarzentruber discuter contributions‎ 6 829 octets +354‎ →‎Transformations linéaires annuler Balise : Éditeur visuel
• actudiff 13:3124 décembre 2015 à 13:31‎ Fschwarzentruber discuter contributions‎ 6 475 octets +1‎ →‎Transformations linéaires annuler Balise : Éditeur visuel
• actudiff 13:2924 décembre 2015 à 13:29‎ Fschwarzentruber discuter contributions‎ 6 474 octets +108‎ →‎Définition et exemples annuler Balise : Éditeur visuel
• actudiff 13:2524 décembre 2015 à 13:25‎ Fschwarzentruber discuter contributions‎ 6 366 octets +46‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

10 avril 2015

• actudiff 03:1110 avril 2015 à 03:11‎ Scrabble discuter contributions‎ m 6 320 octets +2‎ →‎Transformations linéaires : orthog. + espace annuler

3 décembre 2014

• actudiff 16:423 décembre 2014 à 16:42‎ Yuan Byao discuter contributions‎ 6 318 octets +22‎ Annulation des modifications 109646336 de 193.246.251.154 (d) annuler
• actudiff 16:413 décembre 2014 à 16:41‎ 193.246.251.154 discuter‎ 6 296 octets −22‎ →‎Définition et exemples : La forme conjonctive attend des ET logiques et non un OU annuler Balise : Éditeur visuel

8 janvier 2014

• actudiff 23:368 janvier 2014 à 23:36‎ Romanc19s discuter contributions‎ m 6 318 octets +1‎ orthographe annuler

6 août 2013

• actudiff 20:176 août 2013 à 20:17‎ JackPotte discuter contributions‎ 6 317 octets −2‎ Aucun résumé des modifications annuler
• actudiff 20:166 août 2013 à 20:16‎ JackPotte discuter contributions‎ 6 319 octets +22‎ ? Annulation des modifications 95586777 de 92.128.48.180 (d) annuler

5 août 2013

• actudiff 23:495 août 2013 à 23:49‎ 92.128.48.180 discuter‎ 6 297 octets −22‎ →‎Définition et exemples annuler

25 mai 2013

• actudiff 18:0925 mai 2013 à 18:09‎ 82.226.161.83 discuter‎ 6 319 octets +22‎ Aucun résumé des modifications annuler

15 mars 2013

• actudiff 05:4315 mars 2013 à 05:43‎ Addbot discuter contributions‎ m 6 297 octets −564‎ Retrait de 16 liens interlangues, désormais fournis par Wikidata sur la page d:q846564 annuler

10 août 2012

• actudiff 00:0010 août 2012 à 00:00‎ TomT0m discuter contributions‎ m 6 861 octets +20‎ →‎Transformations linéaires : wikification annuler

9 août 2012

• actudiff 21:079 août 2012 à 21:07‎ EmausBot discuter contributions‎ m 6 841 octets +2‎ r2.7.3) (robot Modifie : sr:Конјунктивна нормална форма annuler

27 avril 2012

• actudiff 11:4827 avril 2012 à 11:48‎ 90.20.22.11 discuter‎ 6 839 octets 0‎ →‎Conversion équivalente annuler

21 mars 2012

• actudiff 08:4621 mars 2012 à 08:46‎ VonTasha discuter contributions‎ m 6 839 octets +40‎ WPCleaner (v1.13) Correction des liens vers des homonymies - Conjonction, Disjonction annuler

11 janvier 2012

• actudiff 15:2411 janvier 2012 à 15:24‎ ZetudBot discuter contributions‎ m 6 799 octets +1‎ →‎Transformations linéaires : Typo. (modèle langue), replaced: {{fr}}{{Lien → {{fr}} {{Lien annuler

20 novembre 2011

• actudiff 17:2520 novembre 2011 à 17:25‎ 82.67.23.185 discuter‎ 6 798 octets 0‎ Cohérence des abréviations, remplacement de CNF sporadiques par FNC (abréviation utilisée tout au long du document) annuler

28 novembre 2010

• actudiff 23:4928 novembre 2010 à 23:49‎ TXiKiBoT discuter contributions‎ m 6 798 octets +31‎ [r2.6.5] robot Ajoute: es:Forma normal conjuntiva annuler

3 juin 2010

• actudiff 17:133 juin 2010 à 17:13‎ 194.57.88.25 discuter‎ 6 767 octets +3‎ →‎Définition et exemples annuler

12 janvier 2010

• actudiff 05:4712 janvier 2010 à 05:47‎ Ptbotgourou discuter contributions‎ m 6 764 octets +2‎ robot Modifie: it:Forma normale congiuntiva annuler

25 septembre 2009

• actudiff 12:1425 septembre 2009 à 12:14‎ Speculos discuter contributions‎ m 6 762 octets 0‎ ortho annuler