UASLP – FI Laboratorio de Sistemas Digitales Práctica 2 Práctica 2 Maxitérminos, minitérminos y técnicas de reducción de ecuaciones 2.1 Objetivo Obtener la función lógica en maxitérminos o minitérminos y mediante técnicas de síntesis encontrar la función lógica reducida. 2.2 Antecedentes Los sistemas digitales pueden ser representados mediante tablas de verdad en la que se muestran todos los cambios que afectan a la (las) salida(s) del sistema digital. En esta tabla están implícitas las representaciones canónicas del sistema digital, siempre y cuando se consideren todos sus estados que modifican en forma inversa o directa la salida del sistema. En esta tabla de verdad todos los términos contenidos en ella se les conocen como términos canónicos. Los términos canónicos aparecen de dos formas, minitérminos también conocidos como “sumas de productos” o una representación en maxitérminos también conocida como “productos de suma”. En la siguiente expresión se representa una función lógica en forma de suma de productos (minitérminos) y productos de suma (maxitérminos) respectivamente. f1 m2 ,m3 ,m4 ,m6 ,m7 (1.1) f1 M0 ,M1,M5 (1.2) 1 0 Una vez obtenida la función canónica, ya sea en maxitérminos (ecuación 1.1) o minitérminos (ecuación 1.2), el sistema digital puede ser realizado empleando compuertas lógicas, sin embargo su función de costo puede arrojar un valor muy alto de compuertas lógicas. Para reducir el número de componentes a utilizar para representar físicamente el sistema lógico digital es conveniente emplear una serie de postulados y teoremas contenidos en el álgebra de Boole. Estos teoremas y postulados, bien utilizados, pueden reducir significativamente la función de costo del sistema. Sin embargo una mala aplicación de los teoremas, pueden arrojar una función errónea. A continuación se presentan los principales teoremas y postulados del álgebra booleana en la tabla 2.1 . Tabla 3.1 Principales teoremas y postulados del álgebra booleana. 2.1. 2.2. 2.3. 2.4. Postulado de identidad 1 Postulado de identidad 2 Teorema de idempotencia Teorema de identidad (Elemento identidad) 2.5. Teorema de involución 2.6. Ley Conmutativa 2.7. Ley Asociativa 2.8. Ley Distributiva 2.9. Teorema de De Morgan (a) x0 x (b) x 1 x x x 1 xx 0 xx x x0 0 xx x x 1 1 (x) x xy yx xy yx x ( y z ) ( x y ) z x( y z) xy xz x yz ( x y )( x z) 2.10. Teorema de absolución ( x y) x y x xy x 2.11. Teorema de múltiples variables x xy x y x( y z) ( xy)z ( xy) x y x(x y) x 2 UASLP – FI 2.2.1 Laboratorio de Sistemas Digitales Práctica 2 Teorema de De Morgan Los teoremas de De Morgan son de gran utilidad en la simplificación de expresiones en la cual se invierte el producto o suma de variables. El teorema 2.9.(a), de la tabla 2.1, afirma en condiciones de invertir la suma OR de dos variables, esta inversión es la misma que la de cada variable en forma individual y luego la operación con AND de estas variables invertidas. El teorema 2.9.(b), expresa que, cuando se invierte el producto AND de dos variables, esto equivale a invertir cada variable en forma individual y luego operarlas con OR. Otro método de síntesis, es la reducción mediante mapas de Karnaugh. Este método, es completamente gráfico que elimina el uso de teoremas y postulados siendo más fácil de manipular y reducir las expresiones a su mínima realización. Un mapa de Karnaugh es una representación en dos dimensiones de las posibles adyacencias de minitérminos y maxitérminos, de tal forma que permiten fácilmente la identificación de las mismas y su consecuente agrupación. En el mapa de Karnaugh se colocan los índices de los minitérminos y maxitérminos, además de las variables de entrada y sus valores para cada término. La numeración de los cuadros en el mapa de Karnaugh es una secuencia de código reflejado, con sólo cambiar el valor entre dos renglones adyacentes o columnas. En la figura 4.1 se ilustra la manera como quedaría representado, para un circuito digital de cuatro variables de entrada empleando minitérminos. 00 01 11 10 00 m0 m1 m3 m2 01 m4 m5 m7 m6 11 m12 m13 m15 m14 10 m8 m9 m11 m10 Figura 2.1 Representación del mapa de Karnaugh. La reducción de la función se realiza a través del agrupamiento de cuadros adyacentes. Además, se considera que el mapa K tiene adyacencia en los extremos superior e inferior, así como en las orillas derecha e izquierda, se tocan uno a otro para formar cuadros adyacentes. 2.3 Ejemplo de la obtención de una función lógica reducida mediante sus formas canónicas y reduciéndola partir del uso de postulados y teoremas y mapas de Karnaugh. Partiendo de la tabla de verdad siguiente, obtenga sus representaciones canónicas en suma de productos y productos de suma. Tabla de verdad (ejemplo 2.3) x y z f 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 3 UASLP – FI Laboratorio de Sistemas Digitales Práctica 2 El siguiente paso, consiste en identificar los maxitérminos y minitérminos. Índice x y z Minitérminos ( fm ) f1(x,y,z) Minitérmino Maxitérmino xyz Maxitérminos ( fM ) xyz 0 0 0 0 0 ------ M0 1 0 0 1 xyz xyz 0 ------ M1 2 0 1 0 xyz xyz 1 m2 ------ 3 0 1 1 xyz xyz 1 m3 ----------- 4 1 0 0 xyz xyz 1 m4 5 1 0 1 xyz xyz 0 ------ M5 6 1 1 0 xyz 1 m6 ------ 7 1 1 1 xyz xyz xyz 1 m7 ------ Por lo tanto la representación canónica de la tabla de verdad es a) En maxitérminos f1 m2 ,m3 ,m4 ,m6 ,m7 ó f1 2,3,4,6,7 1 1 Por lo tanto f1 es f1 x y z x y z x y z x y z x y z b) En minitérminos f1 M0 ,M1,M5 ó f1 0,1,5 0 Por lo tanto f1 es f1 x y z x y z x y z 0 La representación canónica en minitérminos tiene una función de costo más elevada que la representación en maxitérminos. Es decir, para construir un circuito digital que represente la función en maxitérminos deberá contener cinco compuertas AND de tres entradas y una compuerta OR de cinco entradas, además de los inversores NOT. En cambio, la representación en maxitérminos solo requiere de tres compuertas OR de tres entradas y una compuerta and de tres entradas. Ahora se procede a reducir la ecuación empleando los teoremas del algebra de Boole. Tomando la función en minitérminos, para demostrar la utilización de los teoremas y postulados f1 x y z x y z x y z x y z x y z m2 m3 m4 m6 m7 En f1 se puede ver que las adyacencias son: m2 ,m3 , m2 ,m6 , m3 ,m7 , m4 ,m6 y m6 ,m7 . Por identidad se tiene: f1 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 . m2 m3 m2 m6 m3 m7 m4 m6 m6 m7 Por el postulado de asociatividad, se obtiene f1 z z x y x x y z x x y z y y x z z z x y Por complemento se reduce a: f1 x y y z y z x z x y p1 p2 p3 p4 p5 La expresión anterior aún contiene adyacencias p1,p5 y p2 ,p3 lo que da: 4 UASLP – FI Laboratorio de Sistemas Digitales Práctica 2 f1 x y x y y z y z x z p1 p2 p3 p4 p5 p1 p5 p2 p3 Mediante el postulado asociativo se tiene: f1 x x y z z y x z Por complemento se reduce a: f1 y y x z Por último, se emplea el postulado de identidad y la función resultante es: f1 y x z Por lo tanto la función de costo se reduce a dos compuertas, una AND de dos entradas y una OR de dos entradas. Como puede verse, este método es de sumo cuidado ya que una mala utilización de los teoremas o postulados dará como resultado función lógica errónea. Mediante mapas de Karnaugh encontrar la función lógica empleando los minitérminos. yz x 0 1 00 1 01 11 10 1 1 1 1 En el mapa de Karnaugh anterior, solo se muestran los minitérminos. Mediante inspección localizamos las adyacencias y las encerramos mediante un lazo yz x 0 1 00 1 01 11 10 1 1 1 1 yz x 0 1 00 1 01 11 10 1 1 1 1 f1 y x z En el primer lazo se puede notar que solamente la variable “y” no presenta cambio alguno y en el segundo lazo “x” y “z” no presentan cambio alguno. Por lo tanto la función resultante es: Note que es el mismo mapa K, sin embargo se representa de manera independiente para ejemplificar la obtención de cada uno de los términos reducidos de la función f 1. Como paso final la implementación en compuertas lógicas. La función lógica final requiere sólo dos compuertas lógicas y un inversor. El circuito final se muestra en la figura 2.1. Los circuitos integrados empleados son 7404 que es la compuerta NOT, la 7408 que corresponde a la compuerta AND y la compuerta 7432. 5 UASLP – FI Laboratorio de Sistemas Digitales Vcc=5V Vcc=5V x Vcc=5V y 1 Vcc 13 3 14 4 11 1KW 5 10 6 9 7 8 GND 1 2 Vcc 14 13 3 14 0 LS 74 4 8 10 6 9 8 GND 1 2 Vcc 14 13 3 14 3 LS 74 4 2 330W 11 5 7 f 14 2 4 1KW z Vcc=5V 0 LS 74 1KW Práctica 2 11 5 10 6 9 7 GND 8 Figura 2.1 Representación en compuertas lógicas de la función (f 1) lógica minimizada. 2.4 Desarrollo de la práctica Utilizando Maxitérminos, encuentre la función mínima realizable y empleando el paquete de simulación CircuitMaker o Electronics Workbench (Multisim) y arme y simule el circuito que se obtiene de la función. o NOTA: Recuerde que al utilizar los maxitérminos, encontrará una función que está formada por productos de suma. 3 UASLP – FI Laboratorio de Sistemas Digitales Práctica 2 Implemente El circuito simulado y compruebe la salida mediante el manejo de las entradas correspondientes a cada una de las compuertas utilizadas y compare lo obtenido con su respectiva tabla de verdad. Nota. Antes de empezar a probar los experimentos, verifique que todo CI esté correctamente montado en la tablilla de proyectos (Proto board), que esté perfectamente energizado y conexiones a tierra. En caso de no estar seguro de lo anterior, pregunte al instructor. Anote sus conclusiones y responda el cuestionario de la práctica. 1.3.1 Material y equipo Material Cantidad 1 1 1 1 3 1 1 1 1 Elemento Fuente de 5 VCD Tablilla de conexiones Interruptor DIP Diodo Emisor de Luz Resistencias de 1KW Resistencia 330 W 74LS04 74LS08 74LS32 Descripción Fuente de alimentación Para circuitos integrados 4 entradas de cambio deslizable Estándar Para proteger de un corto circuito el circuito Para protección de diodo emisor de luz. Circuito integrado inversor Circuito integrado AND de dos entradas Circuito integrado OR de dos entradas Elemento Unidad de cómputo Probador lógico de CI Descripción Equipada con el programa Circuit Maker y/o Electronics Workbench. Utilidad opcional para comprobar estado de los CI Equipo Cantidad 1 1 1.4 Conclusiones 1.5 Cuestionario 1) Empleando la tabla de verdad siguiente obtenga lo siguiente: índice 0 1 2 3 4 5 6 7 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 f2 1 0 1 0 0 1 1 0 a. Encuentre los maxitérminos y minitérminos. b. Empleando los teoremas del álgebra de Boole y la función en minitérminos encuentre la función lógica reducida. c. Utilizando los mapas de Karnaugh y Maxitérminos obtenga la función lógica reducida. d. Compare el número de compuertas a utilizar en cada una de las funciones. 4 UASLP – FI Laboratorio de Sistemas Digitales Práctica 2 i. ¿Cuántas compuertas se utilizaron en maxitérminos? ii. ¿Cuántas compuertas se utilizaron en minitérminos? e. Realice un dibujo esquemático de cada representación minimizada (maxitérminos y minitérminos). f. Simule los circuitos obtenidos. Anexar las simulaciones de los circuitos solicitados 5