Discussion:Algèbre de Boole (logique)

message: * les tables de vérité que je connais se présentent comme un tableau à double entrée, et pas un tableau à une entrée, ie: on choisit la bonne ligne pour a, la bonne colonne pour b et on lit le résultat de op(a,b) sur la case correspondante;
* dans la définition de table de vérité, je me suis demandé ce que pouvaient bien être x1, x2, etc... Peut-être qu'un exemple sera plus parlant...
* qualifier le 'et', le 'ou' et le 'non' d'élémentaires me semble faux. "de base" oui, "élémentaire", non: en effet, à côté du non-et et du non-ou, qui sont (chacun, pas forcément les deux simultanément) capable de reconstituer tous les autres;
* d'ailleurs puisqu'on en parle, ce dernier résultat est des plus intéressants à mentionner (et prouver?) dans cet article, dans la mesure ou cela a des applications, par exemple en électronique;
* peut-être faut-il aussi mentionner que toute fonction de vérité sur un nombre fini de variable se décompose selon ces opérateurs (il y a même des histoires de formes normales conjonctives/disjonctives, des questions de PROLOG, etc...);
J'espère avoir fait des remarques constructives dans le lot...
Snark
:Les tables de vérité utilisées dans l'article me semblent cohérentes avec l'usage : une colonne par entrée (typiquement côté gauche) et une colonne par sortie (à droite). Les tables à double entrée sont plutôt des tables de Karnaugh ? - Wikiwill (discuter) 17 juin 2021 à 10:25 (CEST)
thread_title: Remarques sur l'article

message: Il faudrait éviter les doublons avec la page Calcul des propositions que j'ai complété il y a peu.
Il faut aussi réécrire la page pour remplacer les notations avec | par celle utilisant le mode mathématique.
Ellisllk 16 jul 2003 à 22:18 (CEST)
thread_title: Doublon avec Calculs de proposition

message: Qui est Alfred Boole? Je pense que vous allez trouver que c'est GEORGE Boole qui est le créateur de l'algebre de Boole.
Jonny G
:Merci, Jonny. -- Looxix 16 aoû 2003 à 15:35 (CEST)
thread_title: George Boole et non Alfred Boole

message: Il me semble qu'on aurait tout aussi bien pu ecrire:
* Le ET (opération .) est une opération (en fait une loi de composition interne) dont 1 est l'élément neutre.
* Le OU (opération +) est une opération (en fait une loi de composition interne) distributive et associative par rapport au ET.
* L'ensemble des booléens munie de l'opération ET est un groupe commutatif.
* ....
Pourquoi priviléger une forme ? Ne serait-il pas interressant de présenter ça, en remarque, peut-être. Je ne le fais pas moi-même, je ne suis pas assez pointu dans le domaine--Ssire 7 jul 2004 à 08:37 (CEST)
thread_title:  Notation . et + 

message: Dans cet article, il manque l'essentiel : la définition formelle de la structure algébrique qu'est l'algèbre de Boole !!! (A savoir un ensemble muni de deux lois de composition internes idempotentes avec élément neutre et mutuellement distributives, etc, etc ...). Le problème, c'est que si je l'ajoute, ça va faire doublon avec les soi-disant "propriétés" explicitées plus loin (qui font en fait partie des axiomes de cette structure !). Bon, je m'en vais réfléchir à une possible refonte.--Ąļḋøø 24 oct 2004 à 20:00 (CEST)
thread_title: Définition formelle ?

message: «ā se lit « a barre » et compte comme l'inverse de a. (0 si a=1, 1 si a=0)»
: le terme "inverse" est-il réellement le bon ici? J'ai un bouquin qui parle d'algèbre de boole, si je le retrouve je verrai ce qu'il en dit Esp2008 5 déc 2004 à 22:22 (CET)
replies: text:  En électronique, on parle bien d'inversion pour passer de a à NONa HB 12 avr 2005 à 13:01 (CEST)
thread_title:  inverse 

