Você está na página 1de 21

8.

Anlisis lgico de los


circuitos digitales
Oliverio J. Santana Jaria
Sistemas Digitales
Ingeniera Tcnica en Informtica de Sistemas
Curso 2006 2007

Introduccin

 Los circuitos digitales estn compuestos por un

conjunto de puertas lgicas que implementan


operaciones de lgica binaria
 El lgebra de Boole permite describir estas operaciones
lgicas, por lo que el funcionamiento de un circuito
puede representarse utilizando una expresin booleana
 Los objetivos de este tema son:



Explicar cmo obtener una expresin algebrica que describa


el funcionamiento de un circuito digital
Distinguir entre las dos formas estndar que se utilizan para
representar este tipo de expresiones: suma de productos y
producto de sumas

Anlisis lgico de los circuitos digitales

Estructura del tema

 Introduccin
 Anlisis booleano de los circuitos lgicos
 Expresiones en forma de suma de productos
 Expresiones en forma de producto de sumas
 Relacin entre ambas formas
 Resumen y bibliografa
Anlisis lgico de los circuitos digitales

Anlisis de circuitos lgicos

 El lgebra de Boole permite expresar el funcionamiento

de un circuito lgico de tal forma que la salida se pueda


determinar a partir de los valores de entrada
 Para obtener la expresin booleana de un circuito
lgico se debe comenzar por las entradas situadas ms
a la izquierda e ir avanzando hacia las salidas
D
C

CD
B+CD

B
A
Anlisis lgico de los circuitos digitales

A(B+CD)
4

Elaboracin de la tabla de verdad

 Una vez obtenida la expresin booleana del circuito, se

puede elaborar una tabla de verdad para representar su


funcionamiento
A B C D
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

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

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

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

CD

B+CD

A(B+CD)

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

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

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

Anlisis lgico de los circuitos digitales

Formas estndar

 Una metodologa sistemtica es vital para poder analizar

y disear circuitos digitales de forma eficiente

 Todas las expresiones booleanas, independientemente de

su forma, pueden convertirse en cualquiera de dos


formas estndar



Suma de productos
Producto de sumas

 Las formas estndar permiten realizar de forma

sistemtica la simplificacin y evaluacin de


expresiones booleanas

Anlisis lgico de los circuitos digitales

Estructura del tema

 Introduccin
 Anlisis booleano de los circuitos lgicos
 Expresiones en forma de suma de productos
 Expresiones en forma de producto de sumas
 Relacin entre ambas formas
 Resumen y bibliografa
Anlisis lgico de los circuitos digitales

Suma de productos

 Un trmino producto (minterm) se define como una

expresin booleana que est compuesta por un producto


de literales
 Cuando dos o ms trminos productos se suman, la
expresin resultante se denomina suma de productos
 Cada trmino de una suma de productos puede ser



Un trmino producto
Una variable individual

 La barra de negacin en una suma de productos no debe

extenderse nunca ms all de una variable

Anlisis lgico de los circuitos digitales

Suma de productos

 Llamamos dominio de una expresin booleana al

conjunto de variables que la componen

Los valores del dominio


para que hacen que esta
expresin valga 0 son:

A + AB + BC

A =0
B =0
C =1

Para esta expresin no existe


ninguna combinacin de valores
del dominio que la hagan valer 0

A + B + AB

 Una suma de productos ser igual a 1 si y slo si uno o

ms de los trminos producto que forman la expresin


es igual a 1

Anlisis lgico de los circuitos digitales

Suma de productos

 La implementacin de una suma de productos

requiere aplicar la operacin OR a las salidas de


dos o ms puertas AND

Anlisis lgico de los circuitos digitales

10

Forma can
cannica de la suma de productos

 En los ejemplos de expresiones que hemos visto,

algunos trminos no contenan todas las variables


pertenecientes al dominio
A + AB

 La forma cannica de una suma de productos es

aquella en la que todas las variables del dominio


aparecen en todos y cada uno de los trminos de
la expresin
AB + AB + AB

Anlisis lgico de los circuitos digitales

11

Forma can
cannica de la suma de productos

 La forma cannica de la suma de productos es muy

importante para el diseo de circuitos digitales

 Cualquier suma de productos puede convertirse a su

forma cannica aplicando una de las reglas bsicas del


