Funciones Lógicas Y Métodos De Minimización

Transcripción

1 Circuitos Digitales I Tema III Funciones Lógicas Y Métodos De Minimización Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Funciones lógicas Circuito combinacional: Un circuito cuya salida depende únicamente del estado actual de sus entradas. Puedes dar ejemplos? Las salidas de un circuito combinacional pueden expresarse matemáticmante mediante funciones lógicas.! Representación de funciones lógicas: Mediante tablas de verdad Mediante expresiones algebraicas Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

2 Tablas de Verdad Línea X Y Z F F(0,0,0) F(0,0,1) F(0,1,0) F(0,1,1) F(1,0,0) F(1,0,1) F(1,1,0) F(1,1,1) Línea X Y Z F Estructura general de una tabla de verdad para una función lógica de 3 variables, F(X,Y,Z) Tabla de verdad para una función lógica de 3 variables, F(X,Y,Z) Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Representación Algebraica Definiciones:! Literal: Una variable binaria o su complemento. Ej: X, Y, Y! Término producto: Un literal simple o un producto lógico (AND) de dos o más literales. Ej: X, X Y Z, Y Z! Expresión de suma de productos: Suma lógica (OR) de términos producto. Ej: X Y Z + X Y Z + X Y Z Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

3 Definiciones...! Término suma: Un literal simple o una suma lógica de dos o más literales. Ej: X, X+Y +Z, Y+Z! Expresión de producto de sumas: producto lógico de términos suma. Ej: (X +Y+Z ) ( X +Y+Z) (X+Z )! Término normal: Es un término producto o suma en el cual ninguna variable aparece más de una vez. Ej: X Y Z, X +Y Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Definiciones...! Minitérmino de n variables es un término producto normal con n literales! Maxitérmino de n variables es un término suma normal con n literales! Existen 2 n mintérminos y maxtérminos en una función de n variables. Línea X Y Z F Mintérmino Maxtérmino X.Y.Z X+Y+Z X.Y.Z X+Y+Z X.Y.Z X+Y +Z X.Y.Z X+Y +Z X.Y Z X +Y+Z X.Y.Z X +Y+Z X.Y.Z X +Y +Z X.Y.Z X +Y +Z Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

