Tema02.Algebra de Boole PDF

Algebra de Boole y
puertas lgicas
Luis Entrena, Celia Lpez,

Mario Garca, Enrique San Milln
Universidad Carlos III de Madrid
1
ndice
l Postulados y propiedades fundamentales del
lgebra de Boole
l Funciones y expresiones booleanas
l Puertas lgicas. Tecnologas digitales.
Implementacin de funciones lgicas
l Minimizacin de funciones lgicas
Luis Entrena, Celia Lpez, Mario Garca, Enrique San Milln. Universidad Carlos III de Madrid, 2008 2
lgebra de Boole
l Fundamentos matemticos de los circuitos digitales
l Denominada lgebra de Boole en honor de su
inventor, George Boole
An Investigation of the Laws of Thought (1854)
l Un lgebra se define por un conjunto de elementos
con unas operaciones. En nuestro caso:
B = {0, 1}
= {+, }
Postulados del lgebra de Boole
l Ley de composicin interna
a, b B a + b B, a b B
l Elementos neutros
a B elementos neutros (0 y 1 respectivamente)
a+0=a
a1=a
l Propiedad conmutativa
a, b B a+b=b+a
ab=ba
l Propiedad distributiva
a, b, c B a + b c = (a + b) (a + c)
a (b + c) = a b + a c
Postulados del lgebra de Boole
l Elemento inverso o complementario
a B aB
a+a =1
aa = 0
Propiedades fundamentales del
lgebra de Boole
l Dualidad: Toda ley vlida tiene una dual, que se
obtiene cambiando 0 1 y +
l Idempotencia
a B a+a=a
aa=a
Demostracin:
a = a + 0 = a + a a = (a + a)(a + a) = (a + a) 1 = a + a
l aB a+1=1
a0=0
lgebra de Boole
l De las propiedades anteriores se pueden definir las
operaciones bsicas
a b a+b a b ab a a
0 0 0 0 0 0 0 1
0 1 1 0 1 0 1 0
1 0 1 1 0 0
1 1 1 1 1 1
l Tabla de verdad: proporciona el valor de una funcin para

todas las posibles combinaciones de valores de las entradas
lgebra de Boole
l Involucin
a B a=a
l Absorcin
a, b B a + ab = a
a (a+b) = a
Demostracin:
a + ab = a 1 + ab = a(1 + b) = a 1 = a
l Propiedad asociativa
a, b, c B (a + b) + c = a + (b + c)
(a b) c = a (b c)
lgebra de Boole
l Leyes de De Morgan:
a, b B a+b = a b
ab = a +b
Demostracin:
(a + b) + a b = (a + b + a)(a + b + b) = 1 1
(a + b) a b = (aab) + (bab) = 0 + 0
luego (a+b) es el inverso de a b
Funciones y expresiones
booleanas
l Definiciones:
Una variable lgica o booleana es cualquier elemento
x B = {0, 1}
Un literal es una variable negada o sin negar
Funcin lgica o booleana:
f : Bn B
(x1, x2, , xn) y
Representacin de funciones
lgicas
l Expresin l Tabla de verdad
a b f(a,b)
0 0 0
f(a, b) = a + b 0 1 1
1 0 1
1 1 1
Obtencin de la tabla de verdad a
partir de una expresin
l Basta evaluar la expresin para cada una de las
combinaciones de valores de las entradas
a b c f
0 0 0 0
f (a,b, c ) = a + b c
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Funcin mintrmino
l Expresin: un producto en el que aparecen todas las variables,
negadas o no
l Tabla de verdad: tiene un 1 en una posicin y 0 en todas las dems
l Ejemplo: a b c f
0 0 0 0
f (a,b, c ) = a b c = m2
0 0 1 0
0 1 0 1
l Regla para obtener la expresin: 0 1 1 0
0 variable negada 1 0 0 0
1 variable sin negar
1 0 1 0
1 1 0 0
1 1 1 0
Funcin maxtrmino
l Expresin: una suma en la que aparecen todas las variables, negadas
o no
l Tabla de verdad: tiene un 0 en una posicin y 1 en todas las dems
l Ejemplo: a b c f
0 0 0 1
f (a,b, c ) = (a + b + c ) = M2
0 0 1 1
0 1 0 0
l Regla para obtener la expresin: 0 1 1 1
0 variable sin negar 1 0 0 1
1 variable negada
1 0 1 1
CUIDADO: al contrario que los mintrminos! 1 1 0 1

