1 / 24

CLASE 3

CLASE 3. RESUMEN REPRESENTACION DE FUNCIONES LOGICAS. Una función puede ser representada en diferentes formas. TEOREMAS DE BOOLE. P1 (Cerradura). Si x , y S , entonces x + y S ; x.y S. P2 (P. Conmutativa). P2. x + y = y + x. xy = yx. P2D. P3 (P. Asociativa). P3.

magnar
Télécharger la présentation

CLASE 3

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. CLASE 3

  2. RESUMEN REPRESENTACION DE FUNCIONES LOGICAS Una función puede ser representada en diferentes formas

  3. TEOREMAS DE BOOLE P1 (Cerradura) Si x, y S, entonces x+ y S ; x.yS P2 (P. Conmutativa) P2. x + y = y + x xy = yx P2D. P3 (P. Asociativa) P3. x + (y + z) = (x + y) + x x(yz) = (xy)z P3D. P4 (P. Distributiva) P4. x + (yz) = (x + y)(x + z) x(y+z) = xy + xz P4D. P5 (Identidades) P5. x + 0 = x P5D. x.1=x P6 (Complemento) x + =1 P6. P6D. x. = 0

  4. TEOREMAS DE BOOLE T1 Los elementos de identidad 0 y 1 son únicos. T2 (Idempotencia) T2. x + x = x xx = x T2D. T3 (Elemento nulo) T3. x + 1 = 1 x.0 = 0 T3D. T4 (Absorción) T4. x + xy = x x.(x+y) = x T4D. T5 Cada elemento en el conjunto S tiene un único complemento. T6 (Involución) T7 (Absorción) T7. T7D.

  5. TEOREMAS DE BOOLE T8 (T. Demorgan) T8. + T8D. T9 (T. Consenso) T4. T4D. T10 T10. T10D. T11 T11. T11D.

  6. CONVIRTIENDO ENTRE REPRESENTACIONES • Podemos convertir desde una representación cualquiera a otra. Circuito digital Tabla de verdad Ecuación

  7. EQUIVALENCIA ENTRE FUNCIONES • En el supermercado de Apus le piden diseñar un circuito para la apertura automática del mini mercado. Para el control de la puerta se tienen 3 entradas las cuales se describen a continuación: • Persona detectada: Cuando una persona se acerca a la puerta y esta es detectada por un sensor la puerta se abre. • Forzar apertura: Entrada que cuando esta activa fuerza a que la puerta permanezca abierta. • Forzar cerrado: Entrada que cuando esta activa fuerza a que la puerta permanezca cerrada. • De las dos entradas la mas prioritaria es la de cerrado de modo que cuando ambas están activas la puerta se cierra. El control funciona cuando la entrada forzar cerrado este inactiva sin importar que se si se detecta o no una persona estando la entrada forzar apertura activa o cuando se detecta una persona y ambas entradas de forzado están inactivas.

  8. EQUIVALENCIA ENTRE FUNCIONES • Análisis del problema • Salida: • f: abrir puerta (f=1, la puerta se abre). • Entradas: • p: Persona detectada. (p = 1, se detecto una persona). • h: Forzar puerta abierta. (h = 1, switch para forzar apertura se activo). • c: Forzar puerta cerrada. (c = 1, switch para forzar cerrado se activo). • ¿Cuándo se abre la puerta? • Cuando forzar abierto se active (h=1) estando forzar cerrado desactivado (c=0) y detecto una persona (p = 1). • Cuando forzar abierto se active (h=1) estando forzar cerrado desactivado (c=0) y no se detecto una persona (p = 0). • Cuando se detecto una persona (p=1), forzar apertura esta desactivado (h = 0) y forzar cerrado también lo esta (c = 0).

  9. EQUIVALENCIA ENTRE FUNCIONES • ¿Cuándo se abre la puerta? • Cuando forzar abierto se active (h=1) estando forzar cerrado desactivado (c=0) y detecto una persona (p = 1). • Cuando forzar abierto se active (h=1) estando forzar cerrado desactivado (c=0) y no se detecto una persona (p = 0). • Cuando se detecto una persona (p=1), forzar apertura esta desactivado (h = 0) y forzar cerrado también lo esta (c = 0). Tabla de verdad Ecuación p’hc’ f = p’hc’ + ph’c’ + phc’ ph’c’ phc’

  10. EQUIVALENCIA ENTRE FUNCIONES El principal objetivo del diseño de circuitos lógicos combinacionales es la construcción de circuitos utilizando el mínimo numero de compuertas y entradas desde la especificación del comportamiento del circuito. (Simplificar). f = p’hc’ + ph’c’ + phc’ f = phc’ + p’hc’ + ph’c’ Prop. Conmutativa f = hc’(p + p’) + ph’c’ Prop. Distributiva f = hc’(1) + ph’c’ Complemento f = hc’ + ph’c’Identidad

  11. EQUIVALENCIA ENTRE FUNCIONES f = p’hc’ + ph’c’ + phc’ f = hc’ + ph’c’ La misma función lógica puede ser especificada por dos o mas expresiones algebraicas diferentes. Comparación de las tablas de verdad de las expresiones Como comprobar equivalencia entre dos funciones? Manipulación algebraica (previamente visto)

  12. EQUIVALENCIA ENTRE FUNCIONES Comparación de las tablas de verdad de las expresiones f = p’hc’ + ph’c’ + phc’ Iguales f = hc’ + ph’c’

  13. EQUIVALENCIA ENTRE FUNCIONES Comparación de las tablas de verdad de las expresiones Considere dos expresiones algebraicas que definen la función

  14. EQUIVALENCIA ENTRE FUNCIONES Comparación de las tablas de verdad de las expresiones Considere dos expresiones algebraicas que definen la función =

  15. EQUIVALENCIA ENTRE FUNCIONES Comparación de las tablas por manipulación algebraica Determine la equivalencia entre las funciones anteriormente mostradas usando manipulación algebraica. xy + xy’z + x’yz = xy + xyz + xy’z + x’yz T4. Absorción = xy + xz(y + y’) + x’yz P4. P. Distributiva = xy + xz(1) + x’yz P6. Complemento = xy + xz+ x’yz P5. Identidades = xy + (x + x’yz)(z+x’yz)P4. P. Distributiva = xy + (x + yz)(z+x’yz) T7. Absorcion = xy + (x + yz)(z) T4. Absorcion = xy + xz +yzzP4. P. Distributiva xy + xy’z + x’yz = xy + xz +yzT2. Idempotencia

  16. FORMAS CANONICAS • Una función lógica se puede definir mediante una tabla de verdad, sin embargo existen muchas alternativas de implementación de circuitos lógicos que tienen la misma tabla de verdad. • La forma canónica es una implementación estándar para una expresión booleana. • Solo hay una forma canónica para representar una función logica. • La forma canónica para una función lógica puede ser representada en dos formas: • SOP (Suma de productos). • POS (Producto de sumas).

  17. SUMA DE PRODUCTOS Suma de productos: Suma (OR) de términos productos (AND) , formados por varias variables complementadas o no. A’B’C A’BC F(A,B,C) = A’B’C + A’BC + A’BC’ + ABC’ + ABC A’BC’ ABC’ ABC Mintermino: Es un termino de producto en el cual cada variable aparece una sola vez en su forma complementada o no. Notación abreviada para minterminos de 3 variables

  18. SUMA DE PRODUCTOS A’B’C A’BC A’BC’ ABC’ ABC F (A , B ,C ) = A’B’C + A’BC + A’BC’ + ABC’ + ABC Cualquier función booleana puede expresarse como la suma (OR) de los minterminos correspondientes a las filas de la tabla de verdad para los cuales la función produce una salida de 1

  19. PRODUCTO DE SUMAS Producto de sumas: Producto (AND) de términos sumas (OR) formados por variables complementadas o no. A + B + C F(A,B,C) = (A + B + C)(A + B’ + C)(A’ + B + C) A + B’ + C A’ + B + C Maxtermino: Es un termino de suma en el cual cada variable aparece una sola vez en su forma verdadera o complementada, pero no ambas. Notación abreviada para maxterminos de 3 variables

  20. SUMA DE PRODUCTOS A + B + C A + B’ + C A’ + B + C F (A , B ,C ) = (A + B + C)(A + B’ + C)(A’ + B + C) Cualquier función booleana puede expresarse como el producto (AND) de los maxterminos correspondientes a la fila de la tabla para los cuales la funcion produce una salida 0.

  21. FORMA ESTANDAR • La forma estándar de SOP o POS, es aquella en la que todas las variables aparecen en cada uno de los términos. • Una suma de productos SOP es igual a 1 Si uno o mas términos productos que forman la expresión es igual a 1. Ejemplo: Evaluar la función para la secuencia ABC de 000 y 001. F(A,B,C) = A’B’C + A’BC + A’BC’ + ABC’ ABC Representación binaria de SOP El termino AB’CD’ es igual a 1 cuando A=1, B = 0, C = 1 y D = 0  ABCD = 10102 = 1010 • Un producto de sumas POS es igual a 0 Si uno o mas términos suma que forman la expresión es igual a 0. Ejemplo: Evaluar la función para la secuencia ABC de 100 y 011. F(A,B,C) = (A + B + C)(A + B’ + C)(A’ + B + C) Representación binaria de POS El termino A+B’+C+D’ es igual a 0 cuando A=0, B = 1, C = 0 y D = 1  ABCD = 01012 = 510

  22. MINTERMINOS .vs. MAXTERMINOS • Minterminos: • Es cada uno de los términos de una SOP estándar. • Las variables pueden ser complementadas (A’ = 0) o no (A = 1). • Una función SOP es una suma de minterminos (m). • Maxterminos: • Es cada uno de los términos de una POS estándar. • Las variables pueden ser complementadas (A’ = 1) o no (A = 0). • Una función SOP es una productoria de maxterminos (M). Ejemplo (maxterminos) f (a,b) = (a+b)(a’+b)(a’+b’) 00 10 11 Donde: f(a,b,c)= M0.M2.M3 f(a,b,c)= M (0,2,3) Ejemplo (minterminos) f(a,b,c) = a’bc’ + abc’ + a’bc+ abc010 110 011 111 Donde: f(a,b,c)= m2+m6+m3+m7 f(a,b,c)= m (2,3,6,7)

  23. CONVERSION A FORMA ESTANDAR DE SOP • Se debe buscar la variable faltante en cada uno de los términos y agregarla, sin afectar el resultado final de la expresión. Ejemplo: La siguiente función no se encuentra en forma estándar, muestre paso a paso el procedimiento para llevarla a su forma estándar. F(x,y,z) = x’y + x’z Falta z Falta y Solución: Se multiplica cada termino incompleto por 1 F(x,y,z) = x’y(1) + x’z(1) P6. Complemento F(x,y,z) = x’y(z + z’) + x’z(y + y’) F(x,y,z) = x’yz + x’yz’ + x’zy + x’zy’ P6. Propiedad distributiva F(x,y,z) = x’yz + x’yz’ + x’zy’ P6. Idempotencia

  24. CONVERSION A FORMA ESTANDAR DE POS • Se procede similarmente al caso anterior con algunas pequeñas diferencias. Ejemplo: La siguiente función no se encuentra en forma estándar, muestre paso a paso el procedimiento para llevarla a su forma estándar. F(x,y,z,w) = (x + y’ + z)(y’ + z + w’) Falta x Falta w Solución: Se suma a cada termino AA’ = 0 y se aplica la propiedad distributiva para la operación la suma (+). • x + y’ + z + 0 = x + y’ + z + ww’ = (x + y’ + z + w)(x + y’ + z + w’) • y’ + z + w’ + 0 = y’ + z + w’ + xx’ = (y’ + z + w’ + x)(y’ + z + w’ + x’) Se multiplican (AND) los términos suma F(x,y,z) = (x + y’ + z + w)(x + y’ + z + w’) (y’ + z + w’ + x)(y’ + z + w’ + x’)

More Related