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
0 0 1 1

S
0 0 0 1

0 1 0 1

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

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:

. x
x

y xy
xy

y xy
xy

Caso de tres variables

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

x x

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 xy xy xy xy xyzt xyzt xyzt xyzt

zt xyzt xyzt xyzt xyzt

zt xyzt xyzt xyzt xyzt

zt 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