You are on page 1of 43

Unit denseignement : Bases de systmes logiques (BSL)

Portes logiques et algbre de Boole


Etienne Messerli & collgues REDS
19 septembre 2012
Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 1

Polycopi : Electronique numrique


Portes logiques et algbre de Boole


chapitre 4, pages 35 54

Circuits logiques combinatoire


9Simplification, tables de Karnaugh chapitres 5-1 5-6, pages 55 64

Symboles utiliss
chapitre 4-9, pages 46 et 47

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p2

Principe de la logique (postulat)

tre logique, cest avoir une rponse unique sans contradiction :


9 Pas dAffirmation et de Ngation en mme temps !!! 9 Pas de Vrai et de Faux en mme temps !!!
Une lampe ne peut jamais tre Allume (ON) et Eteinte (OFF) en mme temps

OFF
Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p3

principe de la logique (postulat)

tre logique, cest avoir une rponse unique sans contradiction :


9 Pas dAffirmation et de Ngation en mme temps !!! 9 Pas de Vrai et de Faux en mme temps !!!
Une lampe ne peut jamais tre Allume (ON) et Eteinte (OFF) en mme temps

ON
Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p4

principe de la logique (postulat)

On voit clairement une Variable binaire :

0 OFF

1 ON
0

OFF
Copyright 2012 EMI, REDS@HEIG-VD

ON
Portes logiques et algbre de Boole, p5

Systme logique
C'est un systme qui traite l'information de faon logique Pour tudier un systme logique, il faut connatre les fonctions de base (les composants) et le langage mathmatique qui permet de dcrire un comportement sous forme dquations X Y Z Pour un additionneur:

Z = (X, Y) 0 0 1 1 0 1 0 1 0 1 1 0
p6

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

Systme binaire
Systme logique qui emploie des informations lmentaires (signaux) deux valeurs Avantages :

9on peut utiliser des interrupteurs comme lments de base du systme 9un signal binaire est plus fiable qu'un autre plus d'tats 9les dcisions prises dans un systme digital sont trs souvent binaires

En gnral, les 2 valeurs sont reprsentes par les chiffres 0 et 1 (facilite le calcul arithmtique)
Portes logiques et algbre de Boole, p7

Copyright 2012 EMI, REDS@HEIG-VD

Dfinitions

Etat logique :
9 chacune des 2 valeurs que peut prendre une variable logique

Variable logique :
9 grandeur qui ne peut prendre que les 2 tats logiques

Variable dentre (ou simplement entre) :


9 information 2 tats reue par un systme logique

Variable de sortie (ou simplement sortie) :


9 information 2 tats gnre par un systme logique

Fonction logique :
9 relation logique entre une sortie et une ou plusieurs entres
Portes logiques et algbre de Boole, p8

Copyright 2012 EMI, REDS@HEIG-VD

Types de systmes logiques

Systme combinatoire :
9 la valeur des sorties un moment donn dpend uniquement des valeurs des entres cet instant 9 le comportement est entirement spcifi par une table, nomme table de vrit, qui pour chaque combinaison des entres donne la valeur des sorties n 9 pour n entres, la table de vrit comporte 2 lignes 9 la sortie est immdiate

Systme squentiel :
9 la valeur des sorties dpend de la valeur des entres au cours du temps: il faut une mmoire 9 l'obtention d'un rsultat peut demander plusieurs tapes, avec mmorisation de rsultats intermdiaires

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p9

Additionneur combinatoire
X1 X0 Y1 Y0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 Z2 Z1 Z0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0
p 10

X Y

X1 X0 Y1 Y0

Z2 Z1 Z0

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

Additionneur squentiel
Xi Yi

Zi

retenue

mmoire

Pour effectuer laddition, il faudra acheminer les bits des oprandes vers les entres Xi et Yi, dans le bon ordre
Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 11

Dcomposition sortie par sortie

Chaque bit de sortie peut tre exprim 9en fonction des entres 9indpendamment des autres sorties
Z2 vaut 1 lorsque ou ou ou ou ou (X1=0 et X0=1 et Y1=1 et Y0=1) (X1=1 et X0=0 et Y1=1 et Y0=0) (X1=1 et X0=0 et Y1=1 et Y0=1) (X1=1 et X0=1 et Y1=0 et Y0=1) (X1=1 et X0=1 et Y1=1 et Y0=0) (X1=1 et X0=1 et Y1=1 et Y0=1)