message: L'article me semble très (trop) dense) et il ne pourra aller qu'en croissant. Je propose donc une cission 
*Algèbre de Boole (algèbre) parlant de l'ensemble muni de ses deux lois
*Algèbre de Boole (fonction logique) qui devrait à terme contenir l'équivalent d'un bouquin et donc qui devra probablement renvoyer sur des articles plus spécifiques
L'algèbre de Boole (fonction logique) est la partie des mathématiques et de l'électronique qui s'intéresse aux opérations et fonctions sur les variables logiques
Avec une décomposition
===Définition===
d'une valeur de vérité, une variable logique, une valuation , d'une fonction ou d'un opérateur
===table de vérite===
===Opérateurs fondamentaux===
ET, OU, NON (l'actuel chapitre opérateurs logique)
=== Propriétés opératoires ===
===Réduction des opérateurs logiques ===
chapitre présentant la réduction des opérateurs XOR, EQV, IMP et INH et renvoyant sur d'autres articles créés ou  à créer 
*methode de Quine-mcCluskey
*méthode des tremes irréductibles
*diagramme de Karnaugh
=== Exemple d'opérateur logique ===
cela necessitera un grand changement 
*renommage de l'article en Algèbre de Boole (fonction logique)
* transformation de la page Algèbre de Boole en page d'homonymie, 
*Création d'une page Algèbre de Boole (algèbre)
C'est pourquoi je fait d'abord cette proposition avant de me lancer (dans une semaine) dans une réalisation.HB 12 avr 2005 à 13:01 (CEST)
thread_title:  Proposition de refonte

message: cela necessitera un grand changement 
*renommage de l'article en Algèbre de Boole (fonction logique)
* transformation de la page Algèbre de Boole en page d'homonymie, 
*Création d'une page Algèbre de Boole (algèbre)
C'est pourquoi je fait d'abord cette proposition avant de me lancer (dans une semaine) dans une réalisation.HB 12 avr 2005 à 13:01 (CEST)
thread_title:  Exemple d'opérateur logique 

message: ------
* Nous nous donnons un ensemble V de symboles appelées variables logiques. Une valuation de V est une fonction qui à chaque variable logique associe une valeur de vérité. On supposera que V est un ensemble fini.
::L'idée intuitive que l'on doit avoir d'une variable logique est celle d'une condition de la situation réelle observée, qui peut être satisfaite (état à VRAI), ou non (état à FAUX). Une valuation est la donnée de l'état de tout le système observé.
::Exemple avec un état:
::: 0 = lampe éteinte
::: 1 = lampe allumée
*L'algèbre de Boole des fonctions logiques est l'algèbre des fonctions qui à une valuation de V associent une valeur de vérité. Les opérations \vee, \wedge et \neg, toujours appelées OU, ET et NON se déduisent des opérations OU, ET et NON de l'algèbre des valeurs de vérité (par exemple : la négation d'une fonction logique f est la fonction logique NON(f) qui à une valuation v associe NON(f(v))).
:Dans la pratique (dans le cadre de la logique propositonnelle), ces fonctions sont construites :
:*soit à partir des valeurs de vérité 0 et 1 : ce sont les fonctions logiques constantes notées aussi 0 et 1 et qui valent toujours respectivement FAUX et VRAI quelle que soit la valuation des variables logiques
:*soit à partir d'une variable logique p : c'est la fonction notée p (le même symbole que la variable) où p(v) vaut VRAI si et seulement si v(p) vaut VRAI
:*soit à partir d'autres fonctions logiques, composées entre elles par les opérateurs logiques ET, OU et NON
:Notons que selon la logique utilisée, il peut exister d'autres constructions (par exemple avec des quantificateurs, dans la logique du premier ordre). Dans le cas où V est fini (le cas qui nous intéresse), les constructions données plus haut permettent d'obtenir toutes les fonctions logiques.
----------
N'ayant pas bien compris les notions développées dans ces paragraphes, je n'ai pas réussi à leur trouver une place. Si quelqu'un peut traduire plus simplement et l'intégrer, cela peut être intéressant. HB 20 avr 2005 à 21:19 (CEST)
thread_title:  Que faire de cette partie? 

