Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra de Boole
Los sistemas digitales emplean generalmente seales que pueden adoptar dos estados bien diferenciados donde (en teora) pueden ser referenciados a dos niveles de alguna condicin fsica tal como corriente tensin (circuitos integrados), campo elctrico (memorias EEPROM, FLASH), campo magntico (diskettes, cintas magnticas), condicin ptica (CD, DVD), etc.. Consecuentemente es posible representar datos binarios e interrelacionarlos a travs de algn grupo de reglas. El ALGEBRA DE BOOLE es un formalismo que conlleva a la creacin de FUNCIONES LGICAS donde las mismas relacionan una variable binaria de salida con una o mas de entrada. Dichas funciones se basan en una serie de postulados y teoremas que imponen las reglas de juego entre dichas variables.
Algebra de Boole
CONECTIVIDADES: Dada una serie de variables lgicas (que generalmente se designan con letras), existe un nmero finito de funciones diferentes (conectividades) que pueden obtenerse. La cantidad de CONECTIVIDADES se puede calcular mediante la expresin:
EJEMPLOS: Si hay una sola variable Si hay una dos variables Si hay una tres variables etc.
Algebra de Boole
CONECTIVIDADES DE UNA SOLA VARIABLE Son 4: F=0 ( Falso), F=1 ( Verdadero), F=A, F= NOT A (negacin de A: Si A=0
F=1 y viceversa).
CONECTIVIDADES DE DOS VARIABLES Son 16, de las cuales las mas relevantes son:
F F F F F F
= = = = = =
A A B B 0 1
F F F F F F
= = = = = =
A A A A A A
B +B B +B B B
F A 0 1
F A 0 0 1 1
B 0 1 0 1
F A 0 0 0 0 1 1 1 1
B 0 0 1 1 0 0 1 1
C 0 1 0 1 0 1 0 1
Si una funcin tiene n variables de entrada existirn 2n combinaciones diferentes entre las mismas. n=1 n=2 n=3 n=4 etc 2 4 8 16
F 0 1
A 0 1
F 1 0
A 0 1
F 0 0 0 1
A 0 0 1 1
B 0 1 0 1
F 1 1 1 0
A 0 0 1 1
B 0 1 0 1
F 0 1 1 1
A 0 0 1 1
B 0 1 0 1
F 1 0 0 0
A 0 0 1 1
B 0 1 0 1
F 0 1 1 0
A 0 0 1 1
B 0 1 0 1
F 1 0 0 1
A 0 0 1 1
B 0 1 0 1
F 0 0 0 0 0 0 0 1
A 0 0 0 0 1 1 1 1
B 0 0 1 1 0 0 1 1
C 0 1 0 1 0 1 0 1
F 0 1 1 1 1 1 1 1
A 0 0 0 0 1 1 1 1
B 0 0 1 1 0 0 1 1
C 0 1 0 1 0 1 0 1
F 0 1 1 0 1 0 0 1
A 0 0 0 0 1 1 1 1
B 0 0 1 1 0 0 1 1
C 0 1 0 1 0 1 0 1
NOT
OR
NOR
AND
NAND
OR-EXCL.
NOR-EXCL.
Algebra de Boole
ECUACIONES LGICAS PROPIEDADES: A + 1 = 1; A 1 = A; A + 0 = A; A 0 = 0; A A = A; A + A = A; A /A = 0; A + /A = 1 [Negar un n par de veces a A] = A [Negar un n impar de veces a A] = /A A + A B = A; A (A + B) = A;
DISTRIBUTIVA CONMUTATIVA
A (B + C) = A B + A C A + B C = (A + B) (A + C) A B = B A; C + H = H + C
AB=A+B
B
C
B
C
A D
C=A+B
C=AB
D = (A + B) C
NOTA: Aqu se asume que el estado lgico de una llave normal abierta (NA) es 0 si est abierta. La lmpara es 0 si est apagada.
CIRCUITO EQUIVALENTE
A B
D C
E = (A + B) C /D
Algebra de Boole
A+B A+B AB AB A
AB AB AB AB A1
Algebra de Boole
REPRESENTACIN TEMPORAL
A
COMPUERTA OR t t t
A B C
B C
COMPUERTA IDEAL
COMPUERTA AND
A B
COMPUERTA IDEAL
A B C
t t t
Algebra de Boole
REPRESENTACIN TEMPORAL
A
COMPUERTA NOR t t t
A B C
B C
COMPUERTA IDEAL
COMPUERTA NAND
A B
COMPUERTA IDEAL
A B C
t t t
Algebra de Boole
DIAGRAMAS DE KARNAUGH
FUNCIONES CANNICAS: Son aquellas formadas por trminos especiales que contienen a todas las variables de entrada de la funcin. Dependiendo de que trminos una funcin cannica puede ser de dos tipos: PRIMERA FORMA SEGUNDA FORMA. PRIMERA FORMA: Est formada por mintrminos (interseccin entre las variables en juego). SEGUNDA FORMA: Est formada por maxitrminos (unin entre las variables en juego).
Algebra de Boole
DIAGRAMAS DE KARNAUGH FUNCIN CANNICA DE PRIMERA Y SEGUNDA FORMA Para 2 variables A y B, hay 22 trminos en total.
Los mintrminos son: /A /B, /A B, A /B y A B. Los maxtrminos son: A+B, A+/B, /A+B y /A+/B. Para 3 variables, tendremos 23 trminos en total. Los mintrminos son: /C /D /E, /C /D E, /C D /E, /C D E, C /D /E, C /D E, C D /E y C D E. LA UNIN COMPLETA DE MINTRMINOS DA LA FUNCIN 1 Los maxtrminos son: C+D+E, C+D+/E, C+/D+E, C+/D+/E, /C+D+E, /C+D+/E, /C+/D+E y /C+/D+/E LA INTERSECCIN COMPLETA DE MAXTRMINOS DA LA FUNCIN 0
Algebra de Boole
DIAGRAMAS DE KARNAUGH FUNCIN CANNICA DE PRIMERA FORMA EJEMPLOS: FUNCIN CANNICA DE 2 VARIABLES
E = A B + A B
Algebra de Boole
DIAGRAMAS DE KARNAUGH
T = (E + F) (E + F) (E + F)
T = ( M 0, M 2, M 3) = (0, 2, 3)
A = ( B + C + D)
A = (M 2) = (2)
Algebra de Boole
DIAGRAMAS DE KARNAUGH CONVERSIN A FUNCIN CANNICA DE PRIMERA FORMA Convertir la siguiente funcin:
F = A+ BC
F = A ( /B/C + /BC + B/C + BC) + BC ( /A + A) F = A/B/C + A/BC + AB/C + ABC + ABC + /ABC F = /ABC + A/B/C + A/BC + AB/C + ABC
Algebra de Boole
DIAGRAMAS DE KARNAUGH CONVERSIN A FUNCIN CANNICA DE SEGUNDA FORMA Convertir la siguiente funcin: P = ( Q + R) S Por un lado: ( Q + R) = ( Q + R) + /S S = ( Q + R) = ( Q + R + /S) ( Q + R + S) Por el otro: S = S + ( /Q + /R) ( /Q + R) ( Q + /R) ( Q + R) = ( /Q + /R + S ) ( /Q + R + S ) ( Q + /R + S ) ( Q + R + S ) Combinando: P = ( /Q + /R + S) ( /Q + R + S) ( Q + /R + S) ( Q + R + S) ( Q + R + /S)
Algebra de Boole
DIAGRAMAS DE KARNAUGH
CONVERSIN DE UNA FUNCIN CANNICA A LA OTRA Pasar de 1ra forma a 2da:
EJEMPLO:
G = /B /C /D + /B C D + B /C /D + B C /D + B C D Se trabaja con el complemento de G: /G = /B /C D + /B C /D + B /C D (Los mintrminos que faltan en G) Negando ambos miembros se mantiene la igualdad: G = /B /C D + /B C /D + B /C D Aplicando De Morgan dos veces: G = ( /B /C D ) ( /B C /D ) ( B /C D ) G = ( B+C+/D) ( B+/C+D) ( /B+C+/D)
Algebra de Boole
DIAGRAMAS DE KARNAUGH
B A B
A A
0 1
0 AB AB
0 2
1 AB AB
Algebra de Boole
DIAGRAMAS DE KARNAUGH
BC A BC
BC
BC
BC
NO son adyacentes cambian las variables A y C . Son adyacentes ya que slo cambia la variable A .
A A
0 1
00 ABC 0 ABC 4
01 ABC 1 ABC 5
11 ABC 3 ABC 7
10 ABC 2 ABC 6
Para armar cualquier Diagrama de Karnaugh los casilleros contiguos verticales u horizontales deben contener mintrminos adyacentes, es decir, donde slo cambie una variable entre uno y otro.
Algebra de Boole
DIAGRAMAS DE KARNAUGH
PRIMERA FORMA: 4 VARIABLES
CD AB CD
CD
CD
CD
00
ABCD ABCD ABCD ABCD
01
0 4
ABCD ABCD ABCD ABCD
11
1 5
ABCD ABCD ABCD ABCD
10
3 7
ABCD ABCD ABCD ABCD
AB AB AB AB
00 01 11 10
2 6
12 8
13 9
15 11
14
10
Algebra de Boole
DIAGRAMAS DE KARNAUGH
5 VARIABLES: La representacin se realiza con dos diagramas de Karnaugh de 4 variables cada una, donde la quinta variable se representa en uno negada y en el otro sin negar. 6 VARIABLES: Idem al caso anterior pero ahora con 4 Karnaugh de 4 variables cada una. Cada Karnaugh corresponder a una combinacin de la 5ta. y 6ta. variable (son 4 combinaciones diferentes) LA SNTESIS Y SIMPLIFICACIN UTILIZANDO KARNAUGH ES UTIL HASTA 5 VARIABLES. mayor nmero puede dar lugar a errores en la determinacin de los trminos a simplificar.
Algebra de Boole
DIAGRAMAS DE KARNAUGH PRIMERA FORMA: 4 VARIABLES Representacin de funciones cannicas
CD AB CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
1 1 0 0
0 0 0 0
1 1 0 0
1 1 0 0
Algebra de Boole
DIAGRAMAS DE KARNAUGH PRIMERA FORMA: 4 VARIABLES Representacin de funciones en general
CD AB CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
1 1 0 0
1 1 0 0
1 1 0 0
1 1 0 0
Algebra de Boole
DIAGRAMAS DE KARNAUGH PRIMERA FORMA: 4 VARIABLES Representacin de funciones en general
CD AB CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
0 0 1 1
0 0 1 1
0 0 1 1
0 0 1 1
Algebra de Boole
DIAGRAMAS DE KARNAUGH PRIMERA FORMA: 4 VARIABLES Representacin de funciones en general
CD AB CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
0 1 1 0
0 1 1 0
0 1 1 0
0 1 1 0
Algebra de Boole
DIAGRAMAS DE KARNAUGH PRIMERA FORMA: 4 VARIABLES Representacin de funciones en general
CD AB CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
0 1 1 1
0 1 1 1
0 1 1 1
0 1 1 1
Esta operacin de unin toma los trminos comunes y no comunes de las variables A y B.
Algebra de Boole
DIAGRAMAS DE KARNAUGH PRIMERA FORMA: 4 VARIABLES Representacin de funciones en general
CD AB CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
0 0 1 0
0 0 1 0
0 0 1 0
0 0 1 0
Esta operacin de interseccin toma slo los trminos comunes de las variables A y B.
Algebra de Boole
DIAGRAMAS DE KARNAUGH PRIMERA FORMA: 4 VARIABLES Representacin de funciones en general
CD AB CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
0 0 0 0
0 0 0 0
1 1 0 0
1 1 0 0
Esto d: F = A C
Algebra de Boole
DIAGRAMAS DE KARNAUGH PRIMERA FORMA: 4 VARIABLES REPRESENTACIN DE FUNCIONES EN GENERAL Ejemplo: A + B C
AB CD CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
0 0 1 1
0 0 1 1
0 1 1 1
0 1 1 1
BC
Algebra de Boole
DIAGRAMAS DE KARNAUGH
CD AB CD
ESTRUCTURAS PARTICULARES
CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
0 1 0 1
1 0 1 0
0 1 0 1
1 0 1 0
Algebra de Boole
SIMPLIFICACIN DE FUNCIONES LGICAS
Simplificar una funcin lgica significa hallar otra manera de expresarla pero que utilice la menor cantidad de trminos y/o variables a fin de conseguir una representacin mas compacta. Esto en realidad depende de la estructura de hardware que se utilice para la generacin de sub-funciones lgicas.
Mtodo clsico. Diagramas de Karnaugh (mtodo grfico). Mtodos tabulares (Quine-McCluskey). Mtodos algortmicos. etc..
Algebra de Boole
SIMPLIFICACIN DE FUNCIONES LGICAS
MTODO CLSICO: Utiliza las reglas generales del Algebra de Boole para ver si es posible reducir la funcin lgica a su menor expresin. EJEMPLOS: A (A + B) + B A + B utilizando una de las propiedades antes citada. A B por lo que puede implementarse con una sola compuerta OR-Exclusiva.
AB+AB
Algebra de Boole
DIAGRAMAS DE KARNAUGH
SIMPLIFICACIN DE FUNCIONES
B A B
A A
0 1
B
0 AB AB
B
0 2
1 AB AB
B
SI SE TOMAN DOS MINTRMINOS ADYACENTES EN EL DIAGRAMA SE ELIMINA UNA VARIABLE 1 3 EJEMPLO 3: /A B + A B = B EJEMPLO 2: /A /B + A /B = /B
A A
0 0 AB 1 AB
0 2
1 AB AB
1 3
Algebra de Boole
DIAGRAMAS DE KARNAUGH
SIMPLIFICACIN DE FUNCIONES
B A B
A A
0 1
B
0 AB AB
B
0 2
1 AB AB
B
SI SE TOMAN DOS MINTRMINOS ADYACENTES EN EL DIAGRAMA SE ELIMINA UNA VARIABLE 1 3 EJEMPLO 1: /A /B + /A B = /A EJEMPLO 2: A /B + A B = A
A A
0 0 AB 1 AB
0 2
1 AB AB
1 3
Algebra de Boole
DIAGRAMAS DE KARNAUGH
SIMPLIFICACIN DE FUNCIONES
A A
EJEMPLO 1: /A /B /C + A /B /C = /B /C.
Algebra de Boole
DIAGRAMAS DE KARNAUGH
SIMPLIFICACIN DE FUNCIONES
BC A BC
BC
BC
BC
A A
0 1
00 ABC 0 ABC 4
01 ABC 1 ABC 5
11 ABC 3 ABC 7
10 ABC 2 ABC 6
La funcin vale A
Cmo se obtiene BC ? y A ?
Algebra de Boole
DIAGRAMAS DE KARNAUGH
SIMPLIFICACIN DE FUNCIONES
CD AB CD
CD
CD
CD
00
ABCD ABCD ABCD ABCD
01
0 4
ABCD ABCD ABCD ABCD
11
1 5
ABCD ABCD ABCD ABCD
10
3 7
ABCD ABCD ABCD ABCD
AB
AB AB AB
00 01 11 10
2 6
12 8
13 9
15 11
14
10
/C
Algebra de Boole
DIAGRAMAS DE KARNAUGH
SIMPLIFICACIN DE FUNCIONES
CD AB CD
CD
CD
CD
00
ABCD ABCD ABCD ABCD
01
0 4
ABCD ABCD ABCD ABCD
11
1 5
ABCD ABCD ABCD ABCD
10
3 7
ABCD ABCD ABCD ABCD
AB AB AB AB
00 01 11 10
2 6
12 8
13 9
15 11
14
10
Cmo se obtiene /D ?
Algebra de Boole
SIMPLIFICACIN DE FUNCIONES
DIAGRAMAS DE KARNAUGH PRIMERA FORMA: 4 VARIABLES Ejemplo: Simplificar la funcin A /C + A /B + /A B C + A C
CD AB CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
0 0 1 1
0 0 1 1
0 1 1 1
0 1 1 1
BC
A RESULTADO: A + B C
Algebra de Boole
SIMPLIFICACIN DE FUNCIONES
DIAGRAMAS DE KARNAUGH ESTRUCTURAS CON DONT CARE
Son funciones que son incompletamente definidas (hay combinaciones de variables que no se utilizan en la funcin).
CD AB CD CD CD CD
00
01
11
10
AB AB AB AB
00 01 11 10
X 1 X X
0 0 0 0
X 0 1 X
0 0 X X
F = /C /D + A C
Algebra de Boole
RIESGOS DE TEMPORIZACIN (TIMING HAZARDS) Posibles comportamientos que pueden experimentar las salidas de un circuito digital si es excitado con alguna combinacin de seales a su entrada que den como resultado una respuesta transitoria diferente a la prevista en el diseo debido a la existencia de retardos que existen en todo dispositivo fsico. Este comportamiento depende adems de la estructura del circuito (como se lo implementa en forma lgica). Riesgo esttico: Es aqul que puede hacer que una salida vaya a temporalmente a un estado diferente al definitivo. Riesgo esttico de 1: Cuando el circuito responde momentneamente a una dada excitacin con un 0. Riesgo esttico de 0: Idem pero donde se establece temporariamente un 1 a la salida. Riesgo dinmico: Respuesta de una salida la cual cambia de estado repetidas veces al generarse un simple cambio a su entrada.
Algebra de Boole
RIESGOS DE TEMPORIZACIN
Riesgo esttico de 1: Una salida que debe tener un estado lgico final 1 puede momentneamente ponerse a 0 si se d que hay A D al menos dos fuentes /B F concurrentes que habilitan un B 1 y una de ellas difiere temporalmente en su respuesta E respecto de la otra.
EJEMPLO
B /B
A=C=1
D E F
Algebra de Boole
RIESGOS DE TEMPORIZACIN
BC A BC
BC
BC
BC
00
0
01
1
A A
0 1
11 10 1 3 1 7
En el Karnaugh de la salida se puede apreciar como los trminos marcados con rojo ( A /B) y amarillo ( B C) si en algn momento son ambos 0 la salida tambin lo ser.
Algebra de Boole
Solucin:
RIESGOS DE TEMPORIZACIN
BC A BC
BC
BC
BC
00
0
01
1
A A
0 1
/B
1
D
11 10 1 3 1 7
F
A B C
Con esta estructura aunque redundante se evita que ocurra el riesgo de 1 ya que la compuerta adicional evita que el retardo del negador pueda dar una falsa respuesta.
Algebra de Boole
RIESGOS DE TEMPORIZACIN
Riesgo esttico de 0: Una salida que debe tener un estado lgico final 0 puede momentneamente ponerse a 1 si se d que hay al menos dos fuentes concurrentes que habilitan un 0 y una de ellas difiere temporalmente en su respuesta respecto de la otra.
A B C
E
D
Libros:
Sistemas Digitales. R. Tocci, N. Widmer, G. Moss. Ed. Prentice Hall. Diseo Digital. M. Morris Mano. Ed. Prentice Hall. 3ra edicin. Diseo de Sistemas Digitales. John Vyemura. Ed. Thomson. Diseo Lgico. Antonio Ruiz, Alberto Espinosa. Ed. McGraw-Hill. Digital Design:Principles & Practices. John Wakerly. Ed. Prentice Hall. Diseo Digital. Alan Marcovitz. Ed. McGraw-Hill. Electrnica Digital. James Bignell, R. Donovan. Ed. CECSA. Tcnicas Digitales con Circuitos Integrados. M. Ginzburg. Fundamentos de Diseo Lgico y Computadoras. M. Mano, C. Kime. Ed. Prentice Hall. Teora de conmutacin y Diseo lgico. F. Hill, G. Peterson. Ed. Limusa