« Algèbre de Boole (logique) » : historique des versions

24 mars 2024

• actudiff 14:2624 mars 2024 à 14:26‎ 37.171.253.145 discuter‎ 25 553 octets +26‎ →‎Algèbre de Boole des valeurs de vérité annuler Balise : Éditeur visuel

30 décembre 2023

• actudiff 19:3730 décembre 2023 à 19:37‎ 37.168.39.182 discuter‎ 25 527 octets −1‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile

17 décembre 2023

• actudiff 21:1917 décembre 2023 à 21:19‎ Jilucorg discuter contributions‎ m 25 528 octets −7‎ pléonasme annuler Balise : Éditeur de source 2017

3 septembre 2023

• actudiff 21:443 septembre 2023 à 21:44‎ Wapifree discuter contributions‎ 25 535 octets +29‎ Fonctionnalité de suggestions de liens : 2 liens ajoutés. annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile Tâche pour novices Suggéré : ajouter des liens

31 août 2023

• actudiff 16:4531 août 2023 à 16:45‎ Jean-Christophe BENOIST discuter contributions‎ m 25 506 octets +1‎ Révocation des modifications de 206.167.44.173 (retour à la dernière version de Boolette) annuler Balise : Révocation
• actudiff 15:5031 août 2023 à 15:50‎ 206.167.44.173 discuter‎ 25 505 octets −1‎ →‎Exemple introductif annuler Balises : Révoqué Éditeur visuel

17 août 2023

• actudiff 18:5117 août 2023 à 18:51‎ Boolette discuter contributions‎ 25 506 octets −28‎ →‎Théorème de De Morgan annuler
• actudiff 14:3717 août 2023 à 14:37‎ Lepticed7 discuter contributions‎ 25 534 octets +13‎ →‎Fonction logique à trois variables annuler

30 juillet 2023

• actudiff 15:2630 juillet 2023 à 15:26‎ Boolette discuter contributions‎ m 25 521 octets −39‎ →‎Exemple introductif : mef annuler
• actudiff 14:5130 juillet 2023 à 14:51‎ 45.188.140.245 discuter‎ 25 560 octets −8‎ →‎Négation annuler Balises : Révocation manuelle Modification par mobile Modification par le web mobile
• actudiff 14:4830 juillet 2023 à 14:48‎ 45.188.140.245 discuter‎ 25 568 octets +8‎ →‎Négation annuler Balises : Modification par mobile Modification par le web mobile

27 juillet 2023

• actudiff 17:2427 juillet 2023 à 17:24‎ Boolette discuter contributions‎ m 25 560 octets −13‎ Aucun résumé des modifications annuler
• actudiff 17:1827 juillet 2023 à 17:18‎ Esspe discuter contributions‎ 25 573 octets +165‎ remplacement . vers ⋅ (\cdot) + lien vers opérateur point annuler
• actudiff 17:1127 juillet 2023 à 17:11‎ Esspe discuter contributions‎ 25 408 octets +136‎ notation incohérente : uniformisation du . vers ⋅ (\cdot) annuler Balise : Éditeur visuel : basculé

29 mai 2023

• actudiff 16:5529 mai 2023 à 16:55‎ Boolette discuter contributions‎ m 25 272 octets −19‎ doublon annuler
• actudiff 16:3629 mai 2023 à 16:36‎ SEBYG discuter contributions‎ m 25 291 octets −6‎ Exemple plus compréhensible avec un pays autre que la France annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

29 septembre 2022

