Sie sind auf Seite 1von 9

Algbre boolenne

Eduardo Sanchez

Ecole Polytechnique Fdrale de Lausanne

Systme binaire
Systme digital qui emploie des signaux deux valeurs uniques En gnral, les digits employs sont 0 et 1, qu'on appelle bits (binary digits) Avantages:
on peut utiliser des interrupteurs comme lments de base du systme un signal binaire est plus fiable qu'un autre plus d'tats les dcisions prises dans un systme digital sont trs souvent binaires

Page 2

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Systme logique
C'est un systme qui traite l'information de faon digitale Pour tudier un systme logique, il faut connatre les lments de base (les composants) et le langage mathmatique qui permet d'crire les quations de comportement Pour un additionneur: X 0 0 1 1
Page 3

Y 0 1 0 1

Z 0 1 1 0

Z = (X, Y)

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Types de systmes logiques


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

Systme squentiel:
la valeur des sorties dpend de l'histoire des entres, de leur squence dans le temps l'obtention d'un rsultat peut demander plusieurs pas le systme doit se rappeler des rsultats intermdiaires: il faut une mmoire
Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Page 4

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

X Y

X1 X0 Y1 Y0

Z2 Z1 Z0

Page 5

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Additionneur squentiel
Xi Yi

Zi

retenue

mmoire

Page 6

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Fonctions logiques 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

Page 7

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

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)
a 0 0 1 1 b 0 1 0 1 a b 0 1 1 0

Page 8

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Algbre de Boole
Commutativit:
ab = b a a+b=b+ a

Idempotence:
a a = a a+ a= a

Constantes:
a0 = 0 a 1 = a a+0= a a +1=1

Complmentation:
a a = 0 a + a =1
Page 9 Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Distributivit:
a (b + c) = (a b) + (a c) a + (b c) = (a + b) (a + c)

Associativit:
a (b c) = (a b) c = a b c a + (b + c) = (a + b) + c = a + b + c

Consensus:
(a x) + (b x) + (a b) = (a x) + (b x) (a + x) (b + x) (a + b) = (a + x) (b + x)

De Morgan:
(a b) = a + b (a + b) = a b
Page 10 Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Fonctions compltes
Un oprateur est complet lorsqu'il permet la ralisation des trois fonctions logiques de base (NON, ET, OU) NAND
a b = (a b) = a + b

NOR
a b = (a + b) = a b

Page 11

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Forme canonique algbrique


Un minterme de n variables est un monme possdant les n variables, sous forme vraie ou inverse. Il existe un minterme par tat d'entre d'une fonction combinatoire (ou ligne de la table de vrit) Toute fonction logique combinatoire peut tre exprime comme une somme de mintermes, ceux o la fonction est gale 1: c'est la forme canonique algbrique, unique pour une fonction donne

Page 12

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Un monme est un produit logique de n variables, vraies ou inverses Un polynme est une somme logique de plusieurs monmes

Toute fonction logique peut tre exprime sous la forme d'un polynme et ralise l'aide des portes NON, ET et OU La reprsentation graphique d'une telle ralisation est un logigramme

Page 13

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Forme canonique dcimale


Si chaque minterme est remplac par la valeur dcimale correspondante la combinaison binaire de ses variables (1 si la variable est vraie et 0 si elle est inverse), on obtient la forme canonique dcimale d'une fonction logique combinatoire. Dans ce cas, il est impratif de prciser l'ordre et le nombre des variables

Page 14

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Exemple
Fonction majorit: la sortie vaut 1 si une majorit des entres possde la valeur 1 Table de vrit pour la majorit de 3 variables:
a b c 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 MAJ(a,b,c) 0 0 0 1 0 1 1 1

Page 15

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Forme canonique algbrique:


MAJ(a,b,c) = abc + abc + abc + abc

Forme canonique dcimale:


MAJ(a,b,c) = 3,5,6,7

Logigramme:

Page 16

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Page 17

Eduardo Sanchez Ecole Polytechnique Fdrale de Lausanne

Das könnte Ihnen auch gefallen