INSTITUTO TECNOLOGICO DE OAXACA

ELECTRONICA DIGITAL ALGEBRA DE BOOLE Y TEOREMA DE MORGAN

PROFESOR: ING. RAL ROSENDO RODRIGUEZ ARROYO EQUIPO 3: ARELLANES CARREON MARLENE ARROYO AGUILAR ERICK JUAREZ LUNA JORGE LUIS GARCIA GARCIA MOISES IGNACIO REYES CASTELLANOS OSCAR ALEJANDRO INGENIERIA ELECTRICA GRUPO:EA

3 DE OCTUBRE DE 2012

ALGEBRA DE CONMUTACION
Basados en el trabajo del matemtico George Boole y las observaciones del Investigador Claude E. Shannon se han fundamentado las tcnicas formales para el anlisis de los circuitos digitales.

DEFINICIN
Seal lgica: Es el estado que se registra en los bits de entrada o salida de un circuito combinacional; se han definido el estado 1 o ALTO y el estado 0 o BAJO. En el lgebra de Boole una variable simblica (por ejemplo X) ser quien represente la seal lgica en un bit de entrada.

OPERACIONES BINARIAS BSICAS

NOT: una de los axiomas principales del lgebra de Boole es que si X = 0 , entonces X 0 ; y por analoga si X = 1, entonces X 0 . Ahora si definimos la accin de negar una variable como la manera en la cual si su estado es 0, al negarla su estado sera 1, o viceversa; y si definimos el universo de los circuitos lgicos en los cules slo son posibles dos estados (1 y 0), entenderamos que si X = 1, su complemento sera ' X = X =0 , y si X = 0 ,entonces ' X = X =1. Esto es lo que se conoce como la operacin NOT o inversor. AND: Para una multiplicacin lgica tenemos que si las entradas son X y Y, su representacin algebraica sera F = X Y , en donde el punto de multiplicacin () indica una operacin AND o multiplicacin lgica y cuyo resultado slo es 1 cuando todas las entradas son 1. OR: una suma lgica u operacin OR, la cual se representa por medio de un signo ms ( F = X + Y ), tiene como salida 0 si y solamente si todas las entradas son 0. Basados en estas tres operaciones bsicas tenemos los siguientes teoremas para una variable:

El lgebra de Boole cumple los siguientes postulados: 1. las operaciones OR y AND son conmutativas: X + Y = Y + X X Y = Y X 2. Cada operacin (AND y OR) es distributiva para la otra, es decir: X + (Y Z) = (X + Y) (X + Z) X (Y + Z) = (X Y) + (X Z) 3. las operaciones OR y AND son asociativas: (X + Y) + Z = X + (Y + Z) = X + Y + Z (X Y) Z = X (Y Z) = X Y Z 4. Para cada par de elementos se cumple que (Propiedad de absorcin o cobertura): X + X Y = X X (X + Y) = X 5. La propiedad de combinacin consiste en: X Y + X Y = X (X + Y) (X + Y ) = X 6. El Teorema de Morgan consiste en: _________ ___ ___ ___ (X + Y + Z) = X Y Z _______ ___ ___ _

X Y Z = X + Y + Z 7. El teorema de Shannon define el complementario de una funcin como aquel en el cual cada variable se remplaza por su complementaria y, al mismo tiempo, se intercambian las operaciones AND y OR, es decir: f X Y Z + = f (X Y Z ,,, + )

8. El teorema de Expansin consiste en: f ( X , Y , Z ,...) = [ X + f (0, Y , Z ,...)] f (0, Y , Z ,...) En donde el desarrollo o la expansin puede realizarse en funcin de cualquiera de las variables presentes. f(1, Y, Z,...) + X

ANALISIS Y SINTESIS DE CIRCUITOS COMBINACIONALES

Para el anlisis de Circuitos Combinacionales nosotros manejamos funciones booleanas que nos representan el comportamiento de los mismos en funcin del estado de sus entradas. Una funcin booleana sencilla es la siguiente: ___ f (X ) = X Esta funcin indica que para cada valor de X la respuesta de la misma es el complemento, como X slo puede tomar dos valores (0 y 1), las respuestas sern sus complementos (1 y 0). Como en el lgebra, las funciones pueden tener varias variables, f (X ,Y) = (X + Y ) Y Para esta funcin en particular podemos notar que cuando f (0,0) = (0 + 0 ) 0 = (0 + 1) 0 = 1 0 = 0 f (0,1) = (0 + 1 ) 1 = (0 + 0) 1 = 0 1 = 0 f (1,0) = (1 + 0 ) 0 = (1 + 1) 0 = 1 0 = 0 f (1,1) = (1 + 1 ) 1 = (1 + 0) 1 = 1 1 = 1 Esta funcin es lo mismo que tener la multiplicacin lgica de X y Y, de donde la salida slo es 1 cuando las dos entradas son 1, y la salida es 0 en los dems casos. La representacin bsica de una funcin lgica es la tabla de verdad, la cual, para la funcin anterior la podemos ver en la figura No. 8; como se observa, el nmero de columnas de la tabla de verdad est dado por el nmero de variables de la funcin seguido de su resultado. El nmero de filas de la tablade verdad est dado por el nmero mximo de diferentes posibles combinaciones de los estados de las