• actudiff 16:4129 septembre 2022 à 16:41‎ Jilucorg discuter contributions‎ 25 297 octets −44‎ Révocation des modifications de 37.171.59.104 (retour à la dernière version de Jilucorg) ; Vandalisme infantile annuler Balises : LiveRC Annulation
• actudiff 16:4029 septembre 2022 à 16:40‎ 37.171.59.104 discuter‎ 25 341 octets +44‎ njb annuler Balises : Révoqué Éditeur visuel
• actudiff 16:3729 septembre 2022 à 16:37‎ Jilucorg discuter contributions‎ 25 297 octets −41‎ Révocation des modifications de 37.171.59.104 (retour à la dernière version de Anne Bauval) ; Vandalisme annuler Balises : LiveRC Annulation
• actudiff 16:3729 septembre 2022 à 16:37‎ 37.171.59.104 discuter‎ 25 338 octets +32‎ n annuler Balises : Révoqué Éditeur visuel
• actudiff 16:3529 septembre 2022 à 16:35‎ 37.171.59.104 discuter‎ 25 306 octets +9‎ Aucun résumé des modifications annuler Balises : Révoqué Éditeur visuel

5 juillet 2022

• actudiff 13:185 juillet 2022 à 13:18‎ Anne Bauval discuter contributions‎ m 25 297 octets −10‎ Annulation du vandalisme sournois de 41.77.185.192 (d) annuler Balise : Annulation
• actudiff 10:565 juillet 2022 à 10:56‎ 41.77.185.192 discuter‎ 25 307 octets +10‎ Faute de frappe corrigée, Faute de grammaire corrigée annuler Balises : Révoqué Modification par mobile Modification par application mobile Modification avec l’application Android

30 mai 2022

• actudiff 21:0730 mai 2022 à 21:07‎ Proz discuter contributions‎ 25 297 octets −5‎ Annulation de la modification de 41.143.236.48 (d) annuler Balise : Annulation

29 mai 2022

• actudiff 19:5029 mai 2022 à 19:50‎ 41.143.236.48 discuter‎ 25 302 octets +5‎ →‎Propriétés des opérateurs annuler Balises : Révoqué Éditeur visuel
• actudiff 19:0529 mai 2022 à 19:05‎ Ziron discuter contributions‎ 25 297 octets +50‎ Annulation de la modification de 105.155.152.240 (d) annuler Balise : Annulation
• actudiff 13:2129 mai 2022 à 13:21‎ 105.155.152.240 discuter‎ 25 247 octets −50‎ →‎Propriétés annuler Balises : Révoqué Éditeur visuel

18 mai 2022

• actudiff 23:3118 mai 2022 à 23:31‎ Ambigraphe discuter contributions‎ m 25 297 octets −37‎ cat annuler

28 avril 2022

• actudiff 12:0628 avril 2022 à 12:06‎ LearnToWritePlz discuter contributions‎ m 25 334 octets +13‎ →‎Conjonction annuler Balise : Éditeur visuel

10 mars 2022

• actudiff 01:4410 mars 2022 à 01:44‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 25 321 octets −380‎ →‎Bibliographie : - Cori et Lascar, cf pdd annuler

9 mars 2022

• actudiff 23:239 mars 2022 à 23:23‎ Proz discuter contributions‎ 25 701 octets −7‎ Annulation de la modification de 77.205.116.216 (d) bis, ter ou ... annuler Balise : Annulation
• actudiff 22:569 mars 2022 à 22:56‎ 77.205.116.216 discuter‎ 25 708 octets +7‎ Les paranthèses et le résultat. annuler Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile
• actudiff 15:429 mars 2022 à 15:42‎ Anne Bauval discuter contributions‎ m 25 701 octets +141‎ mef bas de page (dont retrait de LI redondants) + ref(s) pour la formule malmenée annuler
• actudiff 10:239 mars 2022 à 10:23‎ Ziron discuter contributions‎ 25 560 octets −5‎ Annulation de la modification de Goeland444 (d) Merci de foutre la paix à cette expression qui est correcte ! annuler Balise : Annulation
• actudiff 01:129 mars 2022 à 01:12‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 25 565 octets +426‎ →‎Bibliographie : Ajout du Cori et Lascar : Plus de 50 pages, d'un ouvrage de référence à exploiter, avec de vrais théorèmes dedans comme le thm de Stone à exploiter, au delà des choses triviales que sont les distributivités réciproques de la conjonction et de la disjonction l'une relativement à l'autre annuler

