Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Electrnica Industrial-ED5
CONTENIDO
Unidad 2. lgebra de Boole y expresiones lgicas. Fundamentos del lgebra de Boole. Operaciones y expresiones booleanas. Formas estndar de las expresiones booleanas. Expresiones booleanas, tablas de verdad y formas estndar. 5. Leyes y reglas del lgebra de Boole. 6. Teoremas de DeMorgan. 7. Minimizacin lgica algebraica. 8. Minimizacin lgica mediante mapas de Karnaugh. 9. Riesgos de temporizacin (estticos y dinmicos). 10. Aplicacin a los sistemas digitales. 1. 2. 3. 4.
OBJETIVOS ESPECFICOS
! ! ! ! ! ! ! ! ! ! ! Aplicar las leyes y reglas bsicas del lgebra de Boole. Aplicar los teoremas de DeMorgan a las expresiones booleanas. Describir los diagramas lgicos mediante expresiones booleanas. Evaluar las expresiones booleanas. Simplificar expresiones booleanas mediante las leyes y reglas del lgebra de Boole. Convertir cualquier expresin booleana en una suma de productos y en un producto de sumas. Utilizar los mapas de Karnough para simplificar expresiones booleanas. Utilizar los mapas de karnough para simplificar tablas de verdad. Utilizar condiciones indiferentes para simplificar funciones lgicas. Identificar riesgos de temporizacin (estticos y dinmicos). Aplicar el lgebra de Boole y los mapas digitales a los sistemas digitales.
Electrnica Industrial-ED5
Abstraccin digital
(A1) X=0 si X1 (A1) X=1 si X0 OJO!!! Se cumple el principio de dualidad
Funcin inversora
(A2) Si X=0 entonces X=1 (A2) Si X=1 entonces X=0 OJO!!! Se cumple el principio de dualidad
A continuacin habran que desarrollarse todos los teoremas, y comprobar que el sistema matemtico constituye un lgebra. Todos los teoremas se demuestran utilizando estos axiomas como punto de partida, mediante induccin perfecta. Nosotros vamos a estudiar el lgebra desde un punto de vista no tan formal.
3
Electrnica Industrial-ED5
Estados posibles
0: Estado Falso 1: Estado Verdadero
Variables Booleanas
! Se corresponden con seales de entrada, de salida o intermedias. ! Se representan mediante caracteres alfabticos A, B, X... ! Pueden tomar dos valores (0 1). ! Se denomina literal a una variable o a su complemento A, A
Operadores Booleanos
Electrnica Industrial-ED5
2. OPERACIONES Y EXPRESIONES BOOLEANAS (II) Ejemplo: Extraccin de la expresin booleana de un sistema a partir de su diagrama lgico
A partir del siguiente circuito lgico se nos pide que obtengamos su expresin booleana equivalente.
Electrnica Industrial-ED5
C = A.B + A.B + ( A + B)
Electrnica Industrial-ED5
Suma de productos.
Producto de sumas.
Electrnica Industrial-ED5
Representar una tabla de verdad mediante productos de l os maxterms o maxiterminos es la forma dual. Cualquier funcin Booleana se puede expresar como suma me miniterminos (minterms) o como producto de maxiterminos (maxterms) y a estas formas se dice que est en forma cannica.
8
Electrnica Industrial-ED5
A+B = B+A (Conmutativa) A.B = B.A A+(B+C) = (A+B)+C (Asociativa) A.(B.C) = (A.B).C A.(B+C) = A.B + A.C (Distributiva)
Reglas del lgebra de Boole (son teoremas)
Electrnica Industrial-ED5
(X.Y) = X+Y
(X+Y) = X.Y
Hemos visto el modo de obtener expresiones Booleanas a partir las tablas de verdad, pero no sabemos nada sobre si esas expresiones son las ms simples posibles. Lo cual es importante ya que implica implementaciones sencillas, es decir reducir el nmero de componentes y por tanto reducir el coste de la aplicacin final. Las leyes, reglas y teoremas Bolanos se pueden utilizar, entre otras razones, con este fin: simplificar las expresiones Booleanas simplificar el diseo reducir costes en la implementacin del diseo
10
Electrnica Industrial-ED5
Ejemplo: Obtencin de un diagrama lgico de un sistema a partir de su expresin Booleana utilizando puertas NAND
A partir de la siguiente expresin Booleana se nos pide que obtengamos su diagrama lgico equivalente utilizando exclusivamente puertas NAND. D = A.B.C + A.B.C + A.B.C
A + B + C = A.B.C
11
Electrnica Industrial-ED5
Ejemplo: Obtencin de un diagrama lgico de un sistema a partir de su expresin Booleana utilizando puertas NOR
A partir de la siguiente expresin Booleana se nos pide que obtengamos su diagrama lgico equivalente utilizando exclusivamente puertas NOR.
A.B.C = A + B + C
12
Electrnica Industrial-ED5
(i.e.:
suma
de
productos
Simplificacin algebraica
A partir de una expresin Booleana e su forma de suma de productos se combinan los trminos, reduciendo la complejidad, mediante las reglas, leyes y teoremas del lgebra de Boole.
13
Electrnica Industrial-ED5
2 Se simplifica utilizando las reglas. D = A.B.C + B.C + A.B.C + A.B.C = = A.B.C + B.C + B.C( A + A) = = A.B.C + B.C + B.C = = A.B.C + B.(C + C) = = A.B.C + B = = A.C + B
14
Electrnica Industrial-ED5
"
"
Los cuadros adyacentes, tanto en forma horizontal como vertical, difieren en el estado de una variable (i.e. X-Y, X-Z). Esta propiedad no se aplica a los cuadros que se encuentran en una diagonal (i.e. Y-Z)
15
Electrnica Industrial-ED5
8. MINIMIZACIN LGICA MEDIANTE MAPAS DE KARNAUGH (II) Utilizacin de los mapas de Karnaugh
Los mapas de Karnaugh se van a utilizar para simplificar expresiones algebraicas. Para ello se har lo siguiente: 1) Representar en un mapa de Karnough la funcin algebraica o tabla de verdad que se dese simplificar. 2) Se agruparan los 1 siguiendo las reglas que a continuacin se citan: a) Los grupos de celdas ms grandes posibles debern construirse primero; cada uno deber contener 2n elementos. b) Debern agregarse grupos cada vez ms pequeos, hasta que cada celda que contenga un 1 se haya incluido por lo menos una vez. c) Debern eliminarse los grupos redundantes (aun cuando se trate de grupos grandes) para evitar la duplicacin.
16
Electrnica Industrial-ED5
17
Electrnica Industrial-ED5
18
Electrnica Industrial-ED5
D = A.B.C.D + A.B.C.D + A.B.C.D + A.B.C.D + A.B.C.D + A.B.C.D + + A.B.C.D + A.B.C.D + A.B.C.D + A.B.C.D + A.B.C.D
En este caso para evitar redundancias hemos eliminado el grupo interior grande.
19
Electrnica Industrial-ED5
En este caso para evitar redundancias hemos eliminado el grupo interior grande.
20
Electrnica Industrial-ED5
21
Electrnica Industrial-ED5
X=Y=1, e inicialmente Z=1 Un riesgo de 0 esttico es un par de combinaciones de entrada que: 4) Difieren solamente en una variable de entrada. 5) Ambas proporcionan una salida 0. 6) Es posible que ocurra una salida 1 momentnea (glitch) durante una transicin en la variable de entrada que difieren.
22
Electrnica Industrial-ED5
23
Electrnica Industrial-ED5
En las estructuras AND-OR u OR-AND no hay riesgo dinmico, si ninguna variable y su complemento no estn conectadas a la misma compuerta de primer nivel.
24
Electrnica Industrial-ED5
Los circuitos libres de riesgo se requieren normalmente en circuitos secuenciales de retroalimentacin. Las tcnicas para analizar riegos en circuitos arbitrarios son difciles de utilizar utilizar estructuras sencillas de analizar. Un circuito AND-OR de dos niveles no tiene riesgos dinmicos, ni de 0 esttico. En un circuito AND-OR los riesgos de 1 esttico pueden ser eliminados con el mtodo descrito. De manera dual , un circuito OR-AND de dos niveles libres de riesgo puede disearse para cualquier funcin lgica utilizando mapas. Lo dicho para AND-OR es aplicable a NAND-NAND.
(A+B)=(A.B)
25
Electrnica Industrial-ED5
El circuito combinacional que se busca debe cumplir con la siguiente tabla de verdad:
26
Electrnica Industrial-ED5
El circuito combinacional que se busca debe cumplir con la siguiente tabla de verdad, obtenindose el correspondiente diagrama de Karnaugh:
27
Electrnica Industrial-ED5
El circuito combinacional que se busca debe cumplir con la siguiente tabla de verdad, obtenindose el correspondiente diagrama de Karnaugh:
28
Electrnica Industrial-ED5
29
Electrnica Industrial-ED5
30