Algèbre de boole (structure)

Algèbre de Boole (structure)

Page d'aide sur l'homonymie Pour les articles homonymes, voir Algèbre de Boole.

En mathématiques, une algèbre de Boole ou un treillis booléen est un type de structure algébrique.

Sommaire

Définition

Une algèbre de Boole est un ensemble E contenant au moins deux éléments particuliers, notés \perp et \top (ou 0 et 1), muni de deux lois de composition internes, \vee et \wedge, et qui vérifie les axiomes suivants :

(a \vee b) \vee c = a \vee (b \vee c) et (a \wedge b) \wedge c = a \wedge (b \wedge c)
\quad a \vee b = b \vee a et a \wedge b = b \wedge a
  • 3. absorption : Pour tous a et b de E,
a \wedge (a \vee b) = a et a \vee (a\wedge b) = a
  • 4. distributivité d'une loi par rapport à l'autre : Pour tous a, b et c de E,
(a \vee b) \wedge c = (a \wedge c) \vee (b \wedge c) et (a \wedge b) \vee c = (a \vee c) \wedge (b \vee c)
a \vee a = a et a \wedge a = a
  • 6. bornes : Pour tout a de E,
 \top \vee a = \top et  \perp \wedge a = \perp
  • 7. complémentarité : Pour tout a de E,
a\quad possède un complémentaire noté \neg a, tel que a \vee \neg a = \top et a \wedge \neg a = \perp

Les propriétés 1, 2, 3 et 5 définissent une structure de treillis, en particulier on définit un ordre, en posant

a ≤ b si et seulement si a=ab, (ou de façon équivalente b = ab).

Les éléments \scriptstyle\perp et \scriptstyle\top sont respectivement le plus petit et le plus grand élément du 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 :

  • \top = \neg \perp.
  • \perp = \neg \top.
  • Pour tout a de E, \neg \; \neg a = a.
  • Pour tout a de E, le complémentaire est défini de manière unique. Autrement dit :
a \lor b = \top \;{\rm et}\; a \land b = \bot \Rightarrow b = \lnot a
  • \top est l'élément neutre de la loi \wedge.
  • \perp est l'élément neutre de la loi \vee.
  • Pour tout a et b de E,
\neg(a\vee b) = \neg a \wedge \neg b.
\neg(a\wedge b) = \neg a \vee \neg b
(ces deux dernières formules sont les formules de De Morgan).

Exemples et applications des algèbres de Boole

L'algèbre de Boole binaire

Article détaillé : Algèbre de Boole (logique).

L'algèbre de Boole la plus simple a deux éléments (une algèbre de Boole a au moins deux éléments). On peut la voir comme l'ensemble des valeurs de vérité {Vrai, Faux} muni des lois ET et OU. Elle permet d'interpréter les formules du calcul propositionnel. Le mathématicien britannique George Boole l'introduisit au milieu du XIXe siècle. On l'appelle aussi le Calcul booléen. Les opérations de l'algèbre de boole binaire sont implémentées sous forme de portes logiques dans les circuits électroniques et dans les microprocesseurs des ordinateurs.

Algèbres de Boole sur les ensembles

Les ensembles de parties d'un ensemble, munis des opérations d'union, d'intersection et de complémentation fournissent d'autres exemples d'algèbre de Boole (dont l'algèbre de Boole a deux éléments dans le cas des singletons).

Voir aussi

  • Portail des mathématiques Portail des mathématiques
  • Portail de la logique Portail de la logique

Ce document provient de « Alg%C3%A8bre de Boole (structure) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Algèbre de boole (structure) de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Algebre de Boole (structure) — Algèbre de Boole (structure) Pour les articles homonymes, voir Algèbre de Boole. En mathématiques, une algèbre de Boole ou un treillis booléen est un type de structure algébrique. Sommaire 1 Définition …   Wikipédia en Français

  • Algèbre De Boole (Structure) — Pour les articles homonymes, voir Algèbre de Boole. En mathématiques, une algèbre de Boole ou un treillis booléen est un type de structure algébrique. Sommaire 1 Définition …   Wikipédia en Français

  • Algèbre de Boole (structure) — Pour les articles homonymes, voir « Algèbre de Boole ». En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être… …   Wikipédia en Français

  • Algebre de Boole (logique) — Algèbre de Boole (logique) Pour les articles homonymes, voir Algèbre de Boole. L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les… …   Wikipédia en Français

  • Algèbre De Boole (Logique) — Pour les articles homonymes, voir Algèbre de Boole. L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les variables logiques. Plus… …   Wikipédia en Français

  • Algèbre de boole (logique) — Pour les articles homonymes, voir Algèbre de Boole. L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les variables logiques. Plus… …   Wikipédia en Français

  • Algebre de Boole — Algèbre de Boole Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Une algèbre de Boole est une structure algébrique utile en particulier en logique mathématique. En informatique et en électronique, l… …   Wikipédia en Français

  • Algèbre De Boole — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Une algèbre de Boole est une structure algébrique utile en particulier en logique mathématique. En informatique et en électronique, l algèbre de Boole… …   Wikipédia en Français

  • Algèbre de boole — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Une algèbre de Boole est une structure algébrique utile en particulier en logique mathématique. En informatique et en électronique, l algèbre de Boole… …   Wikipédia en Français

  • Algèbre de Boole (logique) — Pour les articles homonymes, voir « Algèbre de Boole ». L algèbre de Boole, ou calcul booléen, est la partie des mathématiques, de la logique et de l électronique qui s intéresse aux opérations et aux fonctions sur les variables… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”