1 1 1 1
Teorema de Expansin de
Shannon
l Toda funcin booleana se puede descomponer de las
siguientes formas
f ( x1, x 2,..., xn ) = xi f ( x1,..., xi1,0, xi+1,..., xn ) + xi f ( x1,..., xi1,1, xi+1,..., xn )

f ( x1, x 2,..., xn ) = [xi + f ( x1,..., xi1,1, xi+1,..., xn )][xi + f ( x1,..., xi1,0, xi+1,..., xn )]
l Demostracin
xi = 0 f ( x1, x 2,..., xn ) = 1 f ( x1,...,0,..., xn ) + 0 f ( x1,...,1,..., xn ) =
= f ( x1,...,0,..., xn )
xi = 1 f ( x1, x 2,..., xn ) = 0 f ( x1,...,0,..., xn ) + 1 f ( x1,...,1,..., xn ) =
= f ( x1,...,1,..., xn )
La otra forma se demuestra por dualidad
Corolario del Teorema de
Expansin de Shannon
l Aplicando recursivamente el Teorema:
f (a, b, c ) = a f (0, b, c ) + a f (1, b, c ) =
= a (b f (0,0, c ) + b f (0,1, c )) + a (b f (1,0, c ) + b f (0,1, c )) =
= a b f (0,0, c ) + a b f (0,1, c )) + a b f (1,0, c ) + a b f (0,1, c ) =
= a b c f (0,0,0) + a b c f (0,0,1) + a b c f (0,1,0) + a b c f (0,1,1) +
+a b c f (1,0,0) + a b c f (1,0,1) + a b c f (1,1,0) + a b c f (1,1,1) =
= mik i
3
l Una funcin es igual a la suma de todos los mintrminos (mi)
afectados por un coeficiente (ki) igual al valor que toma la
funcin al sustituir cada variable por un 0 o un 1 segn que en
el mintrmino aparezca la variable negada o sin negar,
respectivamente
Primera forma cannica
l Una funcin se puede expresar como la suma de los
mintrminos para los que la funcin vale 1
a b c f
0 0 0 1 f (a, b, c ) = (0,2,5) = m(0,2,5) =
3 3
0 0 1 0
= abc + abc + abc
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0
Segunda forma cannica
l Una funcin se puede expresar como el producto de
los maxtrminos para los que la funcin vale 0
a b c f
0 0 0 1 f (a, b, c ) = (1,3,4,6,7 ) = M(1,3,4,6,7 ) =
3 3
0 0 1 0
= (a + b + c )(a + b + c )(a + b + c )
0 1 0 1
0 1 1 0 (a + b + c )(a + b + c )
1 0 0 0
1 0 1 1
CUIDADO: al contrario que los mintrminos!
1 1 0 0
1 1 1 0
Puertas lgicas
l Las puertas lgicas son circuitos electrnicos que
realizan las funciones bsicas del lgebra de Boole
l Para cada puerta utilizaremos un smbolo
l Identidad l Puerta NOT o inversor
z=a z=a
a a a a
0 0 0 1
1 1 1 0
Puertas AND y OR
l Puerta AND l Puerta OR
z=ab z=a+b
a b ab a b a+b
0 0 0 0 0 0
0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1
Puertas NAND y NOR
l Puerta NAND l Puerta NOR
z = ab = a +b z = a+b = a b
a b ab a b a+b
0 0 1 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 0
Puertas XOR y XNOR
l Puerta XOR (OR-Exclusiva) l Puerta XNOR (NOR-Exclusiva)
z = a b = ab + ab = (a + b)(a + b) z = a b = ab + a b = (a + b)(a + b)
a b ab a b ab
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 1
Generalizacin a n entradas
Valor de la salida
Puerta 0 1
AND Alguna entrada = 0 Todas las entradas = 1
OR Todas las entradas = 0 Alguna entrada = 1
NAND Todas las entradas = 1 Alguna entrada = 0
NOR Alguna entrada = 1 Todas las entradas = 0
XOR Hay un n par de Hay un n impar de
entradas = 1 entradas = 1
XNOR Hay un n impar de Hay un n par de
entradas = 1 entradas = 1
Otros smbolos
l Un crculo en una entrada o una salida indica
negacin
a
b z = abc
c
Tecnologas digitales
l Las puertas lgicas son circuitos electrnicos
l El nivel lgico (0 o 1) se representa mediante un
nivel de tensin
l Generalmente se utiliza lgica positiva
Tensin alta (5V, 3.3V, 2.5 V, etc) 1
Tensin baja (0V) 0
l Existen muchas tecnologas, segn la forma en que
se realizan las puertas lgicas y las caractersticas
que se obtienen
Familias lgicas
l El conjunto de componentes digitales bsicos, tales como
puertas lgicas y otros que estudiaremos a lo largo del curso,
se conoce popularmente como Serie o Familia 74
l Existen numerosas subfamilias:
Segn el rango de temperaturas de operacin:
Serie 74: 0 a 70
Serie 54: -55 a 125
Segn la tecnologa utilizada:
LS
ALS
F
HC
AHC
G
.
Familias lgicas
l Designacin de componentes:
<Serie><Subfamilia><Componente>
l Ejemplo: 74HC00
Serie 74: rango de temperaturas convencional
Subfamilia HC (High speed CMOS)
Componente 00: 4 puertas NAND de 2 entradas
l Importante: las subfamilias no son compatibles entre
s
No se deben mezclar componentes de distintas subfamilias
en un circuito
Hojas de catlogo
Caractersticas de las
tecnologas digitales
l Principales caractersticas:
Margen de temperaturas de operacin
Tensin de alimentacin
Margen de ruido (intervalos de tensiones que se asocian a
un nivel lgico determinado)
Retardo de conmutacin
Consumo
Otros
l Cada tecnologa o subfamilia presenta valores
diferentes respecto a estos parmetros
Retardos
l Las puertas lgicas no conmutan instantneamente
Inversor ideal Inversor real
V V
t t
tp
l El retardo limita la velocidad de operacin del