entradas ( n 2 , n= nmero de variables), por ejemplo, si tenemos 3 variables en una funcin sern 8 filas en la tabla de verdad y cuatro columnas. Figura No. 8 Tabla de Verdad de la funcin

Como se pudo observar, por medio de la funcin booleana se defini el comportamiento de la tabla de verdad; de similar manera, nosotros podemos partir de una tabla de verdad para poder deducir la funcin booleana, el problema es que se pueden obtener una multitud de funciones booleanas que tendrn el mismo comportamiento, as que nuestra misin ser encontrar la funcin que este lo ms simplificada posible.

DESCRIPCIN DE DISEO Y CIRCUITOS

A partir de una tabla de verdad se pueden obtener varias funciones booleanas que expresan el comportamiento descrito en la tabla; todas estas funciones sern equivalentes, y unas se podrn deducir de otras por medio de las propiedades del lgebra de Boole. Lo generalmente ms empleado para la deduccin de las expresiones resultantes de una tabla de verdad, son las formas cannicas. Estas se caracterizan porque en todos los trminos de estas expresiones aparecen todas las variables. Para entender una forma cannica debemos comprender lo siguiente: Trmino producto: Es la multiplicacin lgica de dos o ms variables, ejemplos: XYZ , X Y Z , A B C Expresin de suma de productos: Es la suma lgica de trminos productos, ejemplo: X + X Y + XY Z Trmino suma: Es la suma lgica de dos o ms variables; ejemplos: X +Y + Z ,X +Y + Z+ A

Expresin de producto de sumas: Es el producto lgico de trminos suma, ejemplo: X ( X + Y ) ( X + Y + Z ) ( X + Y + Z + A) Trmino normal: Es un producto o trmino suma en el que ninguna variable aparece ms de una vez. Ejemplos: XYZ , X + Y , A + B + C + D Mintrmino: Es un trmino de producto normal con n variables. Ejemplos: X Y Z, XYZ,XYZ Maxtrmino: Es un trmino suma normal con n variables. Ejemplos: X +Y + Z +W , X + Y + Z +W , X + Y + Z+WExiste una relacin entre la tabla de verdad y los mintrminos y maxtrminos de una funcin: Un mintrmino puede definirse como un trmino producto que es 1 en una de las filas de la tabla de verdad; como es un producto, la nica manera que logramos que sus entradas nos den como resultado un 1 es haciendo que todas sean 1, por lo tanto, el mintrmino tendr las variables que sean 0 complementadas. Un maxtrmino puede definirse como un trmino suma que es exactamente 0 en una de las filas de la tabla de verdad; de similar manera al mintrmino, el resultado del mxtermino debe ser un 0, as que todas las variables que sean 1 sern complementadas.

Ahora si estamos capacitados para entender cmo las formas cannicas son empleadas para deducir expresiones lgicas que describen un circuito lgico a partir de la tabla de verdad correspondiente. La primera forma cannica es la

Suma Cannica de la funcin lgica, la cual es la suma de los mintrminos correspondientes a las filas de la tabla de verdad en las cuales los resultados sean un 1, como ejemplo, la suma cannica de la tabla de verdad de la figura No. 8 es F = XY La suma cannica se compone de un solo trmino porque solamente una fila tiene como resultado un 1, ahora si aplicamos toda la tabla de verdad en esta expresin notaremos que la cumple. La segunda forma cannica es el Producto Cannico de la funcin lgica, y consiste en el producto de los maxtrminos correspondientes a las combinaciones de las entradas para las cuales la salida es un 0. Por ejemplo, el producto cannico de la tabla en la figura No. 8 es: F = ( X + Y )( X + Y )( X + Y ) De similar manera, se propone al estudiante representar toda la tabla de verdad en la expresin resultante para confirmar que cumple con las condiciones de la tabla. Ahora el punto que debe preocuparnos es si las dos expresiones resultantes son realmente equivalentes? Para confirmarlo deduciremos de la expresin de productos de maxtrminos la expresin de suma de mintrminos, as que nuestra expresin inicial es la siguiente: F = ( X + Y )( X + Y )( X + Y ) Procedimiento: 1. Hemos dicho que las operaciones OR y AND son asociativas, por lo tanto, agruparemos los dos primeros maxtrminos como sigue: F = [( X + Y )( X + Y )]( X + Y ) 2. La ecuacin No. 5 nos dice que la operacin OR es distributiva, as que asumiremos que el primer maxtrmino es una sola variable y el producto del mismo por el segundo maxtrmino ser distribuido de la siguiente manera: F = [( X + Y ) X + ( X + Y ) Y )]( X + Y ) 3. Con la expresin resultante redistribuiremos el producto de cada variable por el maxtrmino que lo multiplica: F = [ XX + YX + X Y + Y Y ]( X + Y )