message: Il a d'abord été écrit 
a OU b est vrai si et seulement si a est vrai ou b est vrai. Le ou en français n'est pas exclusif donc permet de considérer aOUb vrai dans le cas où a est vrai et b aussi
la définition a ensuite été transformée en a OU b est vrai si a est vrai ou si b est vrai . Affirmation tout à fait juste mais qui, en toute théorie, ne définit pas complètement la  loi
si a est vrai et b faux alors a OU b est vrai
si a est vrai et b est vrai alors a OU b est vrai
si a est faux et b est vrai alors a OU b est vrai
mais cela ne dit rien sur le cas où a est faux et b est faux
d'où le retour à la première formulation. HB 27 septembre 2005 à 18:54 (CEST)
replies: text: j'ai effectivement modifié un peu vite, et la remarque sur la non def du "a faux OU b faux" est tout à fait juste. Cela dit, c'est le problème de definir un OU rigoureux avec un OU du langage courant, qui n'est pas si systematiquement inclusif, loin de là (cf. le fromage OU dessert des menus de resto cité plus haut..., quand c'est le ET qui prend valeur de OU inclusif dans "fromage ET dessert") Quitte à être redondant ne vaudrait il pas mieux un "si et seulement si A vrai, B vrai ou A et B vrai". Ou encore: AouB faux si et seulement si A faux ET B faux. (pourquoi toujours privilégier les def par Vrai ? Faux est une valeur d'un statut égal à vrai...)--Ssire 27 septembre 2005 à 19:14 (CEST)

text: Suite: Une définition se doit d'être éclairante, en utilisant un OU flou pour définir un OU rigoureux, on n'est pas très éclairant...En donnant les trois cas (Avrai)OU(Bvrai)OU(Avrai ET Bvrai), on lève l'ambiguité du OU du langage courant...--Ssire 27 septembre 2005 à 21:43 (CEST)
replies: text:  Entièrement d'accord,. C'est la raison pour laquelle j'ai conservé la précision entre parenthèse: (notons que etc.)HB 27 septembre 2005 à 22:10 (CEST)
thread_title:  Définition de OU 

message: * Même s'il est assez complèt, l'article est trop matheux. On doit pouvoir le rendre plus fluide.
* "A OU B est vrai" si au moins "A est vrai" ou "B est vrai". Une définition du OU qui de plus justifie la notation "≥1" pour les portes logiques des schéma normalisés éléctroniques ou pneumatiques. Par opposition à la fonction OU exclusive "=1".
* Remarque amusante: prenez la table de vérite du OU et inverser tous les 0 et 1, vous obtiendrez la table de vérité du ET. C'est sur cette propriété que que reposent le théorèmes de Morgan.
* enfin il y a quelques relations avec les probabilités (ET: intersection ; OU: réunion; NON: complémentarité...)
--Ruizo 8 mars 2006 à 08:15 (CET)
thread_title:  Remarques 

message: Il est dit dans la partie Priorité de l'article qu'il était choisi de conserver celle des opérateurs + et ., ce qui m'étonne : pour l'expression a.b+c, on peut très bien choisir de réécrire celle-ci sous la forme a.c+b.c pour faciliter l'évaluation. C'est d'ailleurs pour cette raison que certaines personnes préfèrent ne pas utiliser ces notations de + et . qui induisent en erreur à casue de l'habitude qu'on a dans leur manipulation, et d'utiliser plutôt \land et \lor.
:Ton problème c'est que c'est faux. a.b+c != a.c+b.c; a.c+b.c == (a+b).c; L'algèbre de Boole n'utilise pas . et + pour rien, bien au contraire… On peut d'ailleurs lire dans l'article la demi-bêtise « On privilégiera dans la suite la notation +, mais on prendra garde que cette loi n'a pas de rapport avec l'addition que l'on connait. » Encore faux, le rapport avec l'addition que l'on connait existe. En algèbre de Boole, l'addition et la multiplication ont les mêmes propriétés que celle de l'espace euclidien et renvoient le bit de poids fort du résultat de l'opération que nous connaissons :
:1+1=10
:Lacrymocéphale 4 avril 2009 à 13:19 (CEST)
thread_title:  Priorité 

message: Alors voila les problèmes, je suis pas un pro de la logique, je suis qu'en première S, et j'ai été bien surpris par les tableaux de vérité proposés. 
Fonction                                        	Table de verité	   	                  	              	              	
\overline{ a + b } = \overline{a} . \overline{b}	
{| border cellspacing="0" width="150"	   	                  	              	              	
a                                               	b              	a+b	\overline{ a . b }	\overline{ a }	\overline{ b }	\overline{a} . \overline{b}
0                                               	0              	0  	1                 	1             	1             	1
0                                               	1              	1  	0                 	1             	0             	0
1                                               	0              	1  	0                 	0             	1             	0
1                                               	1              	1  	0                 	0             	0             	0
: Dans les deux cas, l'expression ne sera VRAIE que si a et b sont fausses.
Regardez bien le tableau, perso, j'aurais apposé celui ci:
a	b	a+b	\overline{ a + b }	\overline{ a }	\overline{ b }	\overline{a} . \overline{b}
0	0	0  	1                 	1             	1             	1
0	1	1  	0                 	1             	0             	0
1	0	1  	0                 	0             	1             	0
1	1	1  	0                 	0             	0             	0
Mais je suis qu'en première S, je me le suis pas permis.
Ensuite regardez bien le second tableau ET son commentaire:
Fonction                                        	Table de verité	     	                  	              	              	
\overline{ a . b } = \overline{a} + \overline{b}	
{| border cellspacing="0" width="150"	     	                  	              	              	
a                                               	b              	a . b	\overline{ a . b }	\overline{ a }	\overline{ b }	\overline{a} + \overline{b}
0                                               	0              	0    	1                 	1             	1             	1
0                                               	1              	0    	1                 	1             	0             	1
1                                               	0              	0    	1                 	0             	1             	1
1                                               	1              	1    	0                 	0             	0             	0
: Dans les deux cas, l'expression ne sera VRAIE que si a ou b sont fausses.
Voila euh, la, si vous regardez bien le tableau, l'expression est fausse que si a et b sont vraies, pas comme le dit l'article.
Voila, et, puis, voila euh, je réexplique que si j'ai pas moi même édité l'article, c'est que j'en suis vraiment pas sur.--86.203.146.127 3 décembre 2006 à 18:26 (CET)
thread_title:  Raisons de la demande de vérification 

message: Toutes les discussions vont ci-dessous.
Pour le premier tableau, j'ai corrigé l'erreur de typo. Pour le second tableau, ta phrase est la même que celle de l'article, en l'occurrence correcte si ne m'abuse : non(a ET b) <=> non a OU non b, ie. expression vraie si a OU b faux. jd ❂ 3 décembre 2006 à 18:39 (CET)
replies: text: Ah oui, c'est très ambiguë de mon point de vue. Pas remarqué en fait ^^--86.203.146.127 3 décembre 2006 à 18:48 (CET)
replies: text: Tu manques peut-être de pratique ;) Ta phrase est simplement l'équivalence logique de celle écrite dans le corps de l'article. Pour expliciter les choses, en algèbre booléenne, on travaille en binaire, donc ça nous permet de dire que, si quelque chose est vraie si une autre est fausse, alors le quelque chose est faux si l'autre est vraie. Note qu'un monde binaire serait étrange (si le fait que ton chat soit bleu implique que tes cheveux soient sales, alors le fait que tu te laves les cheveux aurait pour conséquence que ton chat ne serait pas bleu. Oui, mais il serait quoi, alors ? Dans le monde booléen, il serait juste « non bleu », ce qui est ennuyeux ^^). Somme toute, les tables ci-dessus ne sont que l'extension à deux variables de cet état de fait, pour les cas non ET, non OU. jd ❂ 3 décembre 2006 à 18:52 (CET)
replies: text: L'histoire sur un monde binaire me rappelle la blague mathématique (ou logique?) de "C'est un garçon ou une fille?" ^^ (PS, j'ai eu une déconnection 24h, mon IP a changé)--82.121.250.249 3 décembre 2006 à 19:14 (CET)
thread_title:  Discussions et commentaires 

message: Sur la page, dans simplification il est écrit que : a+ \overline{a} . b = a + b ce qui juste simplement faux,
En effet ca serais considéré que si a = 1 alors b=0 et inversement ce qui n'est nullement préciser dans l'énoncé.
Sauf a préciser cette énoncé a+\overline{a} . b= a+b est un non sens, il eu fallut ecrire a NOR b.
Ne peux on pas simplement supprimer cette ligne de la section ?
: Pourquoi l'égalité a+ \bar{a} . b = a + b  obligerait-il b à être nul quand a serait égal à 1?  A moins que tu ne confondes l'addition normale et l'addition logique, dans celle-ci 1 + 1 = 1 .  Donc pour a = 1  et b = 1, l'égalité s'écrit 1 + 0.1 = 1  = 1 + 1.  Je ne vois pas où tu vois un problème. HB (d) 21 avril 2009 à 12:03 (CEST)
replies: text:  Remarque : d'après les références, c'est en électronique que l'on note "+" le ou inclusif. Il me semble bien que c'était ce que faisait Boole (et Schröder ?), et ça perdure apparemment dans certains domaines. Mais en logique mathématique ou en informatique je ne l'ai jamais vu pratiquer. La confusion est quand même facile avec l'addition sur Z/2Z (ou exclusif), surtout que c'est finalement Z/2Z que traite cet article, et il faudrait peut-être changer de symbole (si ça ne vexe pas trop les électroniciens). Proz (d) 24 avril 2009 à 14:42 (CEST)
replies: text:  Il me semble que dans la section notation toutes les notations sont indiquées. Cette page sert de point d'entrée à tout un tas d'articles pour électronicien. le matheux a sa page (algèbre de Boole (structure)), j'ai sous les yeux tout un livre où les notations + et . sont utilisées (certes il est un peu vieux : introduction à l'algèbre de Boole et aux dispositifs logiques, Gerard Hornes et Melvin Heilweil) mais d'autres livres sont encore en circulation utilisant cette notation , l'article Fonction logique cite aussi ces notations comme opérateurs booléens. Elles simplifient grandement la lecture des expressions logiques et non ce n'est pas de Z/2Z que traite cet article. Pour toutes ces raisons, j'ai plutôt tendance à vouloir  laisser ces notations utilisées dans le domaine professionnel à moins que des électroniciens viennent nous dire qu'ils ont finalement changé de notations. HB (d) 24 avril 2009 à 16:31 (CEST)

text:  Par Z/2Z, je veux dire {0,1}, avec des lois qui s'expriment, directement ou non, avec l'addition et la multiplication usuelles, ce qui est difficilement contestable (les électroniciens doivent avoir aussi besoin de (Z/2Z)^n, qui est également une algèbre de Boole). Je ne crois pas non plus que la notation simplifie la lecture des expressions, sauf pour ceux qui en ont l'habitude évidemment, je trouve justement qu'elle la complique vu l'ambiguïté inhérente (je suis d'accord que tout est bien précisé dans l'article) et c'est le cas au moins pour l'initiateur de ce paragraphe (dans le même ordre d'esprit il ne faudrait pas non plus noter + le ou exclusif, ce qui serait le défaut symétrique). Sur en: les diverses (c'est un vrai foutoir sur en: l'algèbre de Boole, voir :en:Boolean algebra) versions ont pris soin d'utiliser des notations non ambiguës. L'impression que je retire de la lecture de ces articles et de leurs sources et que les électroniciens n'ont pas changé de notation, mais est-ce qu'il faut pour autant la conserver pour un article dont rien n'indique qu'il est spécialisé pour électroniciens ? Ceci dit ça ne me démange vraiment pas du tout de faire le changement, c'était juste pour prendre le pouls. Une solution, mais qui pousse au morcellement, serait de changer le nom de l'article (électronique) plutôt que (logique).  Proz (d) 24 avril 2009 à 17:30 (CEST)
replies: text:  Peut-être par respect pour M. Boole . Ceci dit cela me gêne de te voir écrire que l'on se sert de l'addition usuelle (même indirectement) alors que ça n' est justement pas le cas. Mais, je ne vois pas pourquoi en fait, moi, une matheuse, je défendrais une notation d'électronicien. Ils n'ont qu'à venir ici défendre eux-même leur bout de gras. Donc fais à ta guise si cela te chante et que personne d'autre que moi ne réagit (mais il y a du boulot à tout réécrire). HB (d) 24 avril 2009 à 18:12 (CEST)

