Algèbre de Boole (logique)

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

L'algèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques. Ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut initiée en 1854 par le mathématicien britannique George Boole.

Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques. Elle fut utilisée la première fois pour les circuits de commutation téléphoniques par Claude Shannon.

Exemple introductif

L'algèbre de Boole des fonctions logiques permet de modéliser des raisonnements logiques, en exprimant un « état » en fonction de conditions. Par exemple dans les expressions

Communication = Émetteur ET Récepteur
Communication serait « VRAI » si à la fois Émetteur ET Récepteur étaient actifs (c'est une fonction logique dépendant des variables Émetteur et Récepteur)
Décrocher = ( Sonnerie ET Décision de répondre ) OU décision d'appeler
Décrocher serait « VRAI » soit si à la fois on entend la sonnerie ET l'on décide de répondre, soit (OU) si simplement l'on décide d'appeler.

L'algèbre de Boole étant un domaine commun à trois disciplines, on rencontre des notations différentes pour désigner un même objet. Dans le reste de l'article, on indiquera les diverses notations, mais on en privilégiera une pour conserver une certaine homogénéité.

Other Languages
Afrikaans: Boolse algebra
العربية: منطق بولياني
azərbaycanca: Bul cəbri (məntiqi)
تۆرکجه: بول جبری
български: Булева алгебра
čeština: Booleova logika
Ελληνικά: Άλγεβρα Μπουλ
Esperanto: Bulea algebro
español: Lógica binaria
فارسی: جبر بولی
Bahasa Indonesia: Aljabar Boolean
日本語: ブール論理
Gĩkũyũ: Boolean Logic
한국어: 불 논리
lietuvių: Būlio algebra
latviešu: Būla algebra
македонски: Булова алгебра
Mirandés: Lógica boleana
Nederlands: Booleaanse algebra
norsk nynorsk: Boolsk algebra
norsk bokmål: Boolsk algebra
Piemontèis: Àlgebra ëd Boole
português: Álgebra booleana
srpskohrvatski / српскохрватски: Bulova algebra
Simple English: Boolean algebra
slovenčina: Boolova algebra
slovenščina: Booleova algebra
српски / srpski: Булова алгебра
українська: Алгебра логіки
Tiếng Việt: Đại số Boole
中文: 逻辑代数