Les booléens
Cours
Introduction
La traduction des raisonnements logiques par des opérations algébriques proposée par le
mathématiciens George Boole est un des fondements de l'informatique.
L'algèbre de Boole
Rappels historiques
A partir de 1847, le Britannique George Boole propose un mode de calcul permettant de traduire
des raisonnements logiques par des opérations.
Il crée alors une branche des mathématiques qui definit des opérations dans un ensemble qui ne
contient que deux éléments notés 0 et 1, ou bien Faux et Vrai ou encore Ouvert et Fermé.
En 1938, l'Américain Claude Shannon prouve que des circuits électriques peuvent résoudre tous
les problèmes que l'algèbre de Boole peut résoudre. Avec les travaux d'Alan Turing de 1926, cela
constitue les fondements de ce qui deviendra l'informatique.
Les opérations fondamentales
Dans l'algèbre de Boole les opérations fondamentales sont :
La conjonction : ET (noté & ou . Ou ^).
La disjonction : OU (noté | ou + ou v).
La négation : NON (~ ou ͞ ou ̚ ).
Il existe des opérateurs supplémentaires :
NON ET (NAND).
NON OU (NOR).
OU EXCLUSIF (XOR).
Une table de vérité
Une table de vérité est une table composée d'une colonne pour chaque variable imputée (A et B
par exemple, ou p et q), et d'une colonne où sont inscrits tous les résultats possibles de
l'opération logique.
Chaque ligne de la table de vérité contient ainsi une des configurations possibles des variables
imputées (par exemple : A=vrai=1, B=faux= 0), ainsi que le résultat de l'opération pour ces valeurs.
No. 1 / 6
Opérateurs et table de vérité
L’opérateur ET (AND)
Soit deux variables booléennes a et b : a ET b est vrai si et seulement si a et b sont vrais
L’opérateur OU (OR)
Soit deux variables booléennes a et b : a OU b est faux si et seulement si a et b sont faux
L’opérateur NON (NOT)
Soit une variable a : Non a est vrai si et seulement a est faux.
L’opérateur NON ET (NAND)
Soit deux variables booléennes a et b : a ET b est faux si et seulement si a et b sont vrais
L’opérateur NON OU (NOR)
Soit deux variables booléennes a et b : a NOR b est vrai si et seulement si a et b sont faux
L’opérateur OU EXCLUSIF (XOR)
Soit deux variables booléennes a et b : a XOR b est vrai si et seulement si a ou b sont vrais mais
jamais en même temps
No. 2 / 6
Quelques propriétés
Fonction logique ou expression booléenne
Définition :
Une fonction logique est une combinaison de variables binaires reliées par les opérateurs ET,
OU et NON.
Elle peut être représentée par une écriture algébrique ou une table de vérité ou un tableau de
KARNAUGH ou un logigramme.
Exemple d'écriture algébrique :
Etablir une expression booléenne
Pour établir une expression booléenne à partir d'une table de vérité, on procède de la façon
suivante :
1. On ne conserve que les lignes de la table de vérité où le résultat est à 1.
2. Pour chaque ligne conservé on écrit une expression algébrique de la façon suivante : une
suite de ET avec chaque variable.
Si la valeur de la variable x vaut 0, on écrit !X.
Si la valeur de la variable x vaut 1, on écrit X.
3. On combine chaque expression obtenue précédemment avec un OU.
Par exemple, on dispose de la table de vérité suivante :
No. 3 / 6
a b c Résultat
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0
L'expression booléenne sera :
Comment évaluer une expression booléenne
comme dans une expression mathématique classique, il faut tenir compte des parenthèses.
L'ordre de priorité des opérateurs est le suivant : l'opérateur not pui and puis or et enfin xor.
Exemple : si on veut calculer pour a = 0, b = 1 et c = 1.
En évaluant la fonction logique pour chaque combinaison a,b,c on peut écrire la table de vérité.
Opérateurs logiques en Python
En Python, les booléens se notent True et False mais aussi 0 et 1.
Les opérateurs sont :
opérateur logique Python expression
négation not
conjonction and
disjonction or
Il faut noter également que le résultat d'une comparaison est un booléen.
Exercices
No. 4 / 6
Exercice 1 :
1. Représenter sous la forme d’un schéma électrique la fonction logique de l’exercice page 10.
Les contrôleurs a, b, c, d seront représentés par des contacteurs normalement ouverts. Le
résultat par une ampoule.
2. Représenter la même fonction logique que précédemment sous la forme d’un logigramme.
Représenter et tester votre logigramme avec le logiciel logisim.
Exercice 2 :
Écrire les tables de vérité des expressions suivantes :
Exercice 3 : Les lois de Morgan
Remplir la table de vérité ci-dessous :
A partir de la table de vérité, que peut-on déduire en comparant
avec
avec
Exercice 4 :
1. Écrire la table de vérité de l’expression suivante : (a or b) and (a and b)
2. Comment peut-on simplifier l’expression : (a or b) and (a and b) ?
Exercice 5 :
1. Écrire la table de vérité de l’expression suivante : (a or b) or (a and b)
2. Comment peut-on simplifier l’expression : (a or b) or (a and b) ?
Exercice 6 :
A partir du logigramme :
1. Retrouver l’expression logique
No. 5 / 6
2. Établir la table de vérité
3. Reproduire ce logigramme sur le logiciel Logisim et vérifier votre table de vérité
4. Simplifier la fonction logique obtenue en 1
5. Reproduire cette fonction sur le logiciel Logisim et vérifier que cette fonction donne toujours la
même table de vérité par simulation.
No. 6 / 6