ESCUELA POLITCNICA NACIONAL

FACULTAD DE INGENIERA ELCTRICA Y ELECTRNICA LABORATORIO DE MQUINAS ELCTRICAS

INFORME DE:

SISTEMAS DIGITALES

NOMBRES: IIGO MARTNEZ CRISTIAN CARRILLO DAVID MORALES

GRUPO: GRSD1 PRCTICA No. 4 TEMA:

DEMOSTRACIN DE ALGUNOS DE LOS TEOREMAS DEL ALGEBRA DE BOOLE

FECHA DE REALIZACIN: viernes, 20 de septiembre de 2013

1

OBJETIVO.Comprobar, en forma prctica, algunos de los teoremas del lgebra de Boole y aplicar el principio de dualidad. Aplicar los teoremas del lgebra de Boole en la simplificacin de una funcin lgica. MARCO TERICO: Primero, se realiz en el trabajo preparatorio la simplificacin de la funcin de la siguiente manera: Universalidad de las compuertas NAND y NOR:

El resto de teora se expone en la pregunta 1 del cuestionario. DESARROLLO PRCTICO: Luego de disear la funcin, se implementaron los siguientes circuitos: Con compuertas A-O-N: Con compuertas NOR Con compuertas NAND EVALUACIN DE RESULTADOS: En los 3 casos se obtuvo la siguiente tabla de verdad: X 0 0 0 0 Y 0 0 1 1 Z 0 1 0 1

F 0 0 1 1
2

1 1 1 1 CUESTIONARIO:

0 0 1 1

0 1 0 1

0 1 0 1

1. Haga una breve descripcin terica de los teoremas del lgebra de Boole y su importancia en la solucin de problemas digitales.
El lgebra de Boole es una estructura algebraica que relaciona las operaciones lgicas OR, AND y NOT. Importancia: El lgebra de Boole y los sistemas de numeracin binarios constituyen la base matemtica para construir los sistemas digitales. A partir de estas operaciones lgicas sencillas, se pueden obtener otras ms complejas que dan lugar a las funciones lgicas. Por otra parte, hay que tener en cuenta que los valores que se trabajan en el lgebra de Boole son de tipo binario. Teoremas fundamentales Ley de idempotencia para la suma: o Ley de idempotencia para el producto: o Ley de absorcin para la suma: o : Ley de absorcin para el producto: o Ley de identidad para la suma: o Ley de identidad para el producto: o Ley de involucin: o Ley del complemento: o o Leyes de De Morgan: o
3

o Principio de dualidad El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le corresponder su dual, formada mediante el intercambio de los operadores suma con los de producto, y de los con los . Adicin 1 2 3 4 5 6 7 8 9 Producto

2. Explique en qu consiste la demostracin por induccin completa, y demuestre el teorema del consenso con este mtodo.
En matemticas, la induccin es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposicin que depende de un parmetro que toma una infinidad de valores enteros. En trminos simples, la induccin matemtica consiste en el siguiente razonamiento: Premisa mayor: El nmero entero tiene la propiedad . Premisa menor: El hecho de que cualquier nmero entero tenga la propiedad implica que tambin la tiene (que se anota con el smbolo de condicional material: ). Conclusin: Todos los nmeros enteros a partir de tienen la propiedad .
4

Con ms rigor, el mtodo de induccin matemtica es el que realiza la demostracin para proposiciones en las que aparece como variable un nmero natural. Se basa en un axioma denominado principio de la induccin matemtica. Demostracin del teorema del consenso:

3. Consulte sobre los MINTRMINOS y los MAXTRMINOS

Minitrminos Para una funcin booleana de variables , un producto booleano en el que cada una de las variables aparece una sola vez (negada o sin negar) es llamado minitrmino. Es decir, un minitrmino es una expresin lgica de n variables consistente nicamente en el operador conjuncin lgica (AND) y el operador complemento o negacin (NOT). Por ejemplo, , con las tres variables y , y . son ejemplos de minterms para una funcin booleana

