SIMPLIFICACIN DE FUNCIONES Y COMPUERTAS LGICAS. Maxter. LABORATORIO DE SISTEMAS DIGITALES PRACTICA # 2. SIMPLIFICACIN DE FUNCIONES Y COMPUERTAS LGICAS. INTRODUCCIN.

El lgebra booleana, puede definirse con un conjunto de elementos, un conjunto de operadores y un nmero de axiomas no probados o postulados. A continuacin se presentan los principales teoremas y postulados del lgebra booleana: Postulado 2 Postulado 5 Teorema 1 Teorema 2 Teorema 3, involucin Postulado 3, conmutativo Teorema 4, asociativo Postulado 4, distributivo Teorema 5, de De Morgan Teorema 6, absorcin MAPAS DE KARNAUGH. El mapa des un diagrama compuesto por cuadros. Cada cuadro representa un minitrmino. Ya que cualquier funcin booleana puede representarse como una suma de minitrminos, se concluye que una funcin booleana puede representarse como una suma de minitrminos, se concluye que una funcin booleana se reconoce en forma grfica por el rea encerrada en los cuadros cuyos minitrminos se incluyen en la funcin. De hecho, el mapa representa un diagrama visual de todas las formas posibles en que puede expresarse una funcin en una manera estndar. La numeracin de los cuadros en el mapa de Karnaugh se numeran en una secuencia de cdigo reflejado, con solo cambiando de valor entre dos renglones adyacentes o columnas; en la siguiente figura se ilustra la manera como quedara representado: m0 m4 m8 m1 m5 m9 m3 m7 m11 m2 m6 m14 m10 (a) x +0 = x (b) x.1 = x (a) x + x' = 1 (b) x.x' = 0 (a) x + x = x (b) x.x = x (a) x + 1 = 1 (b) x.0 = 0 (x')' = x (b) x y = y x (a) x + y = y + x (b) x (y z) = (x y) z (a) x + (y + z) = (x + y) + z (b) x + y z = (x + y)(x + z) (a) x (y + z) = x y + x z (b) (x y)' = x' + y' (a) (x + y)' = x' y' (b) x (x + y) = x (a) x + x y = x

m12 m13 m15

Se definen cuadros adyacentes para que sean cuadros juntos entres s. Adems, se considera que el mapa cae en una superficie en las orillas superior e inferior, al igual que en las orillas derecha e izquierda, tocndose uno a otro para formar cuadros adyacentes.

COMPUERTAS LGICAS DIGITALES. Nombre Smbolo Grfico Funcin Algebraica Tabla de Verdad XYF 000 AND F=XY 010 100 111 XYF 000 OR F=X+Y 011 101 111 XF INVERSOR F = X' 01 10 XYF 001 NAND F = (X Y)' 011 101 110 XYF 001 NOR F = (X + Y)' 010 100 110 XYF 000 XOR F = X' Y + X Y' 011 101 110 XNOR F = X Y + X' Y' XYF

001 010 100 111 OBJETIVO. Aplicar los conocimientos de lgebra Booleana obtenidos en los cursos pasados mediante la simplificacin de funciones. De igual modo el alumno debe comprobar sus resultados mediante la ayuda de un software de simulacin e implementando las funciones con compuertas lgicas en protoboard. MATERIAL.

Resistores de 2.2 K. Compuertas lgicas AND, OR, NAND, NOR, INVERSOR (74xxx08, 74xxx32, 74xxx00, etc.). Plantilla de pruebas. Fuentes de alimentacin. Diodos emisores de luz (LED).

DESARROLLO. 1.- Simplifique las siguientes funciones booleanas a un nmero mnimo de literales utilizando lgebra Booleana. x y + x y' (x + y)(x + y') x y z + x' y + x y z' z x + z x' y (A + B)'(A' +B')' y (w z' + w z) + x y 2.- Simplifique las funciones T1 y T2 a un nmero mnimo de literales. A 0 0 0 0 B 0 0 1 1 C 0 1 0 1 T1 1 1 1 0 T2 0 0 0 1

1 1 1 1

0 0 1 1

0 1 0 1

0 0 0 0

1 1 1 1