text:  Le boulot,  en utilisant des outils d'édition pour les substitutions ... mais j'ai juste donné un avis, je n'ai aucune intention de presser les choses. Ça n'aurait de sens de modifier que s'il y avait un accord assez large (c'est mal parti) et éventuellement dans le cadre d'une reprise plus globale Ceci dit je ne comprend pas la gêne.  Proz (d) 24 avril 2009 à 21:05 (CEST)

text:  Après avoir eu l'occasion d'en savoir un peu plus, je n'ai plus aucun doute que les notations de l'article sont encore très utilisés pour les circuits logiques (électronique, bases de l'informatique). C'est finalement plutôt le titre qui est à revoir que les notations (cf. ci-dessous) et il faudrait être très clair sur le fait que ces notations  ne sont pas utilisées universellement (et justement pas en logique en général, du moins dans les livres de logique mathématique). Proz (d) 31 janvier 2011 à 16:48 (CET)
thread_title:  Erreur dans l'intitulé "Simplification" 

message: Le titre actuel prête à confusion. Il me semble que les aspects traités sont ceux du calcul algébrique sur les fonctions booléennes (fonctions d'un ensemble fini dans {0,1}), c'est-à-dire dans une structure d'algèbre de Boole finie, mais algèbre ne me semble pas à prendre au même sens que dans algèbre de Boole (structure), mais au sens (probablement plus courant) de calcul algébrique. Il me semble que algèbre de Boole (calcul booléen) irait. Proz (d) 30 janvier 2011 à 17:45 (CET)
thread_title:  Titre 

message: Est-ce que je deviens fou ou bien le 2ème exemple de la propriété de distributivité est faux ? :
a +( b . c ) = ( a + b ) . ( a + c )
Il ne me semble pas que la formule ci-dessus soit vraie…
: Non c'est correct en algèbre de boole binaire, si a est à "1" alors dans les deux cas la formule vaut 1. Si a est à 0 alors il faut que a et c soient tous les deux à 1 pour que les deux côtés de l’équation valent 1. Faites une table de vérité si vous n'êtes pas convaincus ... — TomT0m [bla] 23 septembre 2015 à 15:14 (CEST)
thread_title:  Question 

message: La page n'est pas fausse, mais, peu réaliste, se perd dans les détails, et a déjà soulevé nombre de remarques.
=== Opérateurs ===
Distinguer les opérateurs (usage massif, propriétés claires) et les fonctions (quelconques).
Tabuler les notations en distinguant (1) le nom (2) la notation usuelle retenue (3) les autres notations. 
On pourrait de même tabuler les propriétés générales : associativité, commutativité, élément neutre, élément absorbant, idempotence, distributivité(s), auxquelles s'ajouteraient quelques propriétés spécifiques. 
* opérateurs fondateurs : et, ou, non (algèbre de Boole); 
* ouExclusif : avec le 'et', il permet une approche anneau de Boole ;
* opérateurs suffisants à eux seuls
** soit NI soit ON (Sheffer, Pierce, Ivanescu)  (--> versions électroniques à n entrées, commutatives mais non associatives)
* autres opérateurs binaires/dyadiques
** impl, equ du calcul propositionnel ; inh/sauf
* opérateurs triadiques :
** sélecteur booléen (-> arbres de décision)
** majorité (-> addition, multiplication binaire ; outils à seuil -> neurones formels)
=== Relation d'ordre ===
Introduire éventuellement l'ordre large "<=", en notant qu'ici tout produit est inférieur à ses facteurs, et que a <= b entraîne a+b = b. "<=" est alors l'image algébrique de l'implication, et (a --> b ) ===> ( a<= b) ===> ( a + b = b). 
===Formulaire===
Distinguer les formules fondatrices des formules déduites.
=== Notations ===
* pour le OU, le terme traditionnel de disjonction est très malheureux (jusqu'à engendrer une disjonction exclusive!) et je me demande si adjonction ne serait pas préférable.
* Utiliser si possible  \mathbb B = \{0, 1\}
* Pour la complémentation, Eviter la notation surlignée : (a+g(b+c')'+def)' est plus facile à taper que ....
=== Tables de Vérité ===
Peu utilisables au-delà de 5 variables (32 lignes). La somme binaire de 2 octets demande 9 fonctions de 17 variables (2x8 + report).
=== Dualité ===
S'interprète comme effet de la permutation des 0 et des 1. Au delà de la règle d'Occam/De Morgan, la notion de dualité des fonctions, des opérateurs duaux (ET/OU, NI/ON, OUEX/EQUIV...), autoduaux (MAJ)... peut expliquer/justifier nombre de formules de complémentation.
=== Principe des 2 couches ===
Toute somme de monômes peut être réalisée par une double couche de ON, tout produit de sommes peut être réalisé par une double couche de NI, toute fonction peut être réalisée par sommation (OUEX) de produits (ET) de variables.
En effet, a'+bcd =(a.(b'+c'+d'))'=(ab'+ac'+ad')' = (a'+b)(a'+c)(a'+d) </br>mais aussi a'+bcd = a'(+) bcd (+) a'bcd = 1(+) a (+)abcd.
=== Fonction logique ===
Laissons à cette autre page la spécification des fonctions booléennes (complètes ou partielles) et la question de leur synthèse selon les opérateurs imposés, synthèse optimisable en fonction de coûts dépendants de l'environnement du problème.
--Lf69100 (discuter) 15 octobre 2015 à 14:43 (CEST)
thread_title:  Tardives suggestions 