Un systme combinatoire N sorties peut tre dcompos en N systmes combinatoires une seule sortie

X1 X0 Y1 Y0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1

Z2 Z1 Z0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0
p 12

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

Conventions : quations logiques

Pour abrger lcriture :


9 Z vaut 1 lorsque remplac par Z = 9 Y vaut 1 remplac par Y 9 Y vaut 0 remplac par / Y 9 linverse de remplac par / 9 et remplac par 9 ou remplac par # 9 ordre de priorit : / #

Ainsi, la sortie Z2 peut tre dcrite par lquation logique :


9 Z2 = /X1 X0 Y1 Y0 # X1 /X0 Y1 /Y0 # X1 /X0 Y1 Y0 # X1 X0 /Y1 Y0 # X1 X0 Y1 /Y0 # X1 X0 Y1 Y0

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 13

Les portes logiques de bases

Etude des fonctions d'une variable


Nous verrons la porte logique de base :
9 NON

Etude des fonctions de deux variables


Nous verrons les portes logiques de base :
9 ET, OU

nous verrons ensuite des combinaisons :


9 NON-ET, NON-OU 9 OU-Exclusif

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 14

4 fonctions d'une variable


Variable A 0 1 Fonctions F1.1 F1.2 0 1 1 0

F1.0 0 0

F1.3 1 1

F1.0 = 0 F1.1 = A F1.3 = 1

constante transmission constante


Seule fonction non triviale dune seule variable : le NON (inversion logique)
Portes logiques et algbre de Boole, p 15

F1.2 = not A = /A

Copyright 2012 EMI, REDS@HEIG-VD

Inverseur NON NOT


Symbolis par un triangle pointant vers la sortie, suivi ou prcd dun petit cercle ou dune demi-flche La sortie du circuit est ltat logique inverse de son entre

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 16

Inverseur NON NOT


Symbolis par un triangle pointant vers la sortie, suivi ou prcd dun petit cercle ou dune demi-flche La sortie du circuit est ltat logique inverse de son entre

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 17

16 fonctions de deux variables ...


Variables A B 0 0 0 1 1 0 1 1 .0 0 0 0 0 .1 0 0 0 1 Fonctions F2.x .2 .3 .4 .5 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 .6 0 1 1 0 .7 0 1 1 1

F2.0 = 0 F2.1 = A and B = A B F2.2 = A and not B = A /B F2.3 = A


Copyright 2012 EMI, REDS@HEIG-VD

F2.4 = not A and B = /A B F2.5 = B F2.6 = A xor B = A B F2.7 = A or B = A # B


Portes logiques et algbre de Boole, p 18

16 fonctions de deux variables

Nous pouvons reprer les fonctions :


9ET (AND, intersection) = F2.1 9OU (OR, runion) = F2.7

Autre fonction logique intressante :


9OU-EXCLUSIF (XOR) = F2.6

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 19

16 fonctions de deux variables


Variables A B 0 0 0 1 1 0 1 1 .8 1 0 0 0 .9 1 0 0 1 Fonctions F2.x .A .B .C .D 1 1 1 1 0 0 1 1 1 1 0 0 0 1 0 1 .E 1 1 1 0 .F 1 1 1 1