lgebra de Boole:

A+A=1

 Simplemente se debe multiplicar cada trmino producto

no cannico por la suma de la variable que falta y su


complemento, ya que es lo mismo que multiplicar por 1

Anlisis lgico de los circuitos digitales

12

Forma can
cannica de la suma de productos

 Siguiendo este mtodo es sencillo transformar una

suma de productos en su forma cannica


Ejemplo: ABC + AB + ABCD

ABC = ABC 1 = ABC (D + D)


ABC = ABCD + ABCD
AB = AB 1 1 = AB (C + C) (D + D)
AB = ABCD + ABCD + ABCD + ABCD

Forma
cannica: ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD
Anlisis lgico de los circuitos digitales

13

Tabla de verdad de la suma de productos

 Una tabla de verdad es una lista de las posibles

combinaciones de los valores de las entradas y el


correspondiente valor de la salida

 El primer paso para convertir una suma de productos

a una tabla de verdad es convertir la expresin a su


forma cannica

 Para determinar el nmero de posibles combinaciones

de entrada hay que tener en cuenta que el nmero de


entradas es igual al nmero de variables del dominio

Anlisis lgico de los circuitos digitales

14

Tabla de verdad de la suma de productos

 Una vez establecidos los posibles valores de las

entradas hay que determinar los correspondientes


valores de salida

 Para esto, hay que tener en cuenta que para que una

suma de productos sea 1 basta con que uno de los


productos sea 1

 Por lo tanto, hay que asignarle salida 1 a cada una de

las combinaciones de entrada que haga valer 1 a alguno


de los trminos de la suma de productos

Anlisis lgico de los circuitos digitales

15

Tabla de verdad de la suma de productos

 Siguiendo los pasos anteriores no resulta complicado

calcular la tabla de verdad de la siguiente expresin:

ABC + ABC + ABC


dominio de
3 variables

23 combinaciones
de entrada

Anlisis lgico de los circuitos digitales

ABC

ABC

ABC

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
1
0
0
1
0
0
1
16

Tabla de verdad de la suma de productos

 Dado que es habitual representar un circuito por medio

de su tabla de verdad, ser frecuente la necesidad de


calcular una expresin a partir de una tabla de verdad
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

0
0
0
0
1
1
1
0

 ABC
 ABC
 ABC

ABC + ABC + ABC

Anlisis lgico de los circuitos digitales

17

Formas normalizadas de la suma de productos

 La forma cannica de una expresin booleana es la

que obtendremos a partir de su tabla de verdad, pero


raramente tiene el menor nmero posible de operaciones

 Se puede reducir la forma cannica a una forma que

no tenga todas las variables en cada trmino, pero que


necesite menos operaciones

 No hay un mtodo fijo, por lo que dada una funcin,

puede resultar posible obtener varias de estas formas


distintas, que son llamadas formas normalizadas

Anlisis lgico de los circuitos digitales

18

Formas normalizadas de la suma de productos

 Las formas normalizadas pueden obtenerse a partir de

la forma cannica aplicando leyes y reglas booleanas

Ejemplo:

ABC + ABC + ABC + ABC

ABC + ABC + ABC + ABC + ABC + ABC


podemos replicar el trmino ABC porque ABC + ABC = ABC (regla 5)

AB(C + C) + AC(B + B) + BC(A + A)


aplicamos la ley distributiva para sacar factor comn

AB 1 + AC 1 + BC 1
A + A = 1 (regla 6)

Forma
normalizada:

AB + AC + BC

Anlisis lgico de los circuitos digitales

19

Formas normalizadas de la suma de productos

 Aunque a partir de las formas normalizada no es trivial

obtener una tabla de verdad, resultan tiles para reducir


la cantidad de puertas de un circuito digital

 Es posible reducir ms una forma normalizada, dando

lugar a una forma no normalizada que tendr menos


operaciones, pero ya no podra expresarse como una
suma de productos

AB + AC + AD
forma normalizada
5 operaciones
Anlisis lgico de los circuitos digitales

factor
comn

A(B + C + D)
forma no normalizada
3 operaciones
20

10

Estructura del tema

 Introduccin
 Anlisis booleano de los circuitos lgicos
 Expresiones en forma de suma de productos
 Expresiones en forma de producto de sumas
 Relacin entre ambas formas
 Resumen y bibliografa