circuito
Consumo
l Las puertas lgicas consumen energa:
Esttica: la que se consume por tener alimentada la puerta lgica,
sin cambiar los valores lgicos
Dinmica: la que se consume al conmutar
l En la tecnologa CMOS (la ms utilizada actualmente), el
consumo esttico es muy pequeo. Sin embargo,
Los circuitos modernos pueden llegar a tener ms de 108 puertas
lgicas!
El consumo dinmico es proporcional a la frecuencia de
conmutacin
l El consumo es un problema importante:
La energa consumida se transforma en calor, que hay que
disipar. Si el circuito consume mucho, puede ser difcil disipar el
calor
En dispositivos porttiles, el tamao y el peso de la batera es
limitado
Tecnologa CMOS
l La tecnologa CMOS (Complementary Metal Oxide
Semiconductor) es la tecnologa ms utilizada en la
actualidad
l Basada en:
Transistores MOS: interruptores controlados por tensin
Complementarios: cada transistor o interruptor tiene su
complementario, de manera que si un interruptor est
abierto su complementario est cerrado y viceversa
Inversor CMOS
Vcc Vcc
Vi=0 Vo=1 Vi=1 Vo=0
Valores metalgicos
l Hay situaciones que no se corresponden con valores
lgicos
Cortocircuito (X) Alta impedancia o
triestado (Z)
Vcc Vcc
Vo=X Vo=Z
Buffer triestado
l Un tipo especial de puerta lgica que puede poner
su salida en alta impedancia
e a s
e 0 0 Z
0 1 Z
a s
1 0 0
1 1 1
Buffer triestado
l Los buffers triestado son tiles para permitir
mltiples conexiones a un mismo punto evitando
cortocircuitos
X
0 0
0 0
1 Z
1
Cortocircuito!
Realizacin de una funcin lgica
con puertas lgicas
l A partir de la expresin de la funcin, sustituimos las
operaciones lgicas por puertas lgicas
l Ejemplo:
a
f (a,b, c ) = a + b c b
c
Conjuntos completos
l Un conjunto de funciones es funcionalmente
completo si cualquier funcin lgica puede realizarse
con las funciones del conjunto solamente
{AND} no es un conjunto completo
{AND, NOT} es un conjunto completo
{OR, NOT} es un conjunto completo
{NAND} es un conjunto completo
{NOR} es un conjunto completo
l Los conjuntos {NAND} y {NOR} tienen la ventaja de
que permiten realizar cualquier funcin lgica con un
slo tipo de puerta lgica
Realizacin de circuitos con
puertas NAND
l Aplicacin directa de las leyes de De Morgan
l Ejemplo: f (a,b, c ) = a b + cd =
= a b + cd = a b cd
c
d
Realizacin de circuitos con
puertas NOR
l Aplicacin directa de las leyes de De Morgan
l Ejemplo: f (a, b, c ) = a b + cd =
= a b + cd = a + b + c + d
b
c
Minimizacin de funciones
lgicas
l Una funcin lgica tiene mltiples expresiones
equivalentes
La forma ms sencilla dar lugar a una implementacin
mejor
l Criterios de optimizacin:
En tamao o rea:
Menor nmero de puertas lgicas
Puertas lgicas con el menor nmero de entradas
En velocidad o retardo:
Menor nmero de puertas lgicas desde una entrada hasta la
salida
l Nos centraremos en la optimizacin en rea
lgicas
l Mtodos de optimizacin
Manual: aplicacin directa de las leyes del lgebra de
Boole
Muy difcil, no sistemtico
En dos niveles: el objetivo es obtener una expresin ptima
en forma de suma de productos o productos de sumas
Existen soluciones sistemticas y ptimas
Aplicable manualmente (para pocas variables) o con ayuda de
un computador
Multinivel
Mejor solucin, aunque mucho ms difcil
Slo posible con ayuda de un computador
Mtodos de los mapas de
Karnaugh
l Mtodo de optimizacin en dos niveles
l Se puede realizar manualmente hasta 6 variables
l Se basa en la Propiedad de adyacencia
E, x B Ex + E x = E( x + x ) = E
(E + x )(E + x ) = E + ( x x ) = E (dual)
Dos trminos son adyacentes si son idnticos excepto por