3.- Implementar las funciones booleanas de los puntos 1 y 2 tanto la original como la simplificada con las compuertas lgicas. MAPAS DE KARNAUGH. 4.- Realice la simplificacin de la funciones Booleanas de los puntos 1 y 2, utilizando mapas de harnaugh. Adems simplifique los siguientes ejercicios: F (x, y, z) = " (0, 2, 4, 5, 6) F (w, x, y, z) = " (0, 1, 2, 4, 5, 6, 8, 9, 12, 13, 14) F (A, B, C, D) = " (0, 1, 2, 6, 8, 9, 10) F (A, B, C, D, E) = " (0, 2, 4, 6, 9, 11, 13, 15, 17, 21, 25, 27, 29, 31) 5.- Comprobar las simplificaciones de las funciones del punto 4 utilizando un software de simulacin. 6.- Armar en protoboard la funcin d) del punto 4 (original y simplificada). 7.- Implementar en protoboard la funcin c) del punto 4 (simplificada), nicamente con compuertas NAND. RESULTADOS. 1.- Funciones booleanas simplificadas: x y + x y' = x (y + y') = x (1) = x (x + y)(x + y') = x + x y' + y x +y y' = x + x y' + y x + 0 = x (1 + y' + y) = x (1 + (y' + y)) = x (1 + 1) = x (1) = x x y z + x' y + x y z' = y (x z + x' + x z') = y (x' + x z + x z') = y (x' + (x z + x z')) = y (x' + (x (z + z')) = y (x' + (x (1)) = y (x' + x) = y (1) = y z x + z x' y = z (x + x' y) (A + B)'(A' +B')' = (A' B')(A'' B'') = (A' B') (A B) = A' A + A' B + B' A + B' B = 0 + A' B + B' A + 0 = A' B + B' A ----------> XOR y (w z' + w z) + x y = y w (z' + z) + x y = y w (1) + x y = y w + x y = y (w + x) 2.- Funciones T1 y T2 simplificadas. A 0 0 B 0 0 C 0 1 T1 1 1 T2 0 0

0 0 1 1 1 1

1 1 0 0 1 1

0 1 0 1 0 1

1 0 0 0 0 0

0 1 1 1 1 1

3.- Implementar las funciones booleanas de los puntos 1 y 2 tanto la original como la simplificada con las compuertas lgicas. a) b)

c)

d)

MAPAS DE KARNAUGH. 4.- Realice la simplificacin de la funciones Booleanas de los puntos 1 y 2, utilizando mapas de harnaugh. Adems simplifique los siguientes ejercicios:

 F (x, y, z) = " (0, 2, 4, 5, 6) F (w, x, y, z) = " (0, 1, 2, 4, 5, 6, 8, 9, 12, 13, 14) F (A, B, C, D) = " (0, 1, 2, 6, 8, 9, 10) F (A, B, C, D, E) = " (0, 2, 4, 6, 9, 11, 13, 15, 17, 21, 25, 27, 29, 31)

5.- Comprobar las simplificaciones de las funciones del punto 4 utilizando un software de simulacin.

Software- Simulacin (diskette anexo).CONCLUSIONES. Realizamos la practica con conocimientos obtenidos sistemas digitales, y aclare mis dudas acerca de los mapas de Karnaugh de 5 variables. OBSERVACIONES. No creo necesario alambrar tatos circuitos, no porque no podamos, sino que lleva mucho tiempo. Tambin considero que no es necesario alambrar tatas funciones, en protoboard, como las de esta practica, porque no le veo caso y adems quita mucho tiempo. CUESTIONARIO. 1.- Explicar que es el lgebra Booleana. 2.- Que es una tabla de verdad. 3.- Explicar que es un maxtrmino. BIBLIOGRAFA.

Morris Mano, DISEO DIGITAL, Prentice may, captulos 2 y 3. Ronald J. Tocci, SISTEMAS DIGITALES: PRINCIPIOS Y APLICACIONES, Prentice may, captulo 3. Apuntes de clase de la Materia Sistemas Digitales I. Impresa el 02 de septiembre del 2001.

LABORATORIO DE SISTEMAS DIGITALES. TSU - CIICAp - UAEM. Maxter. (mr_cafs@hotmail.com)