Anlisis lgico de los circuitos digitales

21

Producto de sumas

 Un trmino suma (maxterm) se define como una

expresin booleana que est compuesta por una suma


de literales
 Cuando dos o ms trminos suma se multiplican, la
expresin resultante se denomina producto de sumas
 Cada trmino de un producto de sumas puede ser



Un trmino suma
Una variable individual

 La barra de negacin en un producto de sumas no debe

extenderse nunca ms all de una variable

Anlisis lgico de los circuitos digitales

22

11

Producto de sumas

 El dominio de una expresin booleana es el conjunto de

variables que la componen

Los valores del dominio


para que hacen que esta
expresin valga 1 son:

A (A+B) (B+C)

A =1
B =1
C =0

Para esta expresin no existe


ninguna combinacin de valores
del dominio que la hagan valer 1

A B (A+B)

 Una producto de sumas ser igual a 0 si y slo si uno o

ms de los trminos suma que forman la expresin es


igual a 0

Anlisis lgico de los circuitos digitales

23

Producto de sumas

 La implementacin de un producto de sumas requiere

aplicar la operacin AND a las salidas de dos o ms


puertas OR

Anlisis lgico de los circuitos digitales

24

12

Forma can
cannica del producto de sumas

 En los ejemplos de expresiones que hemos visto,

algunos trminos no contenan todas las variables


pertenecientes al dominio
A (A+B)

 La forma cannica de un producto de sumas es aquella

en la que todas las variables del dominio aparecen en


todos y cada uno de los trminos de la expresin
(A+B) (A+B) (A+B)

Anlisis lgico de los circuitos digitales

25

Forma can
cannica del producto de sumas

 La forma cannica del producto de sumas tambin es

muy importante para el diseo de circuitos digitales

 Cualquier producto de sumas puede convertirse a su

forma cannica aplicando una de las reglas bsicas del


lgebra de Boole:

AA = 0

 Simplemente se debe sumar cada trmino producto no

cannico con el producto de la variable que falta y su


complemento, ya que es lo mismo que sumar 0

Anlisis lgico de los circuitos digitales

26

13

Forma can
cannica del producto de sumas

 Siguiendo este mtodo es sencillo transformar un

producto de sumas en su forma cannica


Ejemplo: (A+B+C)(B+C+D)(A+B+C+D)

A+B+C = A+B+C + 0 = A+B+C + (D D)


12
A+BC = (A+B)(A+C)
A+B+C = (A+B+C+D)(A+B+C+D) regla
B+C+D = B+C+D + 0 = B+C+D + (A A)
12
A+BC = (A+B)(A+C)
B+C+D = (A+B+C+D)(A+B+C+D) regla

Forma (A+B+C+D) (A+B+C+D) (A+B+C+D) (A+B+C+D)(A+B+C+D)


cannica: (A+B+C+D) (A+B+C+D) (A+B+C+D)(A+B+C+D)
regla 7
AA = A

Anlisis lgico de los circuitos digitales

27

Tabla de verdad del producto de sumas

 El primer paso para convertir un producto de sumas

a una tabla de verdad es convertir la expresin a su


forma cannica

 Para obtener los valores de salida en la tabla de verdad

hay que tener en cuenta que basta con que uno de los
sumandos sea 0 para que un producto de sumas sea 0

 Por lo tanto, hay que asignarle salida 0 a cada una de

las combinaciones de entrada que haga valer 0 a alguno


de los trminos del producto de sumas

Anlisis lgico de los circuitos digitales

28

14

Tabla de verdad del producto de sumas

 Siguiendo los pasos anteriores no resulta complicado

calcular la tabla de verdad de la siguiente expresin:

(A+B+C)(A+B+C)(A+B+C)
dominio de
3 variables


A+B+C 
A+B+C 
A+B+C

23 combinaciones
de entrada

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
0
1
0
1
0

Anlisis lgico de los circuitos digitales

29

Tabla de verdad de la suma de productos

 Dado que es habitual representar un circuito por medio

de su tabla de verdad, ser frecuente la necesidad de


calcular una expresin a partir de una tabla de verdad

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
1

 A+B+C
 A+B+C

(A+B+C)(A+B+C)(A+B+C)

 A+B+C

Anlisis lgico de los circuitos digitales