4 Definiciones...! Suma canónica: Es la suma de todos los mintérminos para los cuales la función es 1.! Producto canónico: Es el producto de todos los maxtérminos para los cuales la función es 0.! De la tabla anterior: Suma canonica : F = X, Y, Z (2,3,6) = X ' Y Z' + X ' Y Z + X Y Z' Producto canonico : F = ( X X, Y, Z + Y + Z) ( X (0,1,4,5,7) = + Y + Z') ( X ' + Y + Z) ( X ' + Y + Z') ( X ' + Y ' + Z') Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Análisis de Circuitos Combinacionales Dado un circuito, obtener la descripción formal de su función lógica. Luego es posible:! Determinar el comportamiento del circuito para distintas combinaciones de entrada.! Manipular la descripción algebraica para obtener estructuras de circuito alternativas.! Transformar la descripción algebraica a una forma estándar que puedas ser programada en un dispositivo de lógica programable (PLD) Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

5 Análisis de circuitos Combinacionales! Ej: Obtener todas las salidas de las compuertas para todas las posibles combinaciones de entrada Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Expresiones lógicas para las líneas de señal! Multiplicando: F = ((X + Y ) Z) + (X Y Z ) = (X Z) + (Y Z) + (X Y Z ) Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

6 Un circuito nuevo, la misma función! Circuito AND OR de dos niveles: Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Funcion lógica obtenida al sumar Circuito OR-AND: Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

7 Atajo: Sustitución de símbolos (DeMorgan) Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Circuito diferente, pero la misma función Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

8 Otro ejemplo (Wakerly) G(W,X,Y,Z) = W X Y + Y Z Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Síntesis de circuitos combinacionales! Idea: obtener una función lógica (y luego su circuito lógico) a partir de una descripción en palabras de un problema en el que intervienen variables de conmutación (binarias).! La descripción normalmente incluye las conjunciones Y, O, NO (AND, OR, NOT) para relacionar las entradas.! La descripción también puede ser una lista de combinaciones de entrada y el valor de la salida correspondiente. Mediante una tabla, una suma canónica, o un producto canónico.! La implementación o realización de la función normalmente requiere un proceso de minimización o manipulación para obtener la solución más adecuada. Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

9 Manipulaciones de circuitos! Permiten transformar un circuito a otra forma más adecuada Más rápida, que use los componentes disponibles.! Generalmente circuitos de dos niveles: AND OR OR AND NAND NAND NOR NOR! Uso de los símbolos equivalentes y de los teoremas de DeMorgan. Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Ejemplos 1. Diseñe un circuito detector de números primos de 4 bits. Las salida debe ser activa en alto. 2. Diseñe un circuito detector de números primos en una entrada BCD de un dígito, la salida debe ser activa en alto. 3. Diseñe un circuito que permita abrir electrónicamente la puerta de la habitación de María si María inserta su llave o si Papá y Mamá insertan sus llaves o si Papá y hermanita insertan sus llaves. Asuma que la puerta abre con un nivel BAJO y que cada llave genera un nivel alto cuando se inserta en la ranura correspondiente (la cerradura tiene una ranura para cada llave). Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

10 Simplificación de funciones lógicas! Es posible usar los axiomas y teoremas del álgebra de Boole estudiados anteriormente para simplificar expresiones lógicas y reducir la complejidad del circuito. Se reduce el tamaño y el costo. Se reduce el número de conexiones Se reducen la posibilidad de falla?! También es posible transformar la expresión en una forma más conveniente De acuerdo a la disponibilidad de dispositivos Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Ejemplos de simplificación! Simplificar: F = X Y Z + X Y Z + X Y Z Z Y X 3/ / / F Simular Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

11 Más ejemplos para simplificar...! Un misil nuclear se activa si al menos tres de cuatro llaves son insertadas. Asumiendo que cada llave insertada genera un 1 lógico, diseñe un circuito mínimo para activar el misil con un 1 lógico. Use componentes reales.!! F F = = X, Y, Z, W A, B, C ( 2,7,8,13) Asuma que posee compuertas de 2 entradas solamente (0,4,6) Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Mapas de Karnaugh! Es el método más fácil para simplificar expresiones lógicas de hasta seis variables.! La tabla de verdad de una función de n variables se representa gráficamente en un arreglo de 2 n celdas.! Cada celda representa un mintérmino. X Y XY Z WX YZ variables 3 variables 4 variables Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

12 Uso de los mapas de Karnaugh para simplificar expresiones! En un mapa de Karnaugh, cada celda difiere de sus vecinas en un solo una variable Un cambio de una variable de 1 a 0 Qué le recuerda ésto?! Para simplificar una suma canónica, se combinan celdas adyacentes 1 en el mapa y dado que dichas celdas difieren en solo una variable,éstos pueden combinarse en un solo término producto Recordar que: X Y + X Y = X, en general: (Término) Y + (Término) Y = (Término)! El número de celdas adyacentes debe ser múltiplo de dos Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I Regla para combinar celdas y formar el término producto simplificado Un conjunto de 2 i celdas 1 puede combinarse si existen i variables de la función lógica que tomen todas las 2 i combinaciones posibles dentro de ese conjunto, minetras las restantes n i variables tienen el mismo valor en todo ese conjunto. El término producto correspondiente tiene n i literales, donden una variable está complementada si aparece como cero en todas las celdas 1 y no complementada si aparece como 1. Wakerly, J. F., Diseño Digital, Principios y Prácticas, pág 181 (2da edición), pág 224 (3ra edición). Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I

13 Ejercicios de Mapas de Karnaugh! Realizar la simplificación de los ejemplos anteriores! Diseñar un circuito de cuatro entradas y una salida, tal que la salida sea 1 siempre que en la entrada exista mayoría de unos! Simplificar: F=A B C D + B C D + A B C D + B C D Si A B C D y A B C D son condiciones NO IMPORTA (Don t Care). Luis Tarazona, UNEXPO Barquisimeto EL-3213 Circuitos Digitales I