13/10/2013

Clase 04: Circuitos Combinacionales

Ing. Christian Lezama Cuellar Semestre 2013-I

Sistemas Digitales y Arquitectura de Computadoras

IS-341 | Semestre 2013-I

13/10/2013

Ejercicio: Encontrar = . + . para todas las combinaciones.

x 0 0 0 0 1 1 1 1
IS-341 | Semestre 2013-I

y 0 0 1 1 0 0 1 1

z 0 1 0 1 0 1 0 1

Un circuito combinacional es aquel cuya salida depende solo de las entradas

Es decir: No depende de la salida No depende del tiempo

IS-341 | Semestre 2013-I

13/10/2013

Ejercicio: Disee el circuito combinacional que realice la funcin: = . + .

IS-341 | Semestre 2013-I

Primera Ley de Morgan: + = .

IS-341 | Semestre 2013-I

13/10/2013

Primera Ley de Morgan: + = . = .

IS-341 | Semestre 2013-I

Segunda Ley de Morgan: . = +

IS-341 | Semestre 2013-I

13/10/2013

Segunda Ley de Morgan: . = + = +

IS-341 | Semestre 2013-I

Ejercicio: Disee el circuito combinacional que realice la funcin = . + . usando slo compuertas NAND de dos entradas.

IS-341 | Semestre 2013-I

13/10/2013

IS-341 | Semestre 2013-I

Conexin en el circuito integrado

x y z

IS-341 | Semestre 2013-I

13/10/2013

Sistemas Digitales y Arquitectura de Computadoras

IS-341 | Semestre 2013-I

Representaciones de una funcin Expresin algebraica: Infinitos modos Expresin grfica (esquema con puertas): Infinitos modos Tabla de verdad: UNICA

IS-341 | Semestre 2013-I

13/10/2013

Dentro de esas infinitas expresiones, destacamos dos que vamos a considerar como estndar: Primera y segunda forma cannicas:

1 Forma cannica Formada por suma de productos que componen las variables de la funcin.

2 Forma cannica Formada por producto de sumas que componen las variables de la funcin.

IS-341 | Semestre 2013-I

1 Forma cannica (suma de productos)

x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 (, , ) 1 0 1 0 1 1 0 1 0 1 2 3 4 5 6 7 La funcin vale 1 si el trmino 0, el 2, el 4, el 5, el 7 vale alguno de ellos 1 T0+T2+T4+T5+T7 Cuando vale 1 la funcin ? Este trmino vale 1 si A=0 y B=0 y C=0 . . = 1

IS-341 | Semestre 2013-I

13/10/2013

f(A,B,C) = . . + . . + . . + . . + . . =
x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 (, , ) 1 0 1 0 1 1 0 1 . . . . . . . . . .

= m0 + m2 + m4 + m5 + m7
1. No es la forma ms simple de expresar la funcin.

2. El orden (A,B,C) (C,B,A)

es determinante. 3. Permite el paso a puertas de forma automtica

IS-341 | Semestre 2013-I

Cmo podemos hacer esta funcin con puertas NAND ?

IS-341 | Semestre 2013-I

13/10/2013

IS-341 | Semestre 2013-I

IS-341 | Semestre 2013-I

10

13/10/2013

IS-341 | Semestre 2013-I

2 Forma cannica (producto de sumas)

x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 (, , ) 1 0 1 0 1 1 0 1 Luego si evaluamos cuando es cero en forma de suma de A, B y C, la expresin correcta es : + + = + + = La funcin vale cero si alguno de ellos es cero Cuando vale 0 la funcin ?

Este trmino vale 0 si A=0 y B=0 y C=1

IS-341 | Semestre 2013-I

11

13/10/2013

x 0 0 0 0 1 1 1 1

y 0 0 1 1 0 0 1 1

z 0 1 0 1 0 1 0 1

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

ATENCIN !
IS-341 | Semestre 2013-I

El criterio cambia con respecto a los miniterms: VARIABLE = 0, SIN COMPLEMENTAR (ESTADO NATURAL)

f(A,B,C) = . . + . . + . . + . . + . . = = + + . + + . + + = = m0 + m2 + m4 + m5 + m7 = M1 . M3 . M6
x 0 y 0 z 0 (, , ) 1 0 1 2 3

