2.

2 DISEO DE CIRCUITOS COMBINACIONALES

Aquellos circuitos digitales con varias entradas y varias salidas, en los cuales la relacin entre cada salida y las entradas puede ser expresada mediante una funcin lgica (expresiones algebraicas, tablas de verdad, circuito con puertas lgicas, etc.), se denominan circuitos combinacionales.

De la definicin se deduce que cada salida en un instante de tiempodeterminado, depende exclusivamente de las entradas al circuito en el mismoinstante de tiempo, pero no depende de las entradas que hubo en instantes detiempo anteriores (no tiene "memoria").

Ahora bien, en cuanto a la implementacin mediante circuitos electrnicos, hay que matizar c algunos detalles. Hemos visto que las puertas lgicas obtenan a su salida una seal, que dependa slo de las entradas, pero esta salida no se estabilizaba hasta transcurrido un pequeo intervalo de tiempo desde la aplicacin de las seales de entrada (del orden de nanosegundos). Por otro lado, si el circuito combinacional tiene varias entradas (n), tambin puede tener varias salidas (m). Para "n" variables de entrada tenemos 2 n combinaciones binarias posibles. Por tanto, podemos expresar un circuito combinacional mediante una tabla de verdad que lista los valores de todas las salidas para cada una de las combinaciones de entrada. Un circuito combinacional tambin puede describirse mediante "m" funciones lgicas, una para cada variable de salida; cada una de las cuales se presenta como funcin de las "n" variables de entrada. Diremos pues, que un circuito combinacional real es aquel en el cual las salidas dependen exclusivamente de las seales de entrada aplicadas, una vez transcurrido el tiempo necesario para la estabilizacin de las salidas, desde la aplicacin de las seales de entrada. Multifunciones: Son aquellas funciones que tienen varias salidas, por lo que habr una expresin lgica para cada salida. A continuacin, vamos a estudiar algunos circuitos combinacionales que realizan funciones especficas, por dos razones: 1. Circuitos muy complejos pueden descomponerse en circuitos o bloques ms elementales, como los que vamos a estudiar, que se interconectan entre si para formar el circuito ("Divide y vencers" o diseo jerrquico). 2. Estos circuitos se encuentran disponibles comercialmente, integrados en una sola pastilla

2.2.1 METODOLOGA DE DISEO DE CIRCUITOS COMBINACIONALES

1. el diseo se realiza a partir del planteamiento de un problema. 2. se obtiene primero la tabla de verdad de cada una de las salidas y, opcionalmente, las expresiones cannicas. 3. luego se procede a la simplificacin para obtener una expresin booleana mnima para cada funcin. 4. por ltimo se realiza el diagrama lgico y el circuito de mnimo tamao. Ejemplo: Para abrir una caja fuerte se dispone de tres llaves, la caja se abre si: Estn giradas A y B independientemente de si lo est C. Cuando estando girada C, estn giradas A o B.

2.2.2 MINITRMINOS Y MAXITRMINO

Minitrminos (minterm): es un trmino suma que contiene todas las variables de la funcin, algunas de ellas pueden estar afirmadas y otras negadas. Maxitrmino (maxterm): es un trmino producto que contiene todas las variables de la funcin, algunas de ellas pueden estar afirmadas y otras negadas. Minitrminos Para una funcin de n variable, si un trmino producto contiene cada una de la n variable exactamente una vez, ya sea en forma complementada o no complementada, el trmino producto es un minitrminos. Si una funcin se representa como una suma solo de minitrminos se dice que la funcin tiene la forma de suma cannica de productos.

Ejemplo: F(A, B, C)=(A'+B+C')+(A+B+C')+(A'+B+C)+ (A+B+C) Cdigo: Variable no complementada: 1 A, B, C=1 Variable complementada: 0 A', B', C'=0 Para representar la funcin en forma simplificada a travs de una lista de minitrminos se aplica el cdigo binario a cada una de las variables como sigue:

MAXITRMINO Si un trmino suma de una funcin de n variables contiene cada una de las n variables exactamente una vez en forma complementada, el trmino suma es un Maxitrmino, si se adopta el cdigo binario para el Maxitrmino es contrario al del minitrminos. A diferencia que los minitrminos en los Maxitrmino utilizamos las salidas falsas (0) y en caso que una de las variables sea verdadera (1) se tiene que cambiar a falsa (0) y para eso se niega la variable. Ejemplo:

2.2.3 TCNICAS DE SIMPLIFICACIN

Es un mtodo laborioso visto en el tema anterior. Se aplicaran las reglas vistas en el tema del algebra de Boole. Ejercicio: Realiza el esquema ms simple con puertas NAND para que la salida sea 1 cuando al menos una de las entradas B y C estn a 1 y salida 0 siempre que A sea 1, independientemente del valor que tengan B y C.