4. Ahora aplicando el teorema de Idempotencia y complemento obtenemos: F = [ X + YX + X Y + 0]( X + Y ) F = [ X + YX + X Y ]( X + Y ) 5. Simplificando el primer trmino de la multiplicacin tendremos: F = [ X (1 + Y + Y )]( X + Y ) 6. Ahora, una variable que es sumada con un 1 y con su complemento nos da la misma variable, por lo cual: F = [ XY ]( X + Y ) F = XY ( X + Y ) 7. Aplicando la ley distributiva tenemos F = XY X + XYY 8. Aplicando la ley conmutativa F = YX X + XYY 9. y por el teorema del complemento para la multiplicacin F = Y 0 + XYY = 0 + XYY = XYY 10.por el teorema de Idempotencia aplicado a la variable Y F = XY Por lo cual obtenemos la misma expresin resultante para la suma cannica de la tabla en la figura No. 8 Ya tenemos unas herramientas bsicas para generar expresiones lgicas de una tabla de verdad, pero de dnde se genera la tabla de verdad? Por regla general, la tabla de verdad se deduce de una descripcin verbal de un problema descrito por alguien o por nosotros mismos. Esta descripcin puede ser un listado de combinaciones de varias entradas para las cuales debe estar activo o desactivo un bit en especial (salida del sistema).

MINIMIZACIN DE CIRCUITOS COMBINACIONALES

Cuando obtenemos una expresin lgica que describe una situacin especial o un comportamiento requerido en un circuito, el paso siguiente sera el implementarlo en un circuito electrnico, pero en la mayora de los casos, la implementacin directa de una suma o multiplicacin cannica no es la ms fiable econmicamente hablando pues el nmero de mintrminos y maxtrminos crece exponencialmente con el nmero de variables.

Esta es una de las causas por las cules la minimizacin es una de las mejores herramientas para optimizar el circuito lgico diseado, de tal manera, que la expresin final sea la de menor nmero y tamao de compuertas electrnicas necesarias para construirla. Los medios que tenemos para optimizar una expresin booleana son: _ Utilizando Propiedades y Teoremas del lgebra de Boole. _ Utilizando el mtodo de los mapas de Karnaugh

TEOREMA DE MORGAN
Normalmente las formas cannicas no son las expresiones ms simplificadas, pero el procedimiento para hacer la simplificacin no tiene un mtodo analtico, hay que basarse en la experiencia y el conocimiento de las propiedades del lgebra de Boole. A continuacin veremos otro ejemplo: Ejercicio resuelto: Minimizar la siguiente expresin: F = X Z + XY + X Y Z Procedimiento: 1). Podemos aplicar la ley asociativa de la suma lgica para los dos ltimos trminos as: F = X Z + ( XY + X Y Z ) 2) Aplicando el procedimiento inverso para la ley distributiva de la multiplicacin lgica con respecto a la suma tendremos: F = X Z + X (Y + Y Z ) 3). Para el trmino: (Y + Y Z ) aplicamos la ley distributiva segn la Ecuacin No. 4, de tal forma que obtenemos (Y + Y ) (Y + Z ) , y como para la suma de complementos se cumple que es igual a 1 tendramos (1) (Y + Z ) = (Y + Z ) , as que reemplazando en la expresin: F = X Z + X (Y + Z ) 4). Aplicando la ley distributiva y conmutativa tendremos: F = X Z + X (Y + Z ) = X Z + XY + XZ = X Z + XZ + XY

5). Agrupando los dos primeros trminos tendremos F = X Z + XZ + XY = ( X + X ) Z + XY 6). De donde por la propiedad de la suma de complementos

F = ( X + X ) Z + XY = (1) Z + XY = Z + XY F = Z + XY

De donde podemos observar que de requerir inicialmente una compuerta OR de tres entradas, dos compuertas AND de dos entradas, una compuerta AND de tres entradas y dos compuertas inversoras; al realizar la minimizacin llegamos a necesitar solamente una OR de dos entradas y una AND de dos entradas. Por lo tanto en la mayora de casos el proceso de minimizacin reduce notablemente la cantidad de componentes electrnicos requeridos en el montaje de un Circuito Digital (Ver figura No. 10).