un literal, que aparece negado en un trmino y no negado
en el otro
Los dos trminos se simplifican en uno slo con eliminacin
del literal que los diferencia
Aplicacin de la propiedad de
adyacencia
l Ejemplo:
f (a, b, c ) = (0,1,2,3,7) = a b c + a b c + a b c + a b c + a b c =
3
= ab + ab + bc
= a + bc
l La observacin de las adyacencias puede ser difcil

en la prctica
Mapas de Karnaugh
l Mapa que presenta la tabla de verdad de una
funcin de manera que los trminos adyacentes son
contiguos:
Una casilla para cada combinacin o trmino
Las casillas se numeran en cdigo Gray
En un mapa de n variables, cada casilla tiene n casillas
adyacentes que se corresponden con las combinaciones
que resultan de invertir el valor de cada una de las n
variables
Mapas de Karnaugh: adyacencias
l Dos variables
b
a 0 1
l Tres variables
bc bc
a 00 01 11 10 a 00 01 11 10
0 0
1 1
l Cuatro variables
cd cd
ab 00 01 11 10 ab 00 01 11 10
00 00
01 01
11 11
10 10
l Cinco variables
de de
bc 00 01 11 10 bc 00 01 11 10
00 00
01 01
11 00
10 01
a=0 a=1
Mapas de Karnaugh: numeracin
de las casillas
l Dos variables l Cuatro variables
b
a 0 1 cd
0
ab 00 01 11 10
0 1
00 0 1 3 2
1 2 3
01 4 5 7 6
11 12 13 15 14
l Tres variables
10 8 9 11 10
bc
a 00 01 11 10
0 0 1 3 2
1 4 5 7 6
Mapas de Karnaugh: numeracin
de las casillas
l Cinco variables
de de
bc 00 01 11 10 bc 00 01 11 10
00 0 1 3 2 00 16 17 19 18
01 4 5 7 6 01 20 21 23 22
11 12 13 15 14 00 28 29 31 30
10 8 9 11 10 01 24 25 27 26
a=0 a=1
Representacin de una funcin
en el Mapa de Karnaugh
l Se marcan las casillas que corresponden a los
mintrminos o los maxtrminos de la funcin
l Ejemplo: bc
a 00 01 11 10
0 1 1 1 1
1 1
f (a, b, c ) = (0,1,2,3,7) =
3
bc
= ( 4,5,6) a 00 01 11 10
3 0
1 0 0 0
Obtencin de una expresin a
partir del Mapa de Karnaugh
l Se siguen las reglas para mintrminos y maxtrminos
Regla para mintrminos Regla para maxtrminos
0 variable negada 0 variable sin negar
1 variable sin negar 1 variable negada
bc bc
a 00 01 11 10 a 00 01 11 10
0 1 0
1 1 0
a b c = m3 a + b + c = M5
Simplificacin mediante Mapas
de Karnaugh
l Dos opciones
Por mintrminos (unos): se obtiene una suma de productos
Por maxtrminos (ceros): se obtiene un producto de sumas
l Buscar grupos de casillas adyacentes
Un grupo de 2 casillas adyacentes elimina 1 variable
Un grupo de 4 casillas adyacentes elimina 2 variables
.
l Objetivo: cubrir todos los mintrminos (maxtrminos) con los grupos
ms grandes posibles y con el menor nmero de grupos
Se pueden repetir trminos, si es necesario (propiedad de absorcin)
Simplificacin: formacin de
grupos
cd cd cd
ab 00 01 11 10 ab 00 01 11 10 ab 00 01 11 10
00 1 00 1 1 00 1 1
01 1 1 01 1 1 1 1 01 1 1
11 11 1 1 11 1 1
10 1 10 1 1 10 1 1
abc bd
bc d ab bd d
de Karnaugh: Algoritmo
l Algoritmo sistemtico
1. Cubrir las casillas que no pueden formar grupos de 2
2. Cubrir las casillas que pueden formar grupos de 2, pero no
de 4
de 8
de 16
5.
l Si en algn paso hay ms de una opcin:
Comenzar siempre cubriendo las casillas que tienen
menos opciones
de Karnaugh: Ejemplo
cd cd
ab 00 01 11 10 ab 00 01 11 10
00 1 00 1
01 1 1 01 1 1
1
11 1 1 11 1 1
10 1 10 1
cd cd
ab 00 01 11 10 ab 00 01 11 10
00 1 00 1
01 1 1 01 1 1
3
11 1 1 11 1 1
10 1 10 1
Funciones incompletas
l Una funcin incompletamente especificada (o simplemente
incompleta) es aquella que no est especificada para alguna
combinacin de valores de sus entradas
l Las funciones incompletas se dan en la prctica:
Cuando las entradas provienen de otro circuito que no puede
producir determinadas combinaciones por construccin
Cuando existen casos en que el valor de la funcin no tiene
sentido o es indiferente
l Notacin:
Un valor indiferente se representa con X -
El conjunto de trminos indiferentes (dont cares) se denota con
la letra
Funciones incompletas
b3 b2 b1 b0 f
l Ejemplo: Funcin que determina 0 0 0 0 0