2.2.3.1 TEOREMAS Y POSTULADOS DEL ALGEBRA DE BOOLE

1. Propiedad de cierre: Para un conjunto s se dice que es cerrado para un operador binario si para cada elemento de S el operador binario especifica una regla para obtener un elemento nico de S. Para el conjunto N = {1,2,3,4,} es cerrado con respecto al operador binario (+) por las reglas de la adicin aritmtica, ya que para que cualquier elemento a,b pertenecientes a N por la operacin a + b = c el conjunto de los nmeros naturales no esta cerrado con respecto al operador binario (-) por la regla de la resta aritmtica, debido a que 2-3 = -1 y 2,3 pertenecen a N pero -1 no pertenece a N. 2. Ley asociativa: El operador binario (*) es un conjunto S es asociativo siempre que x*y*z = x*(y*z) para toda x, y pertenecientes a S. 3. Ley conmutativa: Un operador binario (*) para un conjunto S es conmutativo siempre que: x*y = y*x para toda x,y pertenecientes a S. 4. Elemento identidad.

El conjunto S tendr un elemento identidad multiplicativo identidad (*) en S si existe un e perteneciente a S con la propiedad e*x = x*e =e para cada x pertenecientes a S. 5. Inversa: El conjunto S tiene un elemento identidad (e) con respecto al operador (*) siempre que para cada x perteneciente a S exista un elemento y perteneciente a S tal que x*y=e. 6. Ley distributiva: Si el operador (*) y el operador (.), son operadores binarios de S, (*) se dice que es distributivo sobre (.). Siempre que: x*(y . z) = (x*y) . (x*z) - El operador binario (+) define la adicin. - Identidad aditiva es el cero. - La inversa aditiva define la sustraccin. - El operador binario (.) define la multiplicacin. - Identidad multiplicativa es 1. - Inversa multiplicativa de A es igual a 1/A define la divisin esto es A * 1/A = 1 - La nica ley distributiva aplicable es la de operador (.) sobre el operador + (.) sobre (+) a(b+c)=(a.b) +(a.c)

Para definir formalmente el lgebra de Boole se emplean postulados de Huntington. 1. a) Cierre con respecto al operador (+) b) Cierre con respecto al operador (.) 2. a) Un elemento identidad con respecto al operador (+), designado por el cero x+0 =0+x=x b) Un elemento identidad con respecto al operador (.) designado por el uno x*1=1*x=x 3. a) Conmutativo con respecto al operador (+) : x+y = y+x b) Conmutativo con respecto al operador (.) : x*y =y*x 4. a) El operador (.) es distributivo sobre el operador (+) : x.(y+z) = (x.y) + (y.z) b) El operador (+) es distributivo sobre el operador (.) : x+(x.z) = (x+y) . (x+z)

5. Para cada elemento de x pertenencia a B existe un elemento x complemento perteneciente a B denominado complemento de x tal que: a) x+x = 1 b) x = 0 6. Existen cuando menos dos elementos x,y pertenecientes a B tal que x diferente de y. Por lo tanto tenemos que el lgebra de Boole difiere de la aritmtica y del lgebra ordinaria en la sig: a) Los postulados Huntington: no incluyen al ley asociativa, no obstante esta ley es valida para el lgebra booleana (para ambos operadores) b) La ley distributiva del operador (+) sobre el operador (.) esto es: x+(y.z) = (x+y).(x+z), la cual es valida para el lgebra de boole pero no para el lgebra ordinaria. c) El lgebra booleana no tiene inversa aditiva a multiplicativa, por lo tanto no hay operaciones de sustracciones o divisin. d) El postulado 5 define un operador llamado completo que no se encuentra en el lgebra ordinaria. e) En el lgebra de Boole se define un conjunto B de dos elementos (0 y 1) y el lgebra ordinaria trata con el conjunto de los nmeros reales. Postulado 2 a) x + 0 = x Postulado 5 a) x + x = 1 Teorema 1 a) x + x = x Teorema 2 a) x + 1 = 1 Teorema 3 involucin (x) = x Teorema 3 conmutativo a) x + y = y + x Teorema 4 asociativo a) x + (y + z) = (x + y) +z Postulado 4 distributivo a) x (y + z) = xy +xz Teorema 5 morgan a) ( x + y) = x y Teorema 6 absorcin a) x + xy = x Ejemplos: x+x=x x + x = (x + x) . 1 x + x = (x + x) (x + x) x + x = x + xx x+x=x+0 x+x=x x + xy = x x . 1 + xy = x x (1 + y) = x x (y + 1) = x x (1) = x x=x b) x . 1 = x b) x . x = 0 b) x . x = x b) x . 0 = 0 b) xy = yx b) x (yz) = (xy) z b) x + yz = (x + y)(x+z) b) (xy) = x + y b) x (x + y) = x

