Académique Documents
Professionnel Documents
Culture Documents
une variable logique x pour laquelle on attribue la valeur numérique 0 à l’un des états et la
. ET logique :Intersection logique
Toute variable, ou ensemble de variables quel que soit sont état (0 ou 1) a un inverse
A+ A = 1 A.A= 0 A=A
Somme produit
A+0=A neutre A .1 =A
Page 1
Logique Algébre de BOOLE
OU, notée +, est représentée par le symbole indiqué sur la figure 3 et est définie par la
table de
vérité suivante :
A B Y=A+
B
0 0 0
0 1 1
1 0 1
1 1 1
Table 1
Il est facile de vérifier les propriétés suivantes de la fonction OU :
(A + B) + C = A + (B + C) = A + B + C Associativité
A + B = B + A Commutativité
A + A = A Idempotence
A + 0 = A Elément neutre
A+1=1
1.3 Porte ET
L'opération ET (AND), encore dénommée produit logique ou intersection, a au moins
deux entrées. La sortie d'une fonction AND est dans l'état 1 si et seulement si toutes ses
entrées
sont dans l'état 1. La fonction ET, notée •, est représentée par le symbole indiqué sur la
figure 4 et
est définie par la table de vérité suivante :
A B Y=
A•B
0 0 0
0 1 0
1 0 0
1 1 1
Table 2
Il est facile de vérifier les propriétés suivantes de la fonction ET :
(A • B) • C = A • (B • C) = A • B • C Associativité
A • B = B • A Commutativité
A • A = A Idempotence
A • 1 = A Elément neutre
Page 2
Logique Algébre de BOOLE
A•0=0
D'autre part, les opérations ET et OU sont distributives l'une par rapport à l'autre :
A • (B + C) = (A • B) + (A • C)
A + (B • C) = (A + B) • (A + C)
A Y= Ā
0 1
1 0
Table 3
A B Y=A
B
0 0 0
0 1 1
1 0 1
1 1 0
Nous pouvons formuler de diverses manières la définition précédente : Y=A B est égal à 1
si
et seulement si A = 1 ou B = 1 mais pas simultanément. Ce que nous pouvons écrire :
a b = (a+b) . ( )
Page 4
Logique Algébre de BOOLE
a b = (a . b) + ( . )
Nous avons encore la relation nsuivante qui peut être démontrée en utilisant les théorèmes
de De Morgan : a b = (a+b) .( + )
a + 0 = a Element neutre a . 1 = a
a + 1 = 1 Element absorbant a . 0 = 0
a + a = a Idem potence (redondance) a . a = a
a + = 1 Propriété du complément a . = 0
a + b = b + a Commutativité a . b = b . a
a+b+c=a+(b+c) Associativité abc=a(bc)=(ab)c
=(a+b)+c
3.3 Combinaisons Somme - Produit.
Distributivité :
- du produit par rapport à la somme : a ( b + c ) = a b + a c
Page 5
Logique Algébre de BOOLE
a a = 0 a = 1
a 0 = a a 1 =
Commutativité : a b = b a
Associativité : (a b) c = a (b c)
Complément : = (a . b) + ( . )
Dés que l’on dispose de l’expression d’un circuit logique, il peut être possible de la
minimiser pour obtenir une équation comptant moins de termes ou de variables par terme.
Cette simplification peut se faire de deux façons différentes :
- par l’utilisation des théorèmes de l’algèbre de BOOLE;
- par l’utilisation des tableaux de KARNAUGH.
Dans les deux cas, il est indispensable d’exprimer l’équation sous la forme d’une somme
de produits.
Remarque : Le signe de complémentation ne peut pas surmonter plus d’une variable à la fois.
R= abc+a ( ) S= c ( bd)+ b + a c
T=abc+ab +a c U= ( +b)(a+b+d)
Les tableaux de KARNAUGH permettent la simplification des équations logiques. Ils com-
portent 2n cases, n étant le nombres de variables d’entrée, organisés selon le code GRAY.
( ex : 4 variables donnent 16 cases ).
Chaque case correspond à une combinaison possible des variables d’entrée;
Chaque combinaison exprimée dans l’équation sera représentée par un « 1 » dans la case
cor-
respondante.
Page 6
Logique Algébre de BOOLE
Il est ensuite possible de regrouper les cases par 2, 4, 8, 2 n afin d’éliminer les variables
qui
change d’état dans le regroupement : - un regroupement de 2 cases élimine 1
variable;
- un regroupement de 2x cases élimine x variables.
T1 = x y z + x y + y+ y z
T2 = x + x y + x y z + x y
T3 = y w + z w + w + y + x y
T4 = x y z + z ( x + y)
ab ab
cd 00 01 11 10 cd 00 01 11 10 cd 00 01 11 10
00 1 1 1 1 00 1 0 0 1 00 1 0 0 1
01 1 1 1 1 01 0 1 1 0 01 1 1 1 1
11 0 1 1 0 11 0 1 1 0 11 1 1 0 0
10 0 1 1 0 10 1 0 0 1 10 0 0 0 0
M= N= P=
ab ab ab
cd 00 01 11 10 cd 00 01 11 10 cd 00 01 11 10
00 0 0 1 0 00 0 1 1 0 00 0 1 0 1
01 1 0 1 1 01 1 0 0 1 01 1 0 1 1
11 1 1 1 1 11 1 0 0 1 11 0 1 0 1
10 0 0 1 0 10 0 1 1 0 10 1 1 1 1
Page 7
Logique Algébre de BOOLE
R= S= T=
H= J=
abc abc
de 000 001 011 010 110 111 101 100 de 000 001 011 010 110 111 101 100
00 0 0 0 1 1 1 1 0 00 0 1 1 0 0 1 1 0
01 0 0 0 1 1 1 1 0 01 0 1 1 0 0 1 1 0
11 0 0 0 1 1 1 1 0 11 0 1 1 0 0 1 1 0
10 0 0 0 1 1 1 1 0 10 0 1 1 0 0 1 1 0
K= L=
abc abc
de 000 001 011 010 110 111 101 100 de 000 001 011 010 110 111 101 100
00 1 0 0 1 1 0 0 1 00 1 1 1 0 0 1 1 1
01 0 1 0 0 0 0 1 0 01 0 1 1 0 0 1 1 0
11 0 1 0 0 0 0 1 0 11 1 1 1 1 1 1 1 1
10 1 0 0 1 1 0 0 1 10 1 0 0 1 1 0 0 1
Page 8