Académique Documents
Professionnel Documents
Culture Documents
1
Algèbre de Boole
2
Algèbre de Boole
• C’est 70 ans plus tard que les travaux de Boole gagnent l’intérêt de tous,
lorsque Claude Shannon fait le lien entre l’algèbre de Boole et la
conception des circuits.
• Boole repose sur des axiomes, des postulats et des théorèmes qu’il faut
connaître par cœur !
3
Algèbre de Boole
4
Algèbre de Boole
Transistor
Porte logique
Circuit logique
Unité d’un système informatique
5
Algèbre binaire
Définitions
6
Algèbre binaire
Eléments de base
• Variables d’entrée
Les variables d’entrée sont celles sur lesquelles on peut agir directement.
Ce sont des variables logiques indépendantes.
• Variable de sortie
Variable contenant l’état de la fonction après l’évaluation des opérateurs
logiques sur les variables d’entrée.
7
Algèbre binaire
Eléments de base
Algèbre de Boole sur [0,1] = algèbre binaire
9
Table de vérité
Table de vérité :
Enumération ligne par ligne des valeurs prises par f en fonction des valeurs de
ses paramètres.
10
Notes sur les tables de vérité
11
Propriétés
Commutativité Idempotence
a+b = b+a a+a = a
a.b = b.a a.a = a
Absorption
Associativité a+a.b = a
a+(b+c) = (a+b)+c a.(a+b) = a
a.(b.c) = (a.b).c
Distributivité
a.(b+c) = a.b+a.c
a+(b.c) = (a+b).(a+c)
12
Démonstration distributivité
13
Propriétés (2)
14
Equations logique
Exemple :
Principe de dualité :
Une expression reste vraie si on interverti les 1 par des 0 et les ET par des OU
Exemple :
16
L’opérateur XOR
17
Propriétés du XOR
18
Écriture des équations logiques
Définitions :
• Apparition d’une variable = Lettre
• Produit de variables sous forme simple ou complémentées = Monôme
• Somme de monômes = Polynôme
19
Fonctions logiques et formes canoniques
20
Formes canoniques
Une fonction est sous forme canonique (ou normale) si chaque terme
contient toutes les variables. L’écriture sous forme canonique est unique.
Exemples :
21
Formes canoniques
22
Formes canoniques : Choix
23
Simplification des fonctions
Objectif : Méthodes :
- Algébriques
Fabriquer un système
- Graphiques
- à moindre coût - Programmables
- rapide
- fiable
- peu consommateur
24
Simplification algébrique
Identités remarquables :
Démonstrations : 1 et 2 trivial
25
Simplification algébrique
Règles de simplification :
(Mintermes adjacents = 1 seule variable qui change)
1 : Deux mintermes adjacents Il reste l’intersection commune
1’: Deux maxtermes adjacents Il reste la réunion commune
Exercice 1
Remplissez la table de vérité suivante pour prouver
le théorème de de Morgan :
27
Algèbre de Boole
Exercice 2
Considérons la fonction F définie par la table de vérité suivante :
28
Algèbre de Boole
Exercice 3
• On désire concevoir un circuit qui permet de gérer les notes des examens,
on donne: Examen final (45 %), Examen Partiel (35 %), TPs (20 %).
29
30
31
32
33
Exemples de simplification
• Montrer que
Théorème
d’inclusion
Théorème
d’allégemen
t
Théorème
d’absorption
Exemple de simplification
35
36
Portes et circuits logiques
37
Portes et circuits logiques
38
Portes et circuits logiques
39
Circuits combinatoires : Additionneur
40
Circuits combinatoires : Additionneur
41
Circuits combinatoires : Additionneur
• Formules :
la somme s vaut un si entre les bits x, y et la retenue d’entrée re le nombre
de bits à un est impair; la retenue de sortie rs vaut un si les bits x et y valent
un, ou si l’un ou l’autre de ces bits vaut un alors que la retenue d’entrée re
vaut un.
s = re ⊕ x ⊕ y et rs = x × y + x × re + y × re = x × y + re × (x ⊕ y).
42
Circuits combinatoires : Additionneur
43
Bascules des circuits séquentiels
44
Bascules des circuits séquentiels : Bascule RS
• Cette bascule présente deux états stables pour la configuration des entrées
R = S = 0 : le couple de sorties Q = 0 et Q = 1
et le couple de sorties Q = 1 et Q = 0.
• R = 0 et S = 0 ⇒ Qt+1 = Qt
R = 0 et S = 1 ⇒ Qt+1 = 1 (mise à 1, S : set)
R = 1 et S = 0 ⇒ Qt+1 = 0 (effacement, R : reset)
R = 1 et S = 1 : configurations interdites : tant que R et S restent à 1,
Q et Q restent à 0 mais lorsque R et S changent on ne peut prévoir dans
quel état on se trouve
45 (ex. : montrer ce qui se passe sur le circuit avec R et S passant à 0).
Bascules des circuits séquentiels : Bascule RS
46