Escuela Politcnica Nacional

Laboratorio de Sistemas Digitales

PRCTICA N 4 Demostracin de algunos teoremas del algebra de Boole.

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.

2. Marco Terico.
POSTULADOS Y TEOREMAS DEL LGEBRA DE BOOLE En el lgebra de Boole existen varios postulados, identidades y teoremas bsicos: POSTULADO.- Principio cuya admisin es necesaria para establecer una demostracin. Verdad evidente que no necesita demostrarse. IDENTIDAD.- Igualdad cuyos dos miembros son idnticos. TEOREMA.- Enunciado de una proposicin o de una propiedad que se demuestra por un razonamiento lgico a partir de hechos dados o de hiptesis, incluidos en este enunciado. Proposicin cientfica que se puede demostrar. Postulados [de Huntington] 0.0=0 0.1=0 1.0=0 1.1=1 1 =0 ] PRINCIPIO DE DUALIDAD.- Este principio establece que cada teorema tiene un dual que se puede obtener. Esto simplifica el esfuerzo ya. Advertencia si G<x,y,z> es el dual de la funcin F<x,y,z> esto no implica que las dos expresiones sean iguales. Intercambiando los operadores AND y OR de las expresiones. Intercambiando los elementos 0 y 1 de las expresiones. La forma de las variables (si las hubiere) no cambia. Este principio permite establecer dos teoremas con el esfuerzo de una sola prueba. Si se puede probar, con una serie de pasos lgicos, que un teorema dado es verdadero, entonces, inmediatamente se sabe que el dual del teorema original es verdadero, puesto que el dual de los pasos lgicos que prueban el teorema original, prueban el teorema dual. 0+0=0 0+1=0 1+0=0 1+1=1 0 =1

3. Procedimiento:
Implementamos en la parte prctica los literales del preparatorio 2.1 teorema de Consenso, 2.2 teorema de combinacin, 2.3 teorema de DeMorgan y 2.4 funciones simplificadas con compuertas A O N (74SL08 74SL32 74SL04), NOR (74SL02 74SL27) y NAND (74SL00 - 74SL10). Y comprobamos su funcionamiento.

-1-

Escuela Politcnica Nacional

Laboratorio de Sistemas Digitales

4. Datos y Resultados: (Tablas de Verdad)

TEOREMA DEL CONSENSO

X 0 0 1 1

X + XY = X + Y Y X+ X Y X+Y 0 0 0 1 1 1 0 1 1 1 1 1

0 0 1 1

X X + Y = XY Y X*( X +Y) 0 0 1 0 0 0 1 1

X*Y 0 0 0 1

TEOREMA DE COMBINACIN XY + X Y = X Y XY+X Y 0 0 1 0 0 1 1 1

X 0 0 1 1

X 0 0 1 1

( X +Y) (X +Y) = X
X 0 0 1 1 Y 0 1 0 1 (X+Y)(X+ Y ) 0 0 1 1 X 0 0 1 1

-2-

Escuela Politcnica Nacional

Laboratorio de Sistemas Digitales

TEOREMA DE DEMORGAN X + Y = X Y Y X+Y XY 0 1 1 1 0 0 0 0 0 1 0 0 X Y = X + Y Y XY X+Y 0 1 1 1 1 1 0 1 1 1 0 0

X 0 0 1 1

X 0 0 1 1

F = XY + X Y + Y Z TABLA DE VERDAD X Y Z F 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 5. Anlisis de Datos: Los datos obtenidos fueron satisfactorios, debido a que utilizamos elementos (compuertas) claramente definidos y determinados, las instalaciones se las hizo adecuadamente y con la ayuda de la punta lgica se armo correctamente, obteniendo y verificando los datos de las tablas que fueron correctas. 6. Cuestionario:
6.1. Haga una breve sustentacin terica de los teoremas del lgebra de Boole y de su importancia en la solucin de problemas digitales. POSTULADOS FUNDAMENTALES: Producto a.a=a a . a = 0 a.1=a a.0=0 a Suma a+a=a a + a = 1 a+0=a a+1=1 Idempotencia Complementos Identidades Elementos nulos Involucin

LEYES FUNDAMENTALES: Conmutativa X.Y=Y.X X+Y=Y+X

-3-

Escuela Politcnica Nacional

Laboratorio de Sistemas Digitales

Asociativa Distributiva

(X . Y) Z = X (Y . Z) X (Y + Z) = X . Y + X . Z TEOREMAS:

(X + Y) + Z = X + (Y + Z) X + Y . Z = (X + Y)( X + Z)

De Absorcin De Consenso De Combinacin De De Morgan

X+X.Y=X
X + X .Y = X + Y X .Y + X .Y = X ( X .Y ) = X + Y

X (X + Y) = x
X ( X + Y ) = X .Y ( X + Y )( X + Y ) = X ( X + Y ) = X .Y