0
0 0 1 1 1
IS-341 | Semestre 2013-I

0
1 1 0 0 1 1

1
0 1 0 1 0 1

0
1 0 1 1 0 1

4
5 6 7

12

13/10/2013

Realizacin de la funcin lgica Se puede hacer la funcin con puertas NAND ? Si Para la segunda forma cannica, lo ptimo es implementarla con puertas NOR

IS-341 | Semestre 2013-I

APLICACIN DE LAS LEYES DE MORGAN 2 LEY

IS-341 | Semestre 2013-I

13

13/10/2013

CONVERSIN ENTRE FORMAS CANNICAS f(A,B,C) = . . + . . + . . + . . + . . = = + + . + + . + + = = m0 + m2 + m4 + m5 + m7 = M1 . M3 . M6 1 opcin: Obtener la tabla de verdad y proceder segn los pasos anteriores. 2 opcin: Conversin directa; los trminos que faltan en la primera (segunda) forma son los que componen la segunda (primera) Ej: 1, 3 y 6 son los que faltan en la primera y son los que componen la segunda forma
IS-341 | Semestre 2013-I

EJEMPLO DE APLICACIN "OBTENER LA PRIMERA Y SEGUNDA FORMA CANNICAS DE LA FUNCIN BIT DE PARIDAD PAR DEL CDIGO BCD

1 Tabla de verdad
2 Primera (segunda) forma cannica 3 Conversin a la segunda (primera) forma 4 Implementar con puertas NAND o NOR

IS-341 | Semestre 2013-I

14

13/10/2013

Mintrminos

f(D,C,B,A) = m1+ m2+ m4+ m7+ m8 f(D,C,B,A) = M0 M3 M5 M6 M9

Maxtrminos
IS-341 | Semestre 2013-I

Conclusiones sobre las formas cannicas: 1. Son formas estndar, de fcil obtencin. 2. Es sencillo elegir la ms simple. 3. Son estructuras regulares, aptas para la implementacin de algoritmos. 4. Utilizan un solo tipo de puertas. 5. NO SON LA FORMA MAS SIMPLE DE EXPRESAR UNA FUNCIN. CAL ES LA FORMA MS SIMPLIFICADA DE UNA FUNCIN LGICA?

IS-341 | Semestre 2013-I

15

13/10/2013

Mtodos algebraicos: Aplicacin de teoremas, etc.. Ejemplo:

Esta expresin es la ms simple, pero no tiene porque ser nica.

IS-341 | Semestre 2013-I

Simplificacin de Funciones lgicas. Mtodos grficos: el Mapa de Karnough.

El mapa de Karnough es otra forma de representar las funciones lgicas, de forma grfica, que nos permite una rpida simplificacin.

Definicin: Trminos adyacentes lgicos

"Son aquellos trminos de una funcin que slo se diferencian en el ESTADO DE UNA VARIABLE"

Ejemplo: . .C y . . ; Los trminos adyacentes lgicos son simplificables entre si.

. .C + . . = AB LA VARIABLE QUE CAMBIA DE ESTADO ES LA QUE SE SIMPLIFICA
IS-341 | Semestre 2013-I

16

13/10/2013

Definicin: Trminos irrelevantes (indiferentes) Son aquellas combinaciones de valores de las variables que forman la funcin que, por la definicin de la funcin lgica, no se van a presentar nunca como entrada a la misma. Ejemplo:

Si se est trabajando con cdigo BCD, los trminos del diez (inclusive) en adelante no tienen sentido, ya que nunca se van a presentar en la entrada; sin embargo constituyen combinaciones vlidas desde el punto de vista de la simplificacin.

IS-341 | Semestre 2013-I

IS-341 | Semestre 2013-I

17

13/10/2013

Sistemas Digitales y Arquitectura de Computadoras

IS-341 | Semestre 2013-I

Diseo Digital 3 Edicin Morris Mano http://books.google.com.pe/books?id=8WhBtfnaenkC&printsec=front cover&hl=es#v=onepage&q&f=false

Logic and Boolean Algebra Kathleen and Hilbert Levitz

IS-341 | Semestre 2013-I

18