Indexando minitrminos En general, uno asigna a cada minterm (escribiendo las variables que lo componen en el mismo orden), un ndice basado en el valor binario del minterm. Un trmino negado, como es considerado como el nmero binario 0 y el trmino no negado es considerado como un 1. Por ejemplo, se asociara el nmero 6 con nombraramos la expresin con el nombre Entonces de tres variables es y ,y . debera ser

al ser

Se puede observar que cada minterm solo devuelve verdadero, (1), con una sola entrada de las posibles.
5

Por ejemplo, el minitrmino 5,

es verdadero solo cuado a y c son ciertos y b es

falso - la entrada a = 1, b = 0, c = 1 da resultado 1.

Funcin equivalente Si tenemos una tabla de verdad de una funcin lgica: f(a,b), es posible escribir la funcin como "suma de productos". Por ejemplo, dada la tabla de verdad. Observamos que las filas con resultado '1 son la primera y la cuarta, entonces podremos escribir f como la suma de los minitrminos: . Si queremos verificar esto:

tendremos que la tabla de verdad de la funcin, calculndola directamente, ser la misma. Esta expresin aplicada a interruptores seria el de la figura, se puede ver que hay dos ramas, en la superior dos interruptores inversos: a y b puestos en serie, lo que es equivalente a ab, en la inferiores directos: a y b tambin en serie que es equivalente a ab, estos dos circuitos puestos en paralelo resultan ab + ab. Maxitrminos Un maxitrmino es una expresin lgica de n variables que consiste nicamente en la disyuncin lgica y el operador complemento o negacin. Los maxterms sn una expresin dual de los minitrminos. En vez de usar operaciones AND utilizamos operaciones OR y procedemos de forma similar. Por ejemplo, los siguientes trminos cannicos son maxitrminos:

Dualizacin

El complemento de un minterm es su respectivo maxitrmino. Esto puede ser fcilmente verificado usando la Ley de De Morgan. Por ejemplo:

Indexando maxitrminos Para indexar maxitrminos lo haremos justo de la forma contraria a la que seguimos con los minterms. Se asigna a cada maxterm un ndice basado en el complemento del nmero binario que representa (otra vez asegurndonos que las variables se escriben en el mismo orden, usualmente alfabtico). Por ejemplo, para una funcin de tres variables f(a,b,c) podemos asignar (Maxitrmino 6) al maxitrmino: . De forma similar de tres variables debera ser y es . Se puede ver fcilmente que un maxitrmino slo da como resultado un cero para una nica entrada de la funcin lgica. Por ejemplo, el maxitrmino 5, , es falso solo cuando a y c son ciertos y b es falso - la entrada a = 1, b = 0, c = 1 da como resultado un cero. Funcin equivalente Si tenemos una tabla de verdad de una funcin lgica, f(a,b), es posible escribir la funcin como "producto de sumas". Por ejemplo, dada la tabla de verdad. Observamos que las filas que tiene como salida un 0 son la segunda y la tercera, entonces podemos escribir f como un producto de maxitrminos

Si queremos verificar esto:

tendremos que la tabla de verdad de la funcin, calculndola directamente, ser la

misma. La aplicacin en un circuito de interruptores, es el del esquema, donde se puede ver los dos interruptores superiores a y a', y los inferiores b' y b. En primer lugar tenemos puestos en paralelo a y b', lo que seria a+b', y a continuacin, a' y b en paralelo que seria a'+b, estos dos circuitos parciales puestos en serie son equivalentes a (a+b')(a'+b), las distintas combinaciones de a y b, corresponden, como se puede ver a la tabla de verdad. Este circuito est cerrado solo en dos de las cuatro combinaciones posibles: a b con los interruptores en esta posicin se conecta la entrada con la salida y a b que tambin cierra circuito, para las otras combinaciones el circuito est abierto.

E s t e c i r cuito y el anterior son claramente diferentes, pero los dos corresponden a la misma tabla de verdad y por lo tanto equivalentes. Aun partiendo de la misma expresin booleana, se pueden realizar distintas configuraciones equivalentes, as se puede ver en esta segunda figura. Se puede demostrar la equivalencia, simplificando la funcin, partiendo de:

Realizando las multiplicaciones, tendremos:

Simplificando:

con lo que tenemos la funcin obtenida por minitrminos.

