Professional Documents
Culture Documents
lgebra de Boole
Sistemas de numeracin
Introduccin
En esta expresin, los coeficientes "ai" son los digitos del nmero, y "b" es la
i
base del sistema de numeracin. Las potencias "b " son los valores intrnsecos
Circuitos combinacionales. lgebra de Boole 2
TECNOLOGA INDUSTRIAL II
Bachillerato
de cada posicin del nmero. El valor de la primera posicin entera es siempre 1
0
(b ).
El sistema binario
Posicin 8 7 6 5 4 3 2 1 0
Posicional 8 7 6 5 4 3 2 1 0
2 2 2 2 2 2 2 2 2
n
Con un nmero binario de "n" bits se pueden representar 2 nmeros distintos,
n-1
desde el 0 hasta el 2 . La tabla de los primeros 16 nmeros binarios se muestra en
la siguiente pgina.
decimal binario
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 1 1 0 1
14 1 1 1 0
15 1 1 1 1
Para sumar dos nmeros binarios, se comienza por la posicin del extremo
derecho, aplicando las 5 reglas de la suma de dos bits:
0+0=0
0+1=1
1+0=1
1 + 1 = 0 (Acarreo +1)
1 + 1 +1 = 1 (Acarreo +1)
Resolucin de ejemplos
Ejemplo 1: 1101 13
1100+ 12 +
11001 25
El sistema octal
Resolucin de ejemplos
Ejemplo 1:
7 3 1 ' 4 (8 473'5 (10
3 5 0 ' 2 (8 + 232'25 (10
El sistema hexadecimal
0 0 0 0 0 0 0
1 0 0 0 1 1 1
2 0 0 1 0 2 2
3 0 0 1 1 3 3
4 0 1 0 0 4 4
5 0 1 0 1 5 5
6 0 1 1 0 6 6
7 0 1 1 1 7 7
8 1 0 0 0 10 8
9 1 0 0 1 11 9
10 1 0 1 0 12 A
11 1 0 1 1 13 B
12 1 1 0 0 14 C
13 1 1 0 1 15 D
14 1 1 1 0 16 E
15 1 1 1 1 17 F
Cambios de base
Resolucin de ejemplos
lgebra de Boole
Definicin y postulados
1.- Propiedad conmutativa: Dadas dos variables lgicas a,b A (A= Algebra de
Boole), se cumple...
a+b = b+a y a*b = b*a
3.- Elemento neutro: Existe un elemento neutro para cada una de las dos
operaciones, designados por 0 para (+), 1 para (*). As, dada la variable a A,
dichos elementos cumplen las siguientes condiciones ....
a+0 = a y a*1 = a
4.- Elemento simtrico (complementario o inverso): Existe, para cada variable lgica
a A, su complementaria o inversa (), definida para ambas operaciones (+) y (*),
y tal que siempre se cumple...
a+ a= 1 y a* a= 0
Resolucin de ejemplos
a) Propiedad Conmutativa:
a+b = b+a a*b = b*a
b) Propiedad Distributiva:
a*(b+c) = a*b + a*c a+(b*c) = (a+b) * (a+c)
a+0 = a a*1 = a
a+ a= 1 a* a= 0
a*(b+c) = (a*b) + (a*c) a+(b*c) = (a+b) * (a+c)
Con estas dos propiedades y las de los Elementos Neutros, podemos establecer
las llamadas "Tablas de Verdad" de las operaciones suma lgica y producto lgico:
Suma lgica:
la suma lgica es igual que la suma decimal excepto en el ltimo caso.
a b a+b
0 0 0
0 1 1
1 0 1
1 1 1
Producto lgico:
el producto lgico coincide exactamente con el producto decimal.
a b a*b
0 0 0
0 1 0
1 0 0
1 1 1
a+a =a y a*a = a
Para demostrarlo:
a = a+0 = a + (a*) = (a+a) * (a+) = (a+a)*1 = a+a
a = a*1 = a * (a+) = (a*a) + (a*) = (a*a)+0 = a*a
4.- Ley de Absorcin: Para todo par de variables a,b A, se cumple ...
a+(a*b) = a y a*(a+b) = a
Demostracin:
a = 1*a = (1+b) * a = (1*a) + (b*a) = a +(a*b)
a = 0+a = (0*b) + a = (0+a) * (b+a) = a
*(a+b)
5.- Ley asociativa: Dadas tres varibles lgicas a,b,c A, se cumple... a+
0 0 0 0 0 0 0
0 0 1 1 1 0 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 0 1 1 1
1 0 1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 1 1 1 1
a=a
Estas dos leyes son muy importantes, ya que permiten pasar de expresiones en
sumas lgicas a expresiones equivalentes en productos lgicos.
Puertas lgicas
a b a+b
0 0 0
0 1 1
1 0 1
1 1 1
a b a*b
0 0 0
0 1 0
1 0 0
1 1 1
3.- Puerta NOT:
a
a
0 1
0 0
a b a+b
0 0 1
0 1 0
1 0 0
1 1 0
a b a*b
0 0 1
0 1 1
1 0 1
1 1 0
Las puertas ms utilizadas son la NOT, NOR y NAND. A su vez, las puertas NOR y
NAND pueden funcionar como puertas inversoras, conectando sus entradas
apropiadamente:
Resolucin de ejemplos
Otra forma se obtendra aplicando la ley distributiva con lo que la funcin quedara
de la siguiente forma: c+(b*a) = (c+b) * (c+a)
En este caso es preferible la primera forma, ya que necesita menos puertas y por lo
tanto el coste del circuito es menor.
Simbologa:
En una puerta lgica, una entrada con un circuito significa entrada invertida (a travs de un inversor),
e igualmente, una salida con circuito significar normalmente salida a travs de un inversor.
Funciones en un lgebra de Boole
Una funcin es una expresin de variables boolianas o binarias unidas por las
operaciones lgicas suma, producto y complementacin. Se representa por
f(...c,b,a), y un ejemplo puede ser el siguiente... f1 (c,b,a) = a+ cb + cba.
3
Una funcin de tres variables puede tener hasta 2 minterms o maxterms
diferentes. Los posibles trminos minterm para una funcin f(c,b,a) son...
La variable "a" representa la cifra binaria de menor orden; despus le siguen "b"
y "c".
Con este convenio se puede nombrar o especificar cualquier funcin cannica
dada por sus trminos minterm o maxterm:
Existe una "regla prctica" para pasar una funcin cualquiera a forma de
minterms, y es la siguiente:
o bien,
f(c,b,a) = b * f(c,1,a) + b * f(c,0,a)
f(c,b,a) = a * f(c,b,1) + a * f(c,b,0)
Esto significa que cualquier funcin f(c,b,a) se puede representar en forma de suma
de minterms multiplicados por los coeficientes binarios resultantes de aplicar la
funcin a la configuracin binaria correspondiente a cada minterm.
Ejemplo 1: f5 (c,b,a) = cb + ca
f5 (c,b,a) = cba1 + cba1 + cba0 + cba0 + cba1 + cba0 + cba1 + cba0 = cba + cba +
cba + cba = 3 (7, 6, 3, 1)
Existe una "regla prctica" para pasar una funcin cannica dada en forma de
minterms a su expresin en forma de maxterms, y es la siguiente:
Se observa sobre la funcin minterm cuales son los trminos que faltan, y se
obtiene el "complemento a 7" de dichos trminos (a 7 si son tres las variables).
Estos complementos son los trminos maxterm de la funcin.
c b a F5
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 0
5 1 0 1 0
6 1 1 0 1
7 1 1 1 1
Resolucin de ejemplos
c b a F5
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 0
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
Figura 3.6. Implementacin
Estos dos circuitos no son los ptimos para resolver el problema, ya que,
efectuando la simplificacin de la funcin f, obtendramos como resultado...
f(c,b,a) = a
El cicuito ptimo es:
a b ab
0 0 0
0 1 1
1 0 1
1 1 0
a b ab
0 0 1
0 1 0
1 0 0
1 1 1
Esta funcin vale 1 cuando hay un nmero par de "unos" en las entradas
(considerando el cero par). No suele encontrarse como puerta lgica individual, sino
que se obtiene con una OR-Exclusiva ms una puerta inversora.
a+b+c+... = a.b.c...
a.b.c ... = a+b+c...
Resolucin de ejemplos
Por ejemplo:
f1 (d,c,b,a) = cb + ba + dca y
f2(d,c,b,a) = (c+b)*(b+a)*(d+c+a)
Figura 3.
- Tiempo de retardo: Intervalo de tiempo desde que se aplica una conmutacin en las entradas de
una puerta hasta que se produce la conmutacin completa en la salida.
- Fan-out: Nmero mximo de entradas de puerta a las que puede atacar la salida de una puerta
determinada.
- Fan-in: Nmero mximo de entradas que puede tener una puerta de una determinada familia.
- Disipacin: Potencia elctrica media consumida por una puerta en rgimen estacionario.
Familias lgicas
Con la aparicin de los diodos se ide una nueva forma de realizar las puertas
lgicas, es decir, surgi una primera tecnologa o "familia lgica" cuyo circuito
bsico era el indicado en la figura:
Ve1 Ve2 Vs
0 0 0
0 1 0
1 0 0
1 1 1
Esta familia presentaba problemas de todo tipo, debido a que los diodos no eran
ideales.
A B S
0 0 0
0 1 0
1 0 0
1 1 1
A B S
0 0 0
0 1 0
1 0 0
1 1 1
0 0 1
0 1 1
1 0 1
1 1 0
Esta familia tena como ventajas una gran variedad de puertas disponibles, baja
generacin de ruido y buen "fan-out" (8), pero su velocidad de conmutacin era
relativamente baja (tiempo de retardo de 25 nsg.), y presentaba poca inmunidad al
ruido externo.
A B S
0 0 1
0 1 1
1 0 1
1 1 0
De este circuito se desprende que una entrada dejada al aire en TTL equivale a
un "1" lgico, ya que el emisor correspondiente de entrada no conduce.
A B S
0 0 1
0 1 1
1 0 1
1 1 0
Las familias lgicas DCTL, RTL y DTL permiten el llamado "cableado lgico de
salida", es decir, permiten la conexin directa entre las salidas de varias puertas
lgicas, segn el esquema de la figura:
La funcin resultante es la AND entre las salidas de dichas puertas, ya que si
cualquiera de ellas vale 0 (TRT saturado), la salida conjunta tambin pasar a nivel
1. Esta funcin recibe el nombre de funcin "AND cableada".
Si esta funcin se realiza con puertas NOR, lo que se obtiene es una expansin
de dichas puertas NOR para conseguir otra NOR con ms entradas:
Sin embargo, esta funcin no puede realizarse con las salidas de puertas tipo
TTL normal, ya que se produce un cortocircuito a travs de los transistores de salida
de dichas puertas.
Para solucionar esto se han ideado las puertas TTL "con colector abierto", cuyo
esquema interno es el indicado en la siguiente figura.
Son puertas TTL que necesitan la conexin de una resistencia exterior entre la
salida o salidas unidas y la alimentacin positiva. El valor de esta resistencia es un
compromiso entre velocidad de conmutacin, "fan-out" y disipacin, y suele ser
pequeo (Rext = 1K).
Estas puertas permiten conseguir la funcin "AND cableada" en TTL, y, al igual
que antes, si se realiza con puertas NOR, obtendremos una sencilla expansin de
estas:
Otra solucin al problema de la conexin en paralelo de las salidas de puertas
TTL, es el uso de las puertas TTL "de tres estados" (Tristate", consistentes en una
puerta standard a la que se aade una entrada especial de "disable" o "inhibicin"
(entrada D), activa a nivel bajo.
Mientras esta entrada no se active, la puerta funciona normalmente, con los dos
niveles de salida 0 y 1 (0v y 5v). Cuando la entrada D es activada, la salida de la
puerta pasa a un tercer estado de "alta impedancia", equivalente a un circuito
abierto, con lo cual ya no se producir cortocircuito si esta salida est conectada a
otras salidas de puerta.
Cuando se conectan puertas "tristate" con salidas unidas, slo una de ellas
tendr su entrada de Disable a 1 (aquella cuya informacin queremos que pase a la
salida), estando las dems con D = 0, es decir, con salida aislada.
El circuito interno y esquema de una puerta NAND Tristate es el siguiente:
d a b s
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
0 X X c*a
Circuitos combinacionales. lgebra de Boole 4
0
Circuitos combinacionales
Introduccin
A su vez, una funcin puede ser "completa" (su valor est determinado para
todas las posibles combinaciones de las variables de entrada) o "incompleta"
(existen algunas combinaciones de entrada para las cuales el valor de la funcin es
indeterminado).
Toda funcin cannica dada por sus trminos minterm o maxterm debe ser
simplificada, con el fin de utilizar un menor nmero de puertas lgicas en su
realizacin.
Ahora bien, una funcin puede ser simplificada y reducida de muchas formas.
La mejor ser aquella que de lugar a un circuito con el menor nmero posible de
puertas lgicas y con el menor nmero posible de entradas en cada puerta.
Por ejemplo:
Sin embargo, pocas veces viene expresada la funcin de forma que sea
fcilmente aplicable a este mtodo.
Para conseguir de una forma fcil la mejor simplificacin de una funcin, suelen
utilizarse dos posibles mtodos tabulares: el mtodo de Karnaugh o el mtodo de
McCluskey.
Mtodo de Karnaugh Es un mtodo tabular grfico que se basa en los llamados
"mapas de Karnaugh", consistentes en una tabla de cuadros, cada uno de los
cuales representa un trmino cannico. Estos cuadros estn distribuidos de tal
modo que cualquiera dos de ellos contiguos fsicamente, corresponden a trminos
cannicos adyacentes.
Dos trminos cannicos son "adyacentes" cuando sus respectivas
configuraciones binarias difieren entre s en un nico bit. Se pueden definir tambin
como aquellos trminos a los que se les puede aplicar la propiedad distributiva para
simplificar una variable.
3) Se agrupan mediante una curva cerrada los grupos de dos "1" "0" adyacentes
que no puedan formar grupos de cuatro.
4) Se agrupan tambin, si los hay, los grupos de cuatro "1" "0" adyacentes que
no puedan formar grupos de 8, y los grupos de ocho que no puedan formar
grupo de 16, etc. (No existen en el ejemplo).
Las formas de los posibles grupos en un mapa de 3 variables son las siguientes:
Grupos de 2 Grupos de 4
Las formas de los posibles grupos en un mapa de 4 variables son las siguientes:
Los cuadros con "1" "0" que no tengan ningn otro adyacente igual,
representan minterms o maxterms respectivamente, que no pueden simplificarse y
no se modifican en el resultado de la simplificacin.
El nmero de unos o ceros en cada grupo debe ser siempre una potencia de 2,
n
de modo que en un grupo de 2 unos o ceros, se eliminan n variables de las que
forman los trminos cannicos.
La agrupacin de cuadros debe ser tal que el nmero de grupos sea el mnimo
posible, y cada grupo sea lo mayor posible. Un mismo "1" o "0" de un cuadro puede
pertenecer a ms de un grupo a la vez.
Pasando a maxterms...
f4 (d,c,b,a) = 4 (1,3,5,6,9,10,11,13,15)
Resolucin de ejemplos
Ejemplo:
f5 (e,d,c,b,a) = 5 (2,3,6,7,9,13,19,24,25,26,28,29,30)
Simplificando es...
Grupo (2,3,6,7) ....... edb
Grupo (9,13,25,29) .... dba
Grupo (24,26,28,30) ... eda
Grupo (3,19) .......... dcba
A) f7 (c,b,a) = 3 (0,1,3,4,5,6,7)
B) f8 (d,c,b,a) = 4 (0,1,4,5,10,11,13,14,15)
C) f9 (e,d,c,b,a)= 5 (0,4,5,9,11,13,15,16,20,21,24,25,26,28,29,30)
e=0 e=1
Simplificando...
f9 (e,d,c,b,a)= (d+b) (e+b+a) (d+c+a) (e+d+a)
Conviene aqu la segunda simplificacin
Funciones incompletas
Son funciones cuyo valor puede ser indistintamente 0 o 1 para algunas de las
combinaciones de las variables de entrada, bien porque dichas combinaciones
no vayan a darse nunca en la prctica, o porque sea indiferente para el diseo
el valor de la funcin para dichas combinaciones. Estos valores indeterminados
de la funcin representan un aspa (X) en la tabla de verdad de la funcin
Resolucin de ejemplos
Disear un circuito simplificado que tenga por entrada una cifra decimal
codificada en binario (de 0 a 9), y detecte a su salida mltiplos de tres.
d c b a F d c b a F
0 0 0 0 0 1 0 0 0 0
0 0 0 1 0 1 0 0 1 1
0 0 1 0 0 1 0 1 0 X
0 0 1 1 1 1 0 1 1 X
0 1 0 0 0 1 1 0 0 X
0 1 0 1 0 1 1 0 1 X
0 1 1 0 1 1 1 1 0 X
0 1 1 1 0 1 1 1 1 X
Simplificando ...
f(d,c,b,a) = (c+a)(d+b)(c+a)
La simplificacin por maxterm resulta aqu ms reducida.
Funciones mltiples
Resolucin de ejemplos
f1 = 4 (0,1,2,3,8,10,12,14)
f2 = 4 (2,3,5,6,7,8,10,11,12,14,15)
f3 = 4 (8,9,10,12,13,14)
d c b a f1 f2 f3
0 0 0 0 1 0 0
0 0 0 1 1 0 0
0 0 1 0 1 1 0
0 0 1 1 1 1 0
0 1 0 0 0 0 0
0 1 0 1 0 1 0
0 1 1 0 0 1 0
0 1 1 1 0 1 0
1 0 0 0 1 1 1
1 0 0 1 0 0 1
1 0 1 0 1 1 1
1 0 1 1 0 1 0
1 1 0 0 1 1 1
1 1 0 1 0 0 1
1 1 1 0 1 1 1
1 1 1 1 0 1 0
Dado que suelen existir configuraciones de entrada para las cuales el valor de
las distintas funciones es el mismo, conviene efectuar la simplificacin de
dichas funciones de forma conjunta. Suele realizarse por karnaugh esta
simplificacin intentando encontrar agrupaciones de trminos que sean
comunes a todas o a algunas de las funciones, agrupaciones que darn lugar
cada una a un trmino simplificado comn, es decir, a una puerta lgica
compartida por varias funciones:
f1 = + dc f2 = b + da + dca f3 = da + db