8 mars 2022

• actudiff 23:348 mars 2022 à 23:34‎ Goeland444 discuter contributions‎ 25 139 octets +5‎ J'ai modifié les paranthèses et le résultat selon les propriétés de la distributivité que l'algèbre de Boole utilise puisque l'équation a+(b•c) ne peut-être développé. annuler Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile
• actudiff 23:128 mars 2022 à 23:12‎ Anne Bauval discuter contributions‎ 25 134 octets −6‎ (n+1)-ième annulation de la modification de Goeland444 (d) si mon explication répétée précédente ne vous convainc pas, voyez peut-être Algèbre des parties d'un ensemble#Distributivité annuler Balise : Annulation
• actudiff 22:438 mars 2022 à 22:43‎ Goeland444 discuter contributions‎ 25 140 octets +6‎ J'ai modifié la disposition des paranthèses pour se conformer aux propriétés de la distributivité utilisé par l'algèbre de Boole car le symbole " + " n'est pas un multiplicateur. annuler Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile
• actudiff 22:178 mars 2022 à 22:17‎ Anne Bauval discuter contributions‎ m 25 134 octets −7‎ n-ième annulation de la modification de Goeland444 (d) [a ou (b et c)] équivaut à [(a ou b) et (a ou c)] annuler Balise : Annulation
• actudiff 21:128 mars 2022 à 21:12‎ Goeland444 discuter contributions‎ m 25 141 octets +7‎ L'équation a+(b•c)=(a•b)+(a•c) est incorrecte; selon les propriétés de la distributivité, l'équation adaptée devrait-être (a+b)•c= (a•c)+(b•c) annuler Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile
• actudiff 17:368 mars 2022 à 17:36‎ JLM discuter contributions‎ m 25 134 octets −70‎ Révocation des modifications de 77.205.143.220 (retour à la version précédente de Lf(Lx(f)(x)x)Lx(f)(x)x) annuler Balise : Révocation manuelle
• actudiff 17:358 mars 2022 à 17:35‎ 77.205.143.220 discuter‎ 25 204 octets −59‎ Aucun résumé des modifications annuler Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile
• actudiff 17:338 mars 2022 à 17:33‎ 77.205.143.220 discuter‎ 25 263 octets +162‎ Aucun résumé des modifications annuler Balises : Révoqué Nowiki dans un article Éditeur visuel Modification par mobile Modification par le web mobile
• actudiff 17:318 mars 2022 à 17:31‎ 77.205.143.220 discuter‎ 25 101 octets −35‎ Aucun résumé des modifications annuler Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile
• actudiff 17:258 mars 2022 à 17:25‎ 77.205.143.220 discuter‎ 25 136 octets +30‎ Aucun résumé des modifications annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 17:168 mars 2022 à 17:16‎ 77.205.143.220 discuter‎ 25 106 octets −31‎ Aucun résumé des modifications annuler Balises : Révoqué Éditeur visuel Modification par mobile Modification par le web mobile
• actudiff 17:138 mars 2022 à 17:13‎ 77.205.143.220 discuter‎ 25 137 octets +8‎ →‎Propriétés des opérateurs annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 17:118 mars 2022 à 17:11‎ 77.205.143.220 discuter‎ 25 129 octets −5‎ →‎Propriétés des opérateurs annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 16:218 mars 2022 à 16:21‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 25 134 octets +82‎ →‎Propriétés des opérateurs : les parenthèses ne sont pas facultatives surtout s'il y a ambiguïté ; pour rappel (a+b)*c n'est pas équivalent à a+(b*c) , l'une implique l'autre mais pas l'inverse (je laisse en exo) annuler
• actudiff 14:028 mars 2022 à 14:02‎ Ziron discuter contributions‎ 25 052 octets −5‎ Annulation de la modification de 77.205.46.38 (d) annuler Balise : Annulation