4. Consulte acerca de las formas cannicas y normalizadas

Formas Cannicas:
En lgebra booleana, se conoce como trmino cannico de una funcin lgica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa. Una Funcin lgica que est compuesta por operador lgico puede ser expresada en forma cannica usando los conceptos de minterm y maxterm. Todas las funciones lgicas son expresables en forma cannica, tanto como una "suma de minterms" como "producto de maxterms". Esto permite un mejor anlisis para la simplificacin de dichas funciones, lo que es de gran importancia para la minimizacin de circuitos digitales. Una funcin booleana expresada como una disyuncin lgica (OR) de minterms es usualmente conocida la "suma de productos", y su Dual de Morgan es el "producto de sumas", la cual es una funcin expresada como una conjuncin lgica (AND) de maxterms. Formas Normalizadas:
9

Son formas que responden al esquema de suma de productos o producto de sumas. Suelen tener menor numero de operaciones que las formas canonicas. Para una funcion algebraica concreta, es de menos operaciones siguiendo esos mismos esquemas. Pueden existir varias formas normalizadas para una misma funcin. Literal: unidad que se refiere a una variable o su invertida Suma de productos: Es una suma de distintos trminos, donde en todos ellos se realiza exclusivamente el producto de distintos literales

Producto de sumas: Es un producto de distintos trminos, donde en cada uno de ellos se realiza exclusivamente la suma de distintos literales

5. Dada la funcin:

Expresar usando las definiciones de MINTERMINOS y MAXTRMINOS

Mintrminos: X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1 F 0 0 0 0 0 1 1 1 m0 1 0 0 0 0 0 0 0 m1 0 1 0 0 0 0 0 0 m2 0 0 1 0 0 0 0 0 m3 0 0 0 1 0 0 0 0 m4 0 0 0 0 1 0 0 0 m5 0 0 0 0 0 1 0 0 m6 0 0 0 0 0 0 1 0 m7 0 0 0 0 0 0 0 1

10

Maxtrminos:
X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1 F 0 0 0 0 0 1 1 1 M0 0 1 1 1 1 1 1 1 M1 1 0 1 1 1 1 1 1 M2 1 1 0 1 1 1 1 1 M3 1 1 1 0 1 1 1 1 M4 1 1 1 1 0 1 1 1 M5 1 1 1 1 1 0 1 1 M6 1 1 1 1 1 1 0 1 M7 1 1 1 1 1 1 1 0

CONCLUSIONES: David Morales: Al simplificar el circuito correspondiente de la funcin del literal 2.4, se obtuvo en el desarrollo terico del trabajo preparatorio la siguiente funcin:

Pero al implementarlo mediante los mapas de Karnaugh se pudo ver que la funcin se reduca a esta forma: Lo que comprueba el teorema del consenso. Se pudo comprobar la universalidad de las compuertas NOR y NAND, pues en base a ellas se pudo disear la funcin solicitada, y en realidad, se puede implementar cualquier funcin con este tipo de compuertas. Cristian Carrillo: La aplicacin de los teoremas del lgebra de Boole permiten simplificar los circuitos lgicos enormemente, lo que representa un ahorro en materiales, tiempo de implementacin, y por lo tanto, de recursos econmicos. Se observa que el circuito con compuertas AND, OR y NOT resulta un poco ms sencillo de entender, implementar, y tambin ms econmico pues requiere slo
11

de 4 compuertas, mientras que los que emplean las compuertas universales NAND y NOR ocupan hasta 7. Iigo Martnez: El lgebra booleana es indispensable para el diseo de circuitos lgicos, los que a su vez son la base de los sistemas digitales de la actualidad, con infinidad de aplicaciones. Los teoremas de consenso, de absorcin y de la redundancia no son tan obvios como la aplicacin de los otros, pero sin duda permiten simplificar muchas funciones y de esa manera ahorrar costos de los circuitos integrados necesarios. BIBLIOGRAFIA: TOCCI, WILDMER, Sistemas Digitales, Pearson, 8va edicin, pgs. 455487.
Diccionario de Matemticas" de Christopher Clapham (1998) ISBN: 84-89784-56-6

12