Vous êtes sur la page 1sur 29

LOGICA DIGITAL Y

OPTIMIZACION DE CIRCUITOS
RAUL ENRIQUE ESCOBAR
CARO

ALGEBRA DE BOOLE
Es un conjunto en el que:
1- Se han definido dos operaciones binarias
que llamaremos:
aditiva ( x + y)
multiplicativa (xy)
una funcin monaria que representaremos
por '
2- Se han definido dos elementos (que
designaremos por 0 y 1)

3- cumplen las siguientes propiedades:


1. Conmutativa
a) x + y = y + x
b) xy = yx
2. Asociativa
a) (x + y) + z = x + (y +z)
b) (xy)z = x(yz)
3. Distributiva
a) (x +y)z = xz + yz b) (xy) + z = (x + z)( y + z)
4. Complemento
a) x + x' = 1
b) xx' = 0

Propiedades derivadas del algebra de Boole


5. Identidad
a) x + 0 = x b) x(1) = x
6. Idempotente
a) x + x = x
b) xx = x
7. Maximalidad
a) x + 1 = 1
b) x(0) = 0
8. Involucin: (x')' = x
9. Absorcin
a) x + (xy) = x b) x(x + y) = x
10. Ley de De Morgan
a) (x + y)' = x'y' b) (xy)' = x' + y'

EXPRESIONES DE BOOLE
LITERAL: Es una variable o una variable
complementada
PRODUCTO FUNDAMENTAL: es un literal o un
producto de dos o ms literales en los cuales no
hay dos literales de una misma variable
PRODUCTO FUNDAMENTAL INCLUIDO: Un
producto fundamental P1 esta incluido en otro
producto fundamental P2, si los literales de P1
son tambin literales de P2. P1+P2=P1
Ej: xy esta incluido en xyz

FORMA DE SUMA DE PRODUCTO: Una


expresin de Boole esta en forma de suma de
productos, si es un producto fundamental o la
suma de dos o ms productos fundamentales
ninguno de los cuales est incluido en otro.
Ej: E=xy+yz+xt
FORMA COMPLETA DE SUMA DE
PRODUCTOS: Cuando la expresin esta en
forma de suma de productos y utiliza todas las
variables en cada producto.
Ej: E=xyz+xyz+xyz+xyz

EL ALGEBRA DIGITAL
Es un algebra de Boole, donde el conjunto
esta compuesto por 2 elementos el cero
(nivel bajo) y el uno (nivel alto) y de la cual
se desprenden las compuertas lgicas

Compuertas Lgicas
Es la unidad bsica sobre la que se disea
un sistema digital. Pueden poseer una
entrada o ms y una sola salida. Son
capaces de realizar funciones dando un
nivel de tensin a la salida que puede ser
alto o bajo. Las compuertas lgicas
bsicas son: AND, OR, NAND, NOR,
NOT, EX-OR, y EX-NOR.

COMPUERTA AND
Lo que caracteriza esta compuerta lgica es
que para obtener a la salida un nivel alto
(1, H) todas las entradas tienen que estar
a 1. Es decir: Si A = 1 y B = 1 entonces
S=1
A

COMPUERTA OR
Siempre se obtiene un 1 a la salida, salvo
que las entradas estn a 0.
A

COMPUERTA NOT
Tambin llamada compuerta inversora, ya
que, la informacin entregada a la entrada
es la inversa a la salida.

CIRCUITO DIGITAL

Emin = yz + xz + yt

OPTIMIZACION DE CIRCUITOS
LGICOS

EXPRESIONES BOOLEANAS
MINIMALES
Si E y F son expresines de Boole de suma de
productos, Em denotar el nmero de
literales en E (contados de acuerdo con la
multiplicidad), y Es denotar el nmero de
sumandos en E. Decimos que E es ms
simple que F si. Em Fm o Es Fs y por lo
menos una de las relaciones es una
desigualdad estricta.

Una expresin de Bool est en forma


minimal de suma de productos (o
sencillamente, es una suma minimal) si
est en forma de suma de productos y no
hay ninguna otra expresin equivalente en
forma de suma de productos que sea ms
simple que E.