Las variables booleanas pueden tomar varios valores de 1 0. Una funcin booleana es una expresin formada por variables binarias.

Ejemplo: F1 = xyz Para F1 considerar que es igual a 1 si: x = 1; y = 1 ; z = 1; de otra manera F1 = 0. Por lo tanto tendremos que una funcin booleana tambin puede representarse en una tabla de verdad. Para representar una funcin booleana en una tabla de verdad se necesita una lsit de 2ncombinaciones de 1 y 0 de las n variables binarias, y una columna que muestra combinaciones para las cuales f es igual a 1 0.

x yz 00 0 00 1 01 0 01 1 10 0 10 1 11 0 11 1

F1 F2 F3 F4 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 1

F1 = xyz + xyz + xyz + xyz = xy (z+z) + xz (y+y) = xy + xz F2 = xyz + xyz + xyz + xyz = xz (y+y) + xy (z+z) = xz + xy F3 = xyz + xyz + xyz + xyz F4 = xyz + xyz + xyz + xyz + xyz = xy (z+z) + xy (z+z) + xyz = xy + xy + xyz = x (y+y) + xyz = x + xyz

2.2.3.2 MAPAS KARNAUGH

Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o diagrama de Veitch, abreviado como Mapa-K o Mapa-KV) es un diagrama utilizado para la simplificacin de funciones algebraicas Booleanas. El mapa de Karnaugh fue inventado en 1950 por Maurice Karnaugh, un fsico y matemtico de los laboratorios Bell. Los mapas de Karnaugh reducen la necesidad de hacer clculos extensos para la simplificacin de expresiones booleanas, aprovechando la capacidad del cerebro humano para el reconocimiento de patrones y otras formas de expresin analtica, permitiendo as identificar y eliminar condiciones muy inmensas. El mapa de Karnaugh consiste en una representacin bidimensional de la tabla de verdad de la funcin a simplificar. Puesto que la tabla de verdad de una funcin de N variables posee 2 N filas, el mapa K correspondiente debe poseer tambin 2N cuadrados. Las variables de la expresin son ordenadas en funcin de su peso y siguiendo el cdigo Gray, de manera que slo una de las variables vara entre celdas adyacentes. La transferencia de los trminos de la tabla de verdad al mapa de Karnaugh se realiza de forma directa, albergando un 0 un 1, dependiendo del valor que toma la funcin en cada fila. Las tablas de Karnaugh se pueden utilizar para funciones de hasta 6 variables. Ejemplo Dada la siguiente funcin algebraica Booleana representada como el sumatorio de sus minitrminos, y con las variables Booleanas , , , , la funcin se puede representar con dos notaciones distintas:

Las variables de entrada pueden combinarse de 16 formas diferentes, por lo que el mapa de Karnaugh tendr 16 celdas, distribuidas en una cuadricula de 4 4. La combinacin de dgitos binarios en el mapa representa el resultado de la funcin por cada combinacin de entradas. Por ejemplo, la celda en la esquina superior izquierda del mapa es 0, porque el resultado de la funcin es = 0 cuando A = 0, B = 0, C = 0, D = 0. De igual manera, la esquina inferior derecha es 10 porque el resultado de la funcin es = 10 cuando A = 1, B = 0, C = 1, D = 0. Una vez construido el mapa de Karnaugh, la siguiente tarea es la de seleccionar conjunto de terminos denominados subcubos de manera que se obtenga el menor nmero de subcubos posible. Estos subcubos se seleccionan formando grupos de rectngulos que encierren a los unos del mapa, las reas deben ser potencia de 2 (ej. 1, 2, 4, 8, ...) y se debe tratar de agrupar el mayor

nmero de unos posible. En resumen hay que tomar en cuenta al hacer estos grupos de unos (subcubos) lo siguiente:

Se puede visualizar tambin que los grupos pueden continuar en el lado opuesto como en el subcubo 1 de la figura dubujado en azul.

Debemos utilizar todos los unos del mapa. Es mejor crear el menor numero de grupos. Los unos pueden estar en varios grupos. El nmero de unos dentro de un grupo debe de ser cualquier potencia de 2. Mientras ms grande sea un grupo la simplificacin de la funcin ser mejor. No es necesario que todos los grupos tengan el mismo tamao.

Qu trminos seleccionar va dependiendo de cmo se quiera realizar la simplificacin, puesto que esta puede realizarse por minitrminos o por maxitrminos.

2.2.4 IMPLEMENTACIN Y APLICACIN DE CIRCUITOS COMBINACIONALES