0 0 0 1 1
si un nmero BCD es impar 0 0 1 0 0
Los nmeros del 10 al 15 no tienen 0 0 1 1 1
sentido en BCD 0 1 0 0 0
0 1 0 1 1
0 1 1 0 0
f (b3, b2, b1, b0) = (1,3,5,7,9) + (10,11,12,13,14,15) = 0 1 1 1 1
4 4 1 0 0 0 0
= (0,2,4,6,8) + (10,11,12,13,14,15) 1 0 0 1 1
4 4 1 0 1 0 X
1 0 1 1 X
1 1 0 0 X
Combinaciones indiferentes
1 1 0 1 X
1 1 1 0 X
1 1 1 1 X
incompletas
l Los trminos indiferentes son comodines : se
pueden cubrir o no, segn convenga para formar
grupos ms grandes
b 1b 0 b 1b 0
b 3b 2 00 01 11 10 b 3b 2 00 01 11 10
00 1 1 00 1 1
01 1 1 01 1 1 Correcto
11 X X X X 11 X X X X
10 1 X X 10 1 X X
f (b3, b2, b1, b0 ) = b3 b0 + b2 b1 b0 f (b3, b2, b1, b0 ) = b0
Funciones mltiples
l En los circuitos digitales se implementan generalmente
funciones mltiples: varias funciones a la vez o una
funcin de mltiples salidas
l Las funciones mltiples se pueden implementar de
forma ptima al considerarlas conjuntamente
Se pueden compartir trminos o partes comunes para ahorrar
lgica
l La descomposicin de funciones mltiples de manera
que se maximicen los trminos comunes es difcil
Los algoritmos son difciles de aplicar manualmente
Generalmente lo haremos por inspeccin
Funciones mltiples: Ejemplo
a
b
c
f1(a, b, c, d) = a c + a b c + a c d
a
c f1
f 2(a, b, c, d) = a c + a b c + a c d d
a
c
Trminos comunes a
c f2
d
a
b
c
l Es posible encontrar ms trminos comunes
f1(a, b, c, d) = a c + a b c + a c d = a c + a b c d + a c d
f 2(a, b, c, d) = a c + a b c + a c d = a c + a b c d + a b c
Las expresiones de las funciones no son ptimas por