Un producto fundamental P se llama


implicante primo de una expresin de
Boole E si P + E = E pero ningn otro
producto fundamental incluido en P tiene
esta propiedad.
Si una expresin de Boole E est en
forma minimal de suma de productos,
entonces cada sumando de E es un
implicante primo de E.

CONSENSO
Sea P1 y P2 productos fundamentales, tales
que exactamente una variable, aparezca
complementada en solo uno de P1 y P2 y
no complementada en el otro. El
consenso de P1 y P2 es, entonces, el
producto (sin repeticin) de los literales de
P1 y P2 despus de ser suprimida la
variable y su complemento.
Ej: xyz, xyz el consenso es yz

MINIMIZACION MEDIANTE EL
METODO DEL CONSENSO
Se llamara mtodo del consenso a la aplicacin de
los dos pasos siguiente no necesariamente
consecutivos. Con lo que se consiguen los
implicantes primos.
En la expresin de Boole suprima cualquier
producto fundamental que incluye cualquier otro
producto fundamental.
Sume el consenso de productos fundamentales
cualesquiera, siempre y cuando el consenso no
incluya ninguno de los productos fundamentales.

EXPRESION MINIMAL
Una manera de encontrar una suma
minimal para E es expresar cada
implicante primo en forma completa de
suma de productos, y quitar uno por uno
aquellos implicantes primos cuyos
sumandos aparecen entre los sumados
de los implicantes primos que quedan,
llamados superfluos.

EJEMPLO
E = xyz+ yzt + xzt + yzt+ yz + xz
E = xyz+ xzt + yzt+ yz + xz
Absorcin (yzt ; yz)
E = yzt + yz + xz
Absorcin (xyz; xzt ; xz)
E = yzt + yz + xz+ yt Consenso (yzt ; yz)
E = yz + xz+ yt
Absorcin (yzt ; yt)
E = yz + xz+ yt + xy Consenso (yz ; xz)

Forma completa de suma de


productos
yz = yz (x + x)(t + t) = xyz t + x yzt
+ xyz t + xyz t
xz = xz(y + y)(t + t) = xy zt + xy zt
+ xyzt + xyzt
yt = yt ( x + x)(z + z) = xyz t + x yzt
+ xyzt + xyzt
xy = xy(z + z)(t + t) = xyz t + xyz t
+ xyzt + xyzt (Superfluo)

EXPRESION MINIMAL
Emin = yz + xz + yt

MINIMIZACION MEDIANTE MAPAS DE


KARNAUGH
Los mapas de Karnaugh son maneras pictricas
de encontrar implicantes primos y formas
minimales de sumas para las expresiones de
Boole
Los mapas de Karnaugh, se representarn por
cuadrados los productos fundamentales en las
mismas variables. Decimos que dos de tales
productos fundamentales son adyacentes si
difieren en exactamente un literal, lo cual tiene
que ser una variable complementada en un
producto y no complementada en el otro.

Casos de dos varibles.


De esta manera, los cuatro posibles
productos fundamentales con dos literales
son:

xy

xy

xy

xy

Caso de tres variables


Se supone que esta formado por un cilindro
donde las caras verticales son adyacentes
yz

yz

yz

yz

xyz

xyz

xyz

xyz

xyz

xyz

xyz

xyz

Caso de cuatro variables


Se supone que esta formado por un toro
donde las caras verticales son adyacentes
y las caras horizontales tambin lo son.

zt

zt

zt

zt

xy

xyzt

xyzt

xyzt

xyzt

xy

xyzt

xyzt

xyzt

xyzt

xy

xyzt

xyzt

xyzt

xyzt

xy

xyzt

xyzt

xyzt

xyzt

Obtencin de la expresin minimal


Marcamos cada uno de los productos
fundamentales dentro del mapa de
Karnaugh, luego elegimos aquellos
productos fundamentales que ocupen el
mayor nmero de cuadros porque
representan un menor nmero de literales

EJ: E = xyz + yzt + xyz + yzt +yzt+xzt

Emin = zt + yz + yz + xzt

Otra expresin minimal

Emin = zt + yz + yz + xyt