30

15

Formas normalizadas del producto de sumas

 A partir de la tabla de verdad obtenemos la forma

cannica de una expresin booleana, aunque raramente


tiene el menor nmero posible de operaciones

 Al igual que con la suma de productos, se puede obtener

formas normalizadas a partir de la forma cannica con el


objetivo de reducir el nmero de operaciones necesarias

 Tambin se puede reducir ms una forma normalizada,

dando lugar a una forma no normalizada que tendr


todava menos operaciones, pero que ya no estar
expresada como un producto de sumas

Anlisis lgico de los circuitos digitales

31

Estructura del tema

 Introduccin
 Anlisis booleano de los circuitos lgicos
 Expresiones en forma de suma de productos
 Expresiones en forma de producto de sumas
 Relacin entre ambas formas
 Resumen y bibliografa
Anlisis lgico de los circuitos digitales

32

16

Funcin booleana

 En general, se define una funcin booleana como una

expresin algebraica formada por variables, operadores,


parntesis y el signo igual

 Para calcular el valor de una funcin booleana

es preciso tener en cuenta el orden correcto de


precedencia de operadores:





Parntesis

NOT
AND
OR

Anlisis lgico de los circuitos digitales

33

Expresin de una suma de productos

Cualquier funcin booleana puede expresarse tanto con


una suma de productos como con un producto de sumas

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
1
0
1
0
1
0
1

 ABC
 ABC
 ABC
 ABC

Anlisis lgico de los circuitos digitales

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

34

17

Expresin de un producto de sumas

Cualquier funcin booleana puede expresarse tanto con


una suma de productos como con un producto de sumas

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0  A+B+C
1
0  A+B+C
1
0  A+B+C
1
0  A+B+C
1

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

Anlisis lgico de los circuitos digitales

35

Expresin de una suma de productos

Si numeramos cada una de las posibles combinaciones


de entrada, podemos expresar una suma de productos
como la suma de las combinaciones correspondientes a
los trminos producto que la componen

0)
1)
2)
3)
4)
5)
6)
7)

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
1
0
1
0
1
0
1

Anlisis lgico de los circuitos digitales

F(A,B,C) = (1,3,5,7)

36

18

Expresin de un producto de sumas

Si numeramos cada una de las posibles combinaciones


de entrada, podemos expresar un producto de sumas
como el producto de las combinaciones correspondientes
a los trminos suma que la componen

0)
1)
2)
3)
4)
5)
6)
7)

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
1
0
1
0
1
0
1

F(A,B,C) =

(0,2,4,6)

Anlisis lgico de los circuitos digitales

37

Expresin de un producto de sumas




Dada una tabla de verdad

 Las combinaciones con salida 1 forman un suma de productos


 Las combinaciones con salida 0 forman un producto de sumas
Es fcil pasar de una forma a la otra: simplemente hay
que elegir los nmeros que no aparecen en la expresin

A B C
0)
1)
2)
3)
4)
5)
6)
7)

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
1
0
1
0
1
0
1

F(A,B,C) = (1,3,5,7)
F(A,B,C) =

Anlisis lgico de los circuitos digitales

(0,2,4,6)
38

19

Estructura del tema

Introduccin

Anlisis booleano de los circuitos lgicos

Expresiones en forma de suma de productos

Expresiones en forma de producto de sumas

Relacin entre ambas formas

Resumen y bibliografa

Anlisis lgico de los circuitos digitales

39

Resumen

El funcionamiento de un circuito digital suele


representarse con una tabla de verdad que muestra el
valor de la salida para cualquier valor de entrada

La aplicacin del lgebra de Boole permite obtener, a


partir de esta tabla, una expresin algebrica que
describa el funcionamiento del circuito

La simplificacin de esta expresin permite reducir el


nmero de operadores, los cuales pueden representarse
grficamente usando los smbolos distintivos para
obtener un diagrama descriptivo del circuito

Anlisis lgico de los circuitos digitales

40

20

Bibliografa
Fundamentos de Sistemas Digitales (7 edicin)
Captulo 4
Thomas L. Floyd
Prentice Hall, 2000

Principios de Diseo Digital

Captulo 3
Daniel D. Gajski
Prentice Hall, 1997

Anlisis lgico de los circuitos digitales

41

21

Você também pode gostar