Mediante la aplicacin de los Teoremas del lgebra de Boole es posible simplificar una ecuacin para obtener la funcin ms simple posible, esta se la implementar con las compuertas lgicas. La importancia de la simplificacin se debe a que al reducir el nmero de compuertas se disminuye el nmero de conexiones, el tamao fsico del circuito, la potencia disipada por el mismo, el costo total e, inclusive, el nmero de errores que pueden introducirse cuando se implementa el circuito. 6.2. Consulte acerca de las formas cannicas y normalizadas. Formas Estndar o Cannicas: La forma cannica o estndar de un funcin booleana es aquella en la que cada trmino estn presentes todas las variables de entrada, en su forma normal o complementada. Existen dos formas cannicas de representar una funcin booleana: Forma Cannica Disyuntiva (Descomposicin en minterms o Suma Expandida de Productos)._ Se expresa la funcin booleana usando los 1L de la tabla de verdad, los mismos que son conocidos como trminos mnimos, los minterms son un producto de todas las variables de entrada ya sea en forma normal o complementada. Luego la forma Cannica es la sumatoria de todos los minterms. Forma Cannica Conjuntiva (Descomposicin en MAXTERMS o Producto Expandido de Sumas)._ Se expresa la funcin booleana usando los 0L de la tabla de verdad, los mismos que son conocidos como trminos mximos, los MAXTERMS son una suma de todas las variables de entrada ya sea en forma normal o complementada. Luego la forma Cannica es el producto de todos los MAXTERMS. Formas Normalizadas: Son otra forma de expresar las funciones booleanas, los trminos que forman la funcin deben contener uno, dos o cualquier nmero de literales. Hay dos tipos de formas normalizadas: la suma de productos y el producto de sumas. La suma de productos es una expresin de Boole que contiene trminos AND llamados trminos producto de uno o ms literales cada uno. La suma denota la aplicacin de la funcin OR de estos trminos. Un ejemplo de una expresin en producto de sumas es: F(x, y, z) = y + xy +xyz

-4-

Escuela Politcnica Nacional

Laboratorio de Sistemas Digitales

Un producto de sumas es una expresin de Boole que contiene trminos OR, llamados trminos suma. Cada trmino puede tener cualquier nmero de literales. El producto denota la aplicacin de la funcin AND a estos trminos. Un ejemplo de una expresin en producto de sumas es: F(x, y, z, w) = x(y + z)(x + y + z + w) 6.3. Por qu se conoce a las compuertas NAND y NOR como universales? Se las conoce como compuertas universales ya que de la misma manera en que las compuertas A O N, constituyen un conjunto completo, las compuertas NAND y NOR, por si solas, constituyen cada una un conjunto completo, es decir utilizando exclusivamente compuertas NAND o compuertas NOR se puede implementar cualquier red lgica, lo compleja que sea. NAND:
A B Y=AB

AND:
A B 1 2 Y=AB A B Y=AB

OR
A 1 3 B 2 Y=A+B A B Y=A+B

NOT
A 1 Y=A A Y=A

NOR:
A B Y=A+B

AND
A 1 3 B 2 Y=AB A B Y=AB

OR

-5-

Escuela Politcnica Nacional

Laboratorio de Sistemas Digitales

A B

Y=A+B

A B

Y=A+B

NOT
A 1 Y=A A Y=A

7. Conclusiones:
Se comprob satisfactoriamente algunos de los teoremas del lgebra de Boole con

sus respectivos duales.

Al realizar la implementacin de la funcin simplificada y expresarla con

compuertas A O N, con compuertas NAND y con compuertas NOR, se verifico la universalidad de las compuertas NAND y NOR.
Se pudo comprobar la importancia de simplificar las ecuaciones para obtener la

funcin ms reducida. Entre las ventajas que se obtiene al reducir el nmero de compuertas son que se disminuye el nmero de conexiones, el tamao fsico del circuito, la potencia disipada por el mismo, el costo total e, inclusive, el nmero de errores que pueden introducirse cuando se implementa el circuito.

8. Recomendaciones:
Se recomienda ser ordenados y metdicos al momento de armar los circuitos

digitales y adems utilizar bien la punta lgica, ya que esto ayudar en encontrar y determinar una falla ms rpidamente.
El lgebra de Boole y el uso de las diferentes compuertas TTL es la base para el

diseo de los circuitos digitales combinados.

9. Bibliografa:
TOCCI, Ronald. Sistemas Digitales, principios y aplicaciones. Prentice Hall

Hispanoamrica. Sexta edicin. Mxico. 1996.

MORRIS, Mano. Lgica Digital y Diseo de Computadora. Prentice Hall

Hispanoamrica. Primera edicin. Mxico. 1982.

Novillo, Carlos. Folleto de Sistemas Digitales.

-6-