message: Laissons à cette autre page la spécification des fonctions booléennes (complètes ou partielles) et la question de leur synthèse selon les opérateurs imposés, synthèse optimisable en fonction de coûts dépendants de l'environnement du problème.
--Lf69100 (discuter) 15 octobre 2015 à 14:43 (CEST)
thread_title:  Fonction logique 

message: Réponse à  : je crois que cette référence est plutôt adaptée à l'article Algèbre de boole (structure), qu'à celui-ci, le théorème de Stone est traité là bas. Proz (discuter) 9 mars 2022 à 22:50 (CET)
replies: text: Oui en effet ! Ce présent article, au moins en l'état (l'article anglais est bcp plus général) ressemble plus à une n_ième présentation du calcul propositionnel centré sur le système complet de connecteurs {vrai, faux, non, et, ou inclusif}. L'article Algèbre de Boole (structure), que je découvre,  est plus proche de l'angle d'attaque du Cori et Lascar qui est de définir,  une "algèbre de Boole" comme un anneau de Boole (article doublon ?) donc avec {vrai, faux, non, et , ou exclusif}. Je supprime donc la ref au Cori et Lascar ici, mais importe dans l'autre article les améliorations biblio faites par Anne. --λf(λx(f)(x)x)λx(f)(x)x    = Y 10 mars 2022 à 00:41 (CET)
thread_title:  Cori-Lascar ? 

