Comprendre l'algèbre de Boole : des fondements logiques aux circuits numériques

Les règles mathématiques sont définies par les limites que nous imposons aux quantités avec lesquelles nous travaillons. Quand nous écrivons 1 + 1 = 2 ou 3 + 4 = 7, nous utilisons implicitement l'arithmétique entière, le système de comptage familier enseigné à l'école primaire.

Ces vérités arithmétiques apparemment évidentes ne sont valides que dans le cadre des nombres réels. Dans de nombreux contextes d'ingénierie — comme l'analyse de circuits à courant alternatif (CA) — le modèle des nombres réels échoue car les grandeurs CA possèdent à la fois magnitude et phase. Par exemple, connecter une source CA de 3 volts en série avec une source CA de 4 volts peut produire une tension totale de 5 volts, pourtant l'équation 3 + 4 = 5 serait sans sens si interprétée avec les nombres réels ordinaires.

La résolution est d'adopter un système de nombres différent — les nombres complexes — dont la nature bidimensionnelle permet à l'addition d'incorporer à la fois magnitude et phase. Dans ce système, la même expression arithmétique est parfaitement valide, reflétant le fait géométrique qu'un triangle rectangle avec côtés 3 et 4 a une hypoténuse de 5.

Logique, lois et le besoin de nouveaux fondements

La logique parallélise les mathématiques en ce que ses lois fondamentales dépendent de la définition d'une proposition. La logique bivalente classique d'Aristote, qui classe les énoncés comme soit vrais soit faux, donne naissance à quatre lois fondamentales : Loi d'Identité (A est A), Loi de Non-Contradiction (A n'est pas non-A), Loi du Tiers Exclus (soit A soit non-A), et Loi d'Inférence Rationnelle.

Quand les propositions peuvent prendre des valeurs autres que strictement vrai ou faux, comme en logique floue, ces lois ne tiennent plus. La logique floue permet des degrés de vérité, rendant la Loi du Tiers Exclus et même la Loi de Non-Contradiction inapplicables. Ainsi, les « lois » régissant un système logique sont déterminées par son ensemble de valeurs sous-jacent.

La naissance de l'algèbre de Boole

En 1854, le mathématicien anglais George Boole a formalisé la logique bivalente d'Aristote dans son traité An Investigation of the Laws of Thought (1854). Le cadre de Boole — maintenant connu comme algèbre de Boole — restreint les variables à deux valeurs : vrai (1) ou faux (0). Les opérations arithmétiques dans ce système produisent seulement 1 ou 0 ; il n'y a pas de concept de 2, –1 ou ½.

Bien que cette arithmétique binaire soit inadaptée pour la comptabilité quotidienne ou les calculs de génie électrique, elle s'est avérée transformative pour la conception numérique. La thèse de 1938 de Claude Shannon au MIT, A Symbolic Analysis of Relay and Switching Circuits, a démontré que l'algèbre de Boole pouvait modéliser les circuits marche-arrêt, où les signaux sont soit haut (1) soit bas (0). Cette idée a posé les bases de l'électronique numérique moderne.

Algèbre de Boole vs algèbre ordinaire

Bien que l'algèbre de Boole partage des similarités structurelles avec l'algèbre conventionnelle, son ensemble de valeurs restreint mène à des lois algébriques différentes. Par exemple, en logique de Boole, 1 + 1 = 1 car le OU logique de deux valeurs vraies reste vrai. Une fois que vous acceptez que les variables de Boole ne peuvent être que 1 ou 0, des énoncés qui semblent absurdes en algèbre ordinaire deviennent parfaitement logiques.

Nombres de Boole vs nombres binaires

Il est important de distinguer les valeurs de Boole des numéraux binaires. Les nombres de Boole représentent un seul bit — soit 1 soit 0 — tandis que les nombres binaires sont simplement une notation positionnelle pour les nombres réels. Par exemple, la chaîne binaire 10011₂ vaut dix-neuf en décimal, mais cette valeur n'a pas de place en arithmétique de Boole, qui ne peut exprimer que 0 ou 1.

À cause de cette distinction, la logique de Boole opère sur un seul bit, alors que la notation binaire peut décrire des entiers arbitrairement grands.

FICHES D'EXERCICES ASSOCIÉES :

• Fiche d'exercices sur l'algèbre de Boole
• Fiche d'exercices sur l'algèbre de base et graphiques pour circuits électriques
• Fiche d'exercices sur les mathématiques binaires