F2.8 = /F2.7 = /(A # B) F2.9 = /F2.6 = /(A B) F2.A = /F2.5 = /B F2.B = /F2.4
Copyright 2012 EMI, REDS@HEIG-VD

F2.C = /F2.3 = /A F2.D = /F2.2 F2.E = /F2.1 = /(A B) F2.F = /F2.0 = 1


Portes logiques et algbre de Boole, p 20

.16 fonctions de deux variables


Les fonctions F2.8 F2.F sont respectivement les inverses des fonctions F2.7 F2.0 3 de ces fonctions sont intressantes :

9 NON-ET (NAND) : fonction universelle 9 NON-OU (NOR) : fonction universelle 9 NON-OU-EXCLUSIF (XNOR) : fonction galit

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 21

Porte logique ET AND

La sortie de la porte ET est 1 si toutes les entres sont 1 .


9sortie ET a 1 si : a ET b ET c ET d sont 1

a b c d S

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 22

porte logique ET AND

La sortie de la porte ET est 1 si toutes les entres sont 1. Il y a un seul cas :

1 1 1 1 1

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 23

porte logique ET AND

Dans les autres cas la sortie est '0'


0 0 0 0 0

0 1 1 1 0

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 24

Porte logique OU OR

La sortie du circuit OU est 1 si une entre est 1.


9sortie OU a 1 si : a OU b OU c OU d est 1

a b c d S

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 25

porte logique OU OR

Si une entre est 1, la sortie est 1.


1 0 0 0

1 1 1 1
Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 26

porte logique OU OR

Si tous les entres sont 0 alors la sortie est 0. Il y a un seul cas :

0 0 0 0 0

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 27

Porte logique NON-ET NAND

La sortie de la porte NON-ET est 1 si une entre est 0 .


9sortie NON-ET a 1 si : a OU b OU c OU d est 0

a b c d S

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 28

Porte logique NON-OU NOR

La sortie du circuit NON-OU est 1 si toutes les entres sont 0.


9 sortie NON-OU a 1 si : a ET b ET c ET d sont 0

a b c d S

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 29

Fonctions de base

NON (NOT): inversion ou complment logique


a 0 1 /a 1 0

ET (AND): produit ou intersection logique


a 0 0 1 1 b 0 1 0 1 ab 0 0 0 1
Portes logiques et algbre de Boole, p 30

Copyright 2012 EMI, REDS@HEIG-VD

fonctions de base

OU (OR): somme ou union logique


a 0 0 1 1 b 0 1 0 1 a#b 0 1 1 1

OU-exclusif (XOR) : pas une fonction de base, mais proprits intressantes


a 0 0 1 1 b 0 1 0 1 a b 0 1 1 0
Portes logiques et algbre de Boole, p 31

Copyright 2012 EMI, REDS@HEIG-VD

fonctions de base
Les fonctions ET, OU et OU-EXCLUSIF plus de 2 entres peuvent tre ralises laide des fonctions correspondantes 2 entres seulement 3 formes :

9Parallle (non dcompose) 9Dcomposition pyramidale 9Dcomposition en cascade

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 32

fonctions de base

Exemple : fonction ET 4 entres


A B C D

Parallle
F

Pyramidale
A B F C D

Cascade
A B C D F

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 33

fonctions de base

Nous pouvons dcrire tout systme combinatoire, quel que soit son nombre dentres, avec seulement les 3 fonctions de base :
9inversion 9ET 2 entres 9OU 2 entres

ou seulement avec la fonction universelle NAND 2 entres ou seulement avec la fonction universelle NOR 2 entres

Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 34

Fonctions universelles

Un fonction est universelle lorsquelle permet la ralisation des trois fonctions logiques de base (NON, ET, OU) NAND

NOR
Portes logiques et algbre de Boole, p 35

Copyright 2012 EMI, REDS@HEIG-VD

Logigramme
Logigramme = schma logique Utilise les symboles graphiques des fonctions usuelles (Et, OU, ) Montre les liaisons entre les entres, les fonctions utilises et les sorties Par convention, les signaux vont de gauche droite (entres gauche, sorties droite)

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 36

Conventions
A lintrieur dune fonction : logique positive (tat actif = 1) A lextrieur : logique mixte (tat actif indiqu)
Bouton_Press nContact

UNIQUEMENT en logique positive

nAllume Ferme

Logique mixte : ltat actif est prcis dans le nom


Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 37

Exercices

Ecrivez lquation logique des sorties Z1 et Z0 de ladditionneur 2 bits de la page 10. Exprimez la fonction OU-EXCLUSIF 2 entres laide des fonctions de base uniquement, dessiner le logigramme. Pourquoi la fonction XNOR est-elle appele galit ? Faites une dcomposition en pyramide dune fonction OU 4 entres, en utilisant des fonctions OU 2 entres. Ralisez la fonction impair 3 entres, en utilisant des fonctions OU-EXCLUSIF 2 entres. Dmontrez que les fonctions NAND et NOR sont universelles.
Portes logiques et algbre de Boole, p 38

Copyright 2012 EMI, REDS@HEIG-VD

Exercices

Dessinez un schma de la fonction Z2 (pages 12 et 13), en nutilisant que des fonctions ET et OU 2 entres, ainsi que des inversions (voir symboles pages 30 et 31). Dessinez le schma de la fonction
9 S2 = X1 Y1 # X1 X0 Y0 # X0 Y1 Y0

en nutilisant que des fonctions ET et OU 2 entres, ainsi que des inversions. Dmontrez que les fonctions S2 et Z2 ci-dessus sont identiques (ont exactement le mme comportement logique)

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 39

Algbre de Boole : postulats

Postulats de l'algbre de Boole A # /A = 1 (A or /A = 1)

A /A = 0 (A and /A = 0) dcoulent de l'hypothse :


l'inverse d'une variable ne peut jamais avoir la mme valeur que la variable

Les postulats seront viols dans les circuits rels !


Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 40

Algbre de Boole : thormes


I II III IV V VI VII /(/A) = A A#0=A A0=0 A#1=1 A1=A A#A=A AA=A
idempotence de loprateur OU idempotence de loprateur ET
Portes logiques et algbre de Boole, p 41

thorme de linvolution not(notA) = A

Copyright 2012 EMI, REDS@HEIG-VD

thormes
VIII IX X XI XII XIII A#B=B#A AB=BA
commutativit commutativit

A # (B # C) = (A # B) # C = A # B # C associativit A (B C) = (A B) C = A B C A # B C = (A # B) (A # C)
associativit

distributivit

A (B # C) = (A B) # (A C) distributivit
Portes logiques et algbre de Boole, p 42

Copyright 2012 EMI, REDS@HEIG-VD

thormes
Thormes de De Morgan (1806-1871) XIV /(A # B) = /A /B XV /(A B) = /A # /B
Consensus XVI (A B) # (/A C) # (B C) = (A B) # (/A C) XVII (A # B) (/A # C) (B # C) = (A # B) (/A # C)

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 43

Table de vrit (TDV)

Liste des valeurs de sortie en fonction des combinaisons des entres


B 0 0 1 1 A 0 1 0 1 S 0 0 0 1

A B S

Permet de spcifier touts les tats d'une fonction logique => cahier des charges
Portes logiques et algbre de Boole, p 44

Copyright 2012 EMI, REDS@HEIG-VD

Construction TDV

Lister les combinaisons des entres


9N entres => 2N lignes dans la table
No minterme

D 0 0 0 .. 1 1

C 0 0 0 .. 1 1

B 0 0 1 .. 1 1

A 0 1 0 .. 0 1

F 1 0 0 .. 1 0
Portes logiques et algbre de Boole, p 45

0 1 2 .. 14 15
Copyright 2012 EMI, REDS@HEIG-VD

Liste des mintermes d'une fonction

Soit la TDV d'une fonction :


No 0 1 2 3 4 5 6 7 C 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 A 0 1 0 1 0 1 0 1 F 1 0 0 1 0 1 0 1

Nous pouvons rsumer la TDV en donnant la liste des mintermes : F (C,B,A) = 0, 3, 5, 7

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 46

Notion de Systme

Un systme est une collection organise d'objets qui interagissent pour former un tout Objets = composants du systme Interconnexions = liens entre les objets ncessaires pour les interactions Structure = organisation du systme (composants, interconnexions) Comportement = fonctionnement du systme (entres, sorties)
Portes logiques et algbre de Boole, p 47

Copyright 2012 EMI, REDS@HEIG-VD

Vue d'un systme


composant

entres

sorties

interconnexion
Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 48

Ralisation d'un systme

Analyse:
9Dterminer le comportement d'un systme partir dune description textuelle

Conception:
9Dterminer la structure ncessaire qui produit un comportement donn. 9Plusieurs structures sont possibles pour obtenir un mme comportement (entres sorties)

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 49

Solution logicielle ou matrielle


Tout traitement ralis par un programme peut-tre ralis par un composant matriel Solution logicielle

9souplesse 9grande capacit de traitement (beaucoup de donnes) 9lent

Solution matrielle
9rapide 9ncessite beaucoup de matriel (composant logique) 9temps de dveloppement important

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 50

Les niveaux d'abstraction


L'abstraction se rfre la distinction entre les proprits externes d'un systme et les dtails de sa composition interne L'abstraction d'un systme comprend: 9la suppression de certains dtails pour montrer seulement l'essence du sujet (pour chaque niveau d'abstraction il faut pouvoir diffrencier ce qui est essentiel des dtails superflus) 9une structure 9une division en sous-systmes (composants)
Portes logiques et algbre de Boole, p 51

Copyright 2012 EMI, REDS@HEIG-VD

Ralit versus Abstraction


L'abstraction est utile et ncessaire, mais il ne faut pas oublier la ralit Les abstractions possdent toujours des limites qu'il faut connatre

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 52

Exemples

Les int (integer) ne sont pas des entiers et les float ne sont pas des rels Est-ce que x2 0 est toujours vrai?
9 pour les float, oui 9 pour les int (32 bits sign), pas toujours: 40000 * 40000 1'600'000'000 50000 * 50000 ??

Est-ce que (x+y)+z = x+(y+z) est toujours vrai?


9 pour les integer, oui 9 pour les float, pas toujours: (1e20 + -1e20) + 3.14 3.14 1e20 + (-1e20 + 3.14) ??
Portes logiques et algbre de Boole, p 53

Copyright 2012 EMI, REDS@HEIG-VD

Conception de systmes logiques combinatoires


Cahier des charges
(souvent textuelle)

Table de vrit Equations logiques


(simplification)

plusieurs quations sont possibles plusieurs logigrammes sont possibles


Portes logiques et algbre de Boole, p 54

Logigramme
Copyright 2012 EMI, REDS@HEIG-VD

Equation logique

Equation canonique dcoule directement de la TDV. Mais il peut exister des solutions quivalentes. Exemple: la fonction OU
B 0 0 1 1 A 0 1 0 1 Z 0 1 1 1

solution canonique: Z(B,A) = BA # BA # BA solution simplifie: Z(B,A) = B # A

Comment simplifi la fonction => deux mthodes:


9 algbrique (algbre de Boole) 9 graphique (table de Karnaugh)

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 55

Diagramme de Venn
Reprsentation graphique dune fonction logique
ET: intersection OU: runion

ET
A B A

OU
B

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 56

Table de Karnaugh

Forme stylise dun diagramme de Venn Chaque case correspond


9 une combinaison des valeurs des entres 9 donc un minterme 9 donc une ligne de la table de vrit

N entres 2N cases Dans chaque case on indique la valeur de la fonction


90 91 9 - ou => tat indiffrent

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 57

table de Karnaugh

Variables dentre indpendantes : chaque variable a une intersection avec


9 toutes les autres variables 9 et avec toutes les intersections des autres variables

Fonction de 3 variables : 23 cases = 8


B C A 0 A 1
Portes logiques et algbre de Boole, p 58

CB 00 01 11 10

Copyright 2012 EMI, REDS@HEIG-VD

table de Karnaugh
Autre notation de la table

A C
Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 59

Table de Karnaugh 4 variables


DC 00 01 BA 00 01 11 10

11 10

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 60

Structure de la table de Karnaugh


Une table de Karnaugh est similaire une table de vrit: tat des sorties pour toutes les combinaisons des entres Dans la table de vrit, chaque combinaison des entres correspond une ligne; dans la table de Karnaugh chaque combinaison des entres correspond une case. Nombre de cases table de Karnaugh d'une fonction n variables est donc gal 2n Les cases de la table de Karnaugh sont arranges de telle faon qu'une seule variable change entre deux cases contigus Toute case d'une table de Karnaugh n variables est contigu n autres cases
Portes logiques et algbre de Boole, p 61

Copyright 2012 EMI, REDS@HEIG-VD

Exemple table de Karnaugh 4 variables

Voici les 4 cases contigus pour la combinaison des entres DCBA


A

DCBA

DCBA
B C

DCBA DCBA
Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 62

f(B,A)
A DC BA
00 0 01 4 12 8

D
00 01 11 10

f(C,B,A)

A
11

13

f(D,C,B,A)
B

15

11

10

14

10

C
Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 63

E D

12

24

28

20

16

13

25

29

21

17

15

11

27

31

23

19

14

10

26

30

22

18

f(E,D,C,B,A)

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 64

F D
0 4 5 7 6 12 8 13 9 15 11 14 10

Ordre D inverser!
D

32 36 44 40 33 37 45 41 35 39 47 43 34 38 46 42 48 52 60 56 49 53 61 57 51 55 63 59 50 54 62 58

1 3 2

16 20 28 24

17 21 29 25 19 23 31 27 18 22 30 26

E B

f(F,E,D,C,B,A)
Copyright 2012 EMI, REDS@HEIG-VD

Ordre B inverser!
Portes logiques et algbre de Boole, p 65

Reprsentation d'une fonction


Une fonction est reprsente l'aide d'une table de Karnaugh en mettant la valeur de la fonction l'intrieur de chaque case Exemple: Z(D,C,B,A) = (3,4,5,6,7,11,12,13,14,15) D 0 0 1 4 112 0 8 A 0 1 1 5 113 0 9 1 3 1 7 115 111 0 2 1 6 114 0 10 C B

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 66

reprsentation d'une fonction

Exemple partir d'une table de vrit:


C 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 A 0 1 0 1 0 1 0 1 f 1 0 0 0 1 0 1 1
C
00 0 01 2 11 10

10
1

16 17
B

A
5

f(C,B,A)

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 67

Simplification par Karnaugh

Simplification base sur lapplication graphique de lalgbre de Boole


CB A 0 1 00 01 1 1 11 10

terme /C B /A terme /C B A somme des 2 termes: /C B /A # /C B A = /C B ( /A # A ) = /C B groupe /C B

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 68

simplification par Karnaugh


Un groupe de deux '1' adjacents (ayant une frontire commune non rduite un point) sexprime sous la forme dun produit comportant N-1 variables Par analogie :

9le groupement de deux groupes adjacents de deux '1' sexprime sous la forme dun produit comportant N-2 variables, etc

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 69

simplification par Karnaugh


Lexpression d'un groupe donne ses caractristiques Le groupe ci-dessous est caractris par le fait quil est contenu dans A mais lextrieur de C. Donc il sexprime par

/C A
A

CB 00 01 0 1 1 1 11 10

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 70

simplification par Karnaugh

DC 00 01 BA 00 01 11 10 1 1 1 1 11 10

Expression :
9groupe de quatre '1' produit de N-2 variables (4-2=2) 9caractristiques : dans A et lextrieur de D /D A

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 71

simplification par Karnaugh

Rsum :
9 groupe de deux '1' 9 groupe de quatre '1' 9 groupe de huit '1' finalement : 9 groupe de 2N '1' => produit de N - 1 variables => produit de N - 2 variables => produit de N - 3 variables => 1

un groupe est nomm: Impliquant dune fonction


9 il s'agit du produit des variables de la fonction. Chaque impliquant est reprsent dans la table de Karnaugh par un groupe de cases contigus, en un nombre gal une puissance de deux

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 72

simplification par Karnaugh

La table de Karnaugh permet l'obtention de l'quation minimale d'une fonction logique, sous la forme d'une somme de produits En effet, tout produit logique correspond un ensemble de cases contigus dont le nombre est une puissance de 2 Si le nombre de variables de la fonction est gal n et le nombre de cases contigus est gal 2m, le produit correspondant aura seulement n-m variables La somme de produits minimale d'une fonction correspond donc l'ensemble minimal de groupes de cases de la table de Karnaugh o la fonction est gal 1. Le nombre de cases de chaque groupe doit tre une puissance de 2
Portes logiques et algbre de Boole, p 73

Copyright 2012 EMI, REDS@HEIG-VD

Marche suivre avec Karnaugh

Impliquant premier: impliquant qui n'est pas inclus dans un autre impliquant plus grand. La solution minimale d'une fonction est forme seulement d'impliquants premiers. Mais tous les impliquants premiers ne font ncessairement pas partie de la solution minimale Impliquant premier essentiel: impliquant premier qui contient au moins un minterme qui n'est pas inclus dans un autre impliquant premier. Un impliquant premier essentiel fait toujours partie de la solution minimale

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 74

marche suivre avec Karnaugh


Mthode de minimisation Dresser la liste de tous les impliquants premiers de la fonction Dresser la liste de tous les impliquants premiers essentiels Tous les impliquants premiers essentiels font partie de la solution minimale Couvrir les mintermes restants avec un nombre minimal dimpliquants premiers
Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 75

Marche suivre avec Karnaugh


Rsumer Pour trouver lexpression en somme de produits la plus simple
9rechercher les plus grands groupes possibles 9commencer par les groupes contenant des '1' isols
'1' isol = '1' qui nentre que dans un seul groupe

9ajouter les groupes les plus grands qui incluent des '1' nayant pas encore t pris 9ajouter les 1 ne pouvant pas tre groups (= mintermes) 9jusqu ce que tous les '1' aient t pris 9un '1' peut faire partie de plusieurs groupes (1 ou 1 = 1), mais il suffit quil soit pris une seule fois
Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 76

Exercices
Ecrivez la table de vrit, cherchez lexpression simplifie en somme de produits puis dessinez le logigramme de la fonction majorit 3 entres. MAJ = 1 si la majorit des 3 entres est 1. Dessinez le logigramme ci-dessus en utilisant un nombre minimum de NAND 2 entres ( lexclusion de toute autre fonction). Dessinez le logigramme ci-dessus en utilisant un nombre minimum de NOR 2 entres ( lexclusion de toute autre fonction).

Copyright 2012 EMI, REDS@HEIG-VD Portes logiques et algbre de Boole, p 77

Exercices

Dessinez le logigramme le plus simple dun encodeur de priorit 4 entres, In3, In2, In1, In0. Les 4 entres sont classes par ordre de priorit de 3 (la plus prioritaire) 0 (la moins prioritaire). Une sortie 2 bits donne le numro de lentre 1 la plus prioritaire. Une sortie supplmentaire indique si une des entres au moins est 1.

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 78

Exercices

Donner l'quation la plus simple pour la fonction Z donne dans la table de Karnaugh ci-dessous:
DC 00 01 11 10 BA 1 1 00 1 0 01 0 11 1 10 0 0 0 1 1 1 1 0 0 0 Z
Portes logiques et algbre de Boole, p 79

Copyright 2012 EMI, REDS@HEIG-VD

exercices

Donner l'quation la plus simple pour la fonction Z donne dans la table de Karnaugh ci-dessous:
DC 00 01 11 10 BA 0 1 00 1 0 01 0 11 1 10 1 0 0 1 1 1 1 1 1 0 Z
Portes logiques et algbre de Boole, p 80

Copyright 2012 EMI, REDS@HEIG-VD

exercices

Donner l'quation la plus simple pour la fonction Z donne dans la table de Karnaugh ci-dessous:
DC 00 01 11 10 BA 1 1 00 1 0 01 1 11 0 10 1 1 1 1 0 1 1 0 0 1 Z
Portes logiques et algbre de Boole, p 81

Copyright 2012 EMI, REDS@HEIG-VD

Fonction incompltement dfinie


Frquemment, il y a des combinaisons d'entrs qui ne sont pas utilises (inexistantes) Nous pouvons alors choisir l'tat de sortie de la fonction pour la combinaison d'entres correspondante Nous l'indiquerons par : - ou (tat indiffrent)

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 82

Valeur impaire d'un nombre BCD


Nombre BCD

Impaire
0 1 0 1 0 1 0 1 0 1 p 83

La fonction de sortie Impaire est dfinie que pour les combinaisons BCD Il y a 6 combinaisons o la fonction n'est pas spcifie => choix tat de sortie => Dterminer l'quation simplifie de la fonction Impaire

0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

valeur impaire d'un nombre BCD


Nbr_BCD 3, 2 00 01 1, 0 00 01 1 11 1 10 1 1 11 10 1 -

Expression :
Impaire = Nbr_BCD(0)

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 84

exercices

Donner l'quation la plus simple pour la fonction P donne dans la table de Karnaugh ci-dessous:
DC 00 01 BA 00 1 0 01 1 11 1 0 11 10 0 1 1 0 0 0 P

10 1

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 85

Exercices

Donner l'quation la plus simple pour la fonction F donne dans la table de Karnaugh ci-dessous:
DC 00 01 BA 00 1 0 01 0 11 0 0 11 10 0 0 1 1 1 1 F

10 1

Copyright 2012 EMI, REDS@HEIG-VD

Portes logiques et algbre de Boole,

p 86