message: Si ce présent article a pour vocation durable de ne parler que du système {vrai, faux, non, et, ou inclusif} autant utiliser les notations usuelles soient : 
* "∧" pour la conjonction
* "∨" pour la disjonction inclusive
et non les notations "+" et "." usuelles pour parler d'anneaux comme ceux de Boole (voir section du dessus).
Cela aura aussi l'immense avantage, vu les modifications de ces derniers jours, de faire comprendre aux lecteurs de cet article qui demeure élémentaire, qu'on ne parle pas de l'addition et de la multiplication usuelles sur les entiers ou les réels et qu'on a bien :
* a + (b \cdot c)  = (a + b)\cdot (a+c) _____________________(1)
car cela doit être lu comme :
* a ∨ (b ∧ c)  <==> (a ∨ b) ∧ (a ∨ c)_____________________________________(2)
Bref, êtes vous ok pour remplacer les écritures comme (1) par des écritures comme (2) dans l'article ? Pis si oui, qui s'y colle (c'est fatiguant avec risque d'erreur importante ; mais bon on va tous relire) ;-) ? --λf(λx(f)(x)x)λx(f)(x)x    = Y 10 mars 2022 à 01:15 (CET)
replies: text: Personnellement, je ne m'y oppose pas mais je n'en sens pas l'utilité. Cette notation est extrêmement courante et est présente sur l'article depuis quasiment sa création. Les sources utilisent les notations plus faciles à lire + et . (du moins c'est le cas du vieux bouquin que j'ai sous les yeux :Introduction à l'algèbre de Boole et aux dispositifs logiques de Heiweil et Hoernes). On va s'embêter à réécrire tout l'article (sans moi) alors qu'il suffirait d'écrire en clair l'avertissement concernant le comportement de + comme il figurait au moins jusqu'à 2013. HB (discuter) 12 mars 2022 à 10:12 (CET)
thread_title:  Proposition de changement de notations