Bibliographie & annexes
Présentation
En anglais
RÉSUMÉ
L'algèbre de Boole est une structure mathématique se rapportant à la manipulation des propositions et variables logiques à travers des équations. Les énoncés VRAI et FAUX y sont représentés par des valeurs binaires, tandis que les termes ET et OU deviennent des opérateurs de multiplication et d’addition. L'algèbre de Boole est au cœur de la logique mathématique, de la théorie des ensembles et de la théorie de l'information. Elle est utilisée aussi bien en mathématiques qu'en physique, et veille également aux fondements de l’informatique. Aujourd'hui les applications sont nombreuses, notamment en électronique et en télécommunications.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleABSTRACT
Boolean algebra is a mathematical structure related to the usage of propositions and logical variables through equations. The TRUE and FALSE statements are represented by binary values and the terms AND and OR have become mutiplication and addition operators. Boolealn algebra is at the core of mathematical logic, the set theory and the information theory. It is used both in mathematics and physics and is also at the basis of IT. Its applications are numerous, notably in electronics and telecommunications
Auteur(s)
-
Jean VUILLEMIN : Professeur d'informatique à l'École normale supérieure
INTRODUCTION
Le livre An Investigation of the Laws of Thought de George Boole donne les règles de ce qu'on appelle l'algèbre de Boole. Depuis 1854, le sujet a trouvé d'importantes applications, en mathématiques d'abord, puis en physique, en informatique et dans les télécommunications. L'algèbre de Boole fait maintenant partie des fondements théoriques de toutes ces disciplines. L'évaluation massive de formules booléennes, des milliards de fois chaque nanoseconde, par des puces électroniques, est l'une des clés de notre brave nouveau siècle numérique. La vérification automatique de formules booléennes massives (des millions de portes) est une autre clé dans la conception fiable de divers systèmes numériques critiques.
L'expertise technique et scientifique de référence
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Mathématiques
(166 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Théorie
En anglais
1. Motivations et contexte
1.1 Motivations
L'algèbre de Boole est au cœur de la logique mathématique, de la théorie des ensembles, de la théorie de l'information, des algorithmes et de leur complexité.
-
Calcul des prédicats
Le calcul des propositions (« the Laws of Thought ») donne un langage et des règles pour formaliser les raisonnements intuitifs élémentaires. Une proposition est une formule dont on sait évaluer la valeur de vérité (vrai ou faux) à partir des valeurs de vérité données aux variables d'entrée x1, x2,..., xn.
Ainsi, p (x1, x2) := (x1 et x2) ou (non x1 et non x2) est vraie si x1 = x2 = vrai, ou si x1 = x2 = faux ; elle est fausse sinon. La proposition q (x1, x2) := non (x1 xor x2) lui est équivalente, si xor
![]()
représente le ou-exclusif. En effet, p et q sont deux définitions logiques possibles et équivalentes de l'égalité, car p = q est une tautologie, c'est-à-dire une formule que reste vraie pour toute valeur de vérité donnée aux entrées.
Le calcul des prédicats permet d'appliquer les quantificateurs universel
![]()
et existentiel
![]()
aux variables des propositions. Par exemple, le prédicat![]()
est faux, en général. Il est vrai si p et q représentent les deux propositions ci-dessus.
Le calcul des propositions fait partie des...
et existentiel
aux variables des propositions. Par exemple, le prédicat
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Mathématiques
(166 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Motivations et contexte
BIBLIOGRAPHIE
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Mathématiques
(166 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
