Un article de Wikipedia.y-project.com.
En mathématiques, une algèbre de Boole ou un treillis booléen est un type de structure algébrique.
[] Définition
Une algèbre de Boole est un ensemble <math>E</math> contenant au moins deux éléments particuliers, <math>\top</math> et <math>\perp</math>, muni de deux lois de composition internes, <math>\vee</math> et <math>\wedge</math>, et qui vérifie les axiomes suivants :
- <math>(a \vee b) \vee c = a \vee (b \vee c)</math> et <math>(a \wedge b) \wedge c = a \wedge (b \wedge c)</math>
- <math>\quad a \vee b = b \vee a</math> et <math>a \wedge b = b \wedge a</math>
- 3. absorption : Pour tous a et b de E,
- <math>a \wedge (a \vee b) = a</math> et <math>a \vee (a\wedge b) = a</math>
- 4. distributivité d'une loi par rapport à l'autre : Pour tous a, b et c de E,
- <math>(a \vee b) \wedge c = (a \wedge c) \vee (b \wedge c)</math> et <math>(a \wedge b) \vee c = (a \vee c) \wedge (b \vee c)</math>
- 5. idempotence : Pour tout a de E,
- <math>a \vee a = a</math> et <math>a \wedge a = a</math>
- 6. bornes : Pour tout a de E,
- <math> \top \vee a = \top</math> et <math> \perp \wedge a = \perp</math>
- 7. complémentarité : Pour tout a de E,
- <math>a\quad</math> possède un complémentaire noté <math>\neg a</math>, tel que <math>a \vee \neg a = \top</math> et <math>a \wedge \neg a = \perp</math>
Les propriétés 1, 2, 3 et 5 définissent une structure de treillis.
Ainsi, une algèbre de Boole est un treillis borné, distributif et complémenté.
[] Propriétés
Les propriétés suivantes se démontrent à partir des axiomes de la définition :
- <math>\top = \neg \perp</math>.
- <math>\perp = \neg \top</math>.
- Pour tout a de E, <math>\neg \; \neg a = a</math>.
- Pour tout a de E, le complémentaire est défini de manière unique. Autrement dit :
- <math>a \lor b = \top \;{\rm et}\; a \land b = \bot \Rightarrow b = \lnot a</math>
- <math>\top</math> est l'élément neutre de la loi <math>\wedge</math>.
- <math>\perp</math> est l'élément neutre de la loi <math>\vee</math>.
- Pour tout a et b de E,
- <math>\neg(a\vee b) = \neg a \wedge \neg b</math>.
- <math>\neg(a\wedge b) = \neg a \vee \neg b</math>
- (ces deux dernières formules sont les formules de De Morgan).
[] Conclusion
La plus simple algèbre de Boole est l'ensemble des valeurs de vérité {Vrai, Faux} muni des lois ET et OU. C'est la première algèbre qui fut créée par George Boole, un mathématicien britannique qui durant le milieu du XIXe siècle restructura complètement la logique. Cette algèbre a donné naissance à tout une branche des mathématiques et de la logique appelée l'Algèbre de Boole.
Rappelons-nous cependant qu'une algèbre de Boole n'est qu'une construction algébrique abstraite qui dépasse le cadre des fonctions logiques. L'ensemble des parties d'un ensemble, muni des opérations d'union, d'intersection et de complémentation en forme un autre exemple, lui aussi très banal, bien que rarement qualifié d'algèbre de Boole.
[] Voir aussi
Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/Algèbre de Boole (structure)