separado, pero s son ptimas en conjunto!
Las herramientas de diseo incluyen algoritmos para
minimizar funciones mltiples
a
c
d f1
a
c
a
b f2
Trminos comunes c
d
a
b
c
Sntesis multinivel
l Si eliminamos la restriccin a dos niveles, se pueden encontrar
mejores soluciones
Se utilizan algoritmos heursticos, con ayuda de un ordenador
l Ejemplo: f (a, b, c, d, e) = a b c + a d + a e = a (b c + d + e)
a
b
c b
c
a
d
d
e
a a
e Multinivel
Herramientas de optimizacin
l Mtodos manuales:
Slo en 2 niveles, pocas variables
l Herramientas software
Multinivel, mltiples funciones, muchas variables
Optimizacin en rea o en retardo
Generalmente incorporadas en herramientas de sntesis
lgica
l Herramientas de sntesis lgica
Funcionan como un compilador, a partir de la descripcin
del diseo en forma esquemtica o mediante un Lenguaje
de Descripcin de Hardware
Optimizan el diseo y generan las puertas lgicas en una
tecnologa determinada
Referencias
l Introduccin al diseo lgico digital. J. P. Hayes.
Ed. Addison-Wesley
l Circuitos y sistemas digitales. J. E. Garca
Snchez, D. G. Toms, M. Martnez Iniesta. Ed.
Tebar-Flores

Tema02.Algebra de Boole PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema02.Algebra de Boole PDF

Cargado por

Copyright:

Formatos disponibles

Algebra de Boole y

Luis Entrena, Celia Lpez,

Universidad Carlos III de Madrid

l Tabla de verdad: proporciona el valor de una funcin para

CUIDADO: al contrario que los mintrminos! 1 1 0 1

f ( x1, x 2,..., xn ) = xi f ( x1,..., xi1,0, xi+1,..., xn ) + xi f ( x1,..., xi1,1, xi+1,..., xn )

La otra forma se demuestra por dualidad

l El retardo limita la velocidad de operacin del

Vi=0 Vo=1 Vi=1 Vo=0

Dos trminos son adyacentes si son idnticos excepto por

l La observacin de las adyacencias puede ser difcil

l Ejemplo: Funcin que determina 0 0 0 0 0

f (b3, b2, b1, b0 ) = b3 b0 + b2 b1 b0 f (b3, b2, b1, b0 ) = b0

Las expresiones de las funciones no son ptimas por

También podría gustarte