Logique combinatoire

Algbre de bool
Fatima Lakrami

lectronique/ lectricit

ELECTRONIQUE?
L'lectronique est divise en deux domaines
distincts:
- ledomaine analogique, o les variables
peuvent prendre une infinit de valeurs
diffrentes; les signaux varient continment.
Tous les signaux issus des capteurs sont
analogiques, et traduisent des phnomnes
physiques qui varient continment.
- ledomaine numrique, o les variables
prennent uniquement deux tats, un tat haut
et un tat bas.

Diffrence?

Variable??
on dit d'une variable qu'elle est analogique lorsqu'elle varie
de manire continue, ou encore qu'elle peut prendre une
infinit de valeurs diffrentes sur un intervalle.
on dit d'une variable qu'elle est numrique lorsqu'elle varie
de manire discrte (ou quantifie), ou encore qu'elle ne
peut prendre qu'un nombre fini de valeurs diffrentes
(appeles tats) sur un certain intervalle.
on dit d'une variable qu'elle est logique lorsqu'elle ne peut
prendre que deux valeurs diffrentes.
Une variable logique est donc un cas particulier de variable
numrique (2 tats).

Exemples

Voici quelques exemples de grandeurs analogiques:

- la plupart des grandeurs physiques sont
analogiques: temprature, temps, vitesse, position,
pression, etc (*)
- une variable x relle (ensemble R)

Exemples

Toute variable qui ne peut prendre qu'un nombre fini de

valeurs est une variable numrique. Ces valeurs en
nombre fini sont appeles "tats".
Voici quelques exemples de variables numriques:
-une variable dsignant une lettre de l'alphabet (26
tats)
-une variable dsignant une carte dans un jeu de cartes
(52 tats)
-l'tat d'un feu rouge (3 tats)

Plus dexemples.

Grandeur & logique??

Une grandeur logique est un cas particulier de
grandeur numrique: celui o il n'y a que deux
valeurs possibles.
Une des grandeurs logiques les plus videntes, c'est
l'opposition "vrai/faux". Une grandeur qui est soit
vraie soit fausse est une grandeur logique
boolenne, en rfrence l'algbre de Boole qui
est la branche des mathmatiques traitant des
propositions logiques (c'est--dire qui sont soit
vraies soit fausses).

Grandeur & logique??

Mais il existe de trs nombreux autres
exemples de grandeurs logiques. En
particulier toutes les oppositions de deux
concepts peuvent tre traduites sous forme
de grandeur logique. Voici quelques
exemples:
-une lampe est soit allume soit teinte
-un interrupteur galement
-etc

Un peu plus

Terms utiliss
Un bit est aussi une grandeur logique
Indpendemment du fait qu'un bit est un chiffre,
un bit ne peut prendre que deux valeurs
diffrentes. Un bit est donc galement une
variable logique.
Bien que le bit (valant 0 ou 1) et la variable
boolenne (valant "vrai" ou "faux") ne sont pas
des notions rigoureusement identiques, il est trs
courant de confondre en pratique ces deux
notions en associant:
-d'une part l'tat "1" l'tat "vrai"
-d'autre part l'tat "0" l'tat "faux
Un bit est donc la fois une variable logique (une
variable 2 tats) et une variable mathmatique

Algbre de bool
Issus de l'algbre de Bool (mathmaticien Anglais
1815 - 1864), seuls deux tats sont utiliss :
Etat 0 = abscence, faux
Etat 1 = prsence, vrai

On dfinit le complment d'un tat :
Complment de 0 = 1 ; not : /0 = 1
Complment de 1 = 0 ; not : /1 = 0

2. Algbre de Boole

George Boole est un mathmaticien anglais ( 1815-1864).

Il a fait des travaux dont les quels les expressions

( fonctions ) sont constitus par des objets (variables) qui
peuvent prendre les valeurs OUI ou NON.

Ces travaux ont t utiliss pour faire ltude des systmes

qui possdent deux tats sexclus mutuellement :
Le systme peut tre uniquement dans deux tats E1 et
E2 tel que E1 est loppos de E2.
Le systme ne peut pas tre dans ltat E1 et E2 en
mme temps

Ces travaux sont bien adapts au Systmes binaire ( 0 et

1 ).

14

Dfinitions et conventions
Niveau logique : Lorsque on fait ltude dun systme logique il faut bien
prciser le niveau du travail.

Niveau

Logique positive

Logique ngative

H ( Hight ) haut

L ( Low )

bas

Exemple :
Logique positive :
lampe allum : 1
lampe teinte : 0
Logique ngative
lampe allume : 0
lampe teinte : 1

Variable Logique
Une variable logique ( boolenne ) est une
variable qui peut prendre soit la valeur 0 ou 1 .
Gnralement elle est exprimer par un seul
caractre alphabtique en majuscule ( A , B, S ,
)

Fonction logique
Cest une fonction qui relie N variables logiques avec un
ensemble doprateurs logiques de base.
Dans lAlgbre de Boole il existe trois oprateurs de base :
NON , ET , OU.
La valeur dune fonction logique est gale 1 ou 0 selon
les valeurs des variables logiques.
Si une fonction logique possde N variables logiques 2n
combinaison la fonction possde 2n valeurs.
Les 2n combinaisons sont reprsentes dans une table qui
sappelle table de vrit ( TV ).

Exemple
Une table de
vrit

F(A,B,C)= A B C + A B C + A B C +A B C

 Oprateur logique:

Oprateur OUI
a) OUI: la fonction logique la plus basique ou la
sortie est gale lentr.

Oprateur NoN
Non : Ngation (Inverseur) : La lampe est en srie avec le
contact, elle steint quand le contact a est actionn.

Oprateur OU

OU trois variables

Oprateur ET

ET Trois variables

ET :Rcapitulatif
Fonction ET

e1
e2

Pour que la sortie soit 1 :

Il faut que e1 ET e2 soient 1
Pour que la sortie soit 0 :
Il suffit quune entre soit 0
La fonction ragit au niveau 0
S = e1 . e2

&

e1 e2

Oprateur NON-ET
Fonction NON-ET (NAND)e1

&

e2

Pour que la sortie soit 0 :

Il faut que e1 ET e2 soient 1
Pour que la sortie soit 1 :
Il suffit quune entre soit 0
La fonction ragit au niveau 0
S = e1 . e2

e1 e2

OU:Rcapitulatif
Fonction OU

e1
e2

Pour que la sortie soit 1 :

Il suffit quune entre e1 OU e2
soit 1
Pour que la sortie soit 0 :
Il faut que toutes les entres
soient 0
La fonction ragit au niveau 1
S = e1 + e2

>
1

e1 e2

NON-OU
Fonction NON-OU (NOR)

e1

>
1

e2

Pour que la sortie soit 0 :

Il suffit quune entre e1 OU e2
soit 1
Pour que la sortie soit 1 :
Il faut que toutes les entres
soient 0
La fonction ragit au niveau 1
S = e1 + e2

e1 e2

OU exclusif
Fonction OU Exclusif

e1

=
1

e2

Pour que la sortie soit 1 :

Il faut que e1 OU e2 soit 1
Mais pas les 2
Pour que la sortie soit 0 :
Il faut que les entres
soient au mme niveau logique
S = e1 + e2

S = a.b + a.b

e1 e2

NOR-Exclusif
Fonction NOR Exclusif

e1

=
1

e2

Pour que la sortie soit 0 :

Il faut que e1 OU e2 soit 1
Mais pas les 2
Pour que la sortie soit 1 :
Il faut que les entres
soient au mme niveau logique
S = e1 + e2

S = a.b + a.b

e1 e2

Algbre logique
Relations particulires
a.b=b.a

a+0=a

a.0=0

a+b=b+a

a+a=a

a.a=a

a+(b+c)=(a+b)+c
=b+(a+c)

a+1=1

a.1=a

a(b+c)=a.b+a.c

a+a=1

a.a=0

Schmatisation des rgles

Algbre logique
Thorme de de Morgan
aa
a.b=a+b
a+b=a.b
Application principale :
Transformation dune somme en produit et inversement

Symboles logiques

Fonction logique
Etude: VOIR POLYCOPE

Introduction la minimisation logique

Les quations
Le tableau de Karnaugh

Objectif
Apprendre des techniques simples
pour minimiser une quation
logique.

Les fonctions logiques :

Table de vrit
simplification
a

0
0
1
1

0
1
0
1

f1
f2
f3
f4

f = f1.a/b/ + f2.a/b + f3.ab/ + f4.ab

Les fonctions logiques :

Table de vrit
simplification
a

0
0
1
1

0
1
0
1

1
1
0
0

Comment simplifier plus

rapidement
?
f = 1.a/b/ + 1.a/b + 0.ab/
+ 0.ab
f=a/b/ + a/b
f=a/

Les fonctions logiques :

Table de vrit
Tableau de karnaugh
simplification
a
a

0
0
1
1

0
1
0
1

f1
f2
f3
f4

f = f1.a/b/ + f2.a/b + f3.ab/ + f4.ab

f1

f3

f2

f4

Les fonctions logiques :

Table de vrit
Tableau de karnaugh
simplification
a
a

0
0
1
1

0
1
0
1

1
1
0
0

f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab

f=a/b/ + a/b
f=a/

Les fonctions logiques :

simplification
a
a

0
0
1
1

0
1
0
1

1
1
0
0

f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab

f=a/b/ + a/b
f=a/

Les fonctions logiques :

a ne change
simplification
pas de valeur
a
a

0
0
1
1

0
1
0
1

1
1
0
0

b
b change
de valeur

f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab

f=a/b/ + a/b
f=a/

Les fonctions logiques :

simplification
a
a

0
0
1
1

0
1
0
1

1
1
0
0

f = 1.a/b/ + 1.a/b + 0.ab/ + 0.ab

f=a/b/ + a/b
f=a/

f=a/

Les fonctions logiques :

simplification
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

f1
f2
f3
f4
f5
f6
f7
f8

ab
c

00 01 11 10
0

f1

f3

f7

f5

f2

f4

f8

f6

Les fonctions logiques :

simplification Faire la plus grosse patate possible
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
1
1
0
0
0
0

ab
c

00 01 11 10
0

Les fonctions logiques :

simplification Faire la plus grosse patate possible
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
1
1
0
0
0
0

ab
c

00 01 11 10
0

Les fonctions logiques :

simplification Faire la plus grose patate possible
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
1
1
0
0
0
0

ab
c

00 01 11 10
0

Les fonctions logiques :

simplification Faire la plus grose patate possible
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
1
1
0
0
0
0

ab
c

f=a/

00 01 11 10
0

Les fonctions logiques :

simplification
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

Les fonctions logiques :

simplification
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

Les fonctions logiques :

simplification
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

a/b/

Les fonctions logiques :

simplification
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

Les fonctions logiques :

simplification
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

=a/c

Les fonctions logiques :

simplification
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

Les fonctions logiques :

simplification
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

b/c/

Les fonctions logiques :

simplification
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

f=a/b/+c/b/+a/c

Les fonctions logiques :

simplification Nombre minimum de patates
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

f=a/b/+c/b/+a/c

Les fonctions logiques :

simplification Nombre minimum de patates
a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
1
0
1
1
0
0
0

ab
c

00 01 11 10
0

f=c/b/+ca/