PREPARATORIO DE SISTEMAS DIGITALES NO 4

Demostraci on de Algunos Teoremas del Algebra de Boole

F. Enr quez, Ingenier a Electr onica y Control, EPN

AbstractEl siguiente trabajo preparatorio es una aplicaci on a los teoremas de Algebra de Boole, en el que se comprobar a su validez mediante compuertas l ogicas y su uso en las tablas de verdad. Los teoremas que se tratar an son los de Redundancia, Absorci on y De Morgan, todos estos con su respectivo teorema dual. Entre otras aplicaciones mediante Leyes Fundamentales y Proposiciones Elementales se simplicar a expresiones para luego representarlas con compuertas l ogicas.

Circuito para comprobar el dual Teorema de Redundancia

UN CIRCUITO III. C ON COMPUERTAS A-O-N, DISE NE L OGICO QUE PERMITA VERIFICAR EL TEOREMA DE : A BSORCI ON X+X.Y=X

I. I NTRODUCCI ON STE documento es la preparaci on para la parte pr actica de la comprobaci on de los diferentes Teormeas del Algebra de Boole. Esta comprobaci on se la realizar a mediante el uso de las diferentes compuertas l ogicas, de igual forma el comportamiento dual de los teoremas que se obtiene cambiando compuertas AND y OR. La simplicaci on de expresiones algebr aicas es una herramienta fundamental de los Sistemas Digitales ya que esta simplifcaci on permite su representacin con compuertas A-O-N, NAND, OR.

Circuito para comprobar el Teorema de Absorci on

A. Compruebe el dual de esta funci on X(X+Y)=X

UN CIRCUITO II. C ON COMPUERTAS A-O-N, DISE NE L OGICO QUE PERMITA VERIFICAR EL TEOREMA DE R EDUNDANCIA : X+X.Y = X + Y
Circuito para comprobar el dual Teorema de Abosrci on

UN CIRCUITO IV. C ON COMPUERTAS A-O-N, DISE NE L OGICO QUE PERMITA VERIFICAR EL TEOREMA DE D E M ORGAN : X.Y = X + Y
Circuito para comprobar el Teorema de Redundancia

A. Compruebe el dual de esta funci on X(X + Y ) = XY

Circuito para comprobar el Teorema de De Morgan

A. Compruebe el dual de esta funci on X + Y = XY

PREPARATORIO DE SISTEMAS DIGITALES NO 4

Circuito que representa la funci on F con compuertas NAND

Circuito para comprobar el dual Teorema de De Morgan

D. Simule los literales de los circuitos anteriores y comprobar que se obtiene la misma tabla de verdad Documento adjunto 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 1 1 0 1 1 1

: V. DADA LA F UNCI ON F=X.Z+Y.Z + X.Y.Z A. Simplique y exprese la funci on resultante con compuertas A-O-N F F F F F F=X.Z+Y.Z + X.Y.Z = Z (X + XY ) + Y Z = Z [(X + X )(X + Y )] + Y Z = XZ + Y Z + Y Z = XZ + Y (Z + Z ) = XZ + Y

Tabla de verdad a cumplirse en la funci on F

VI. C ONCLUSIONES Toda funci on algebraica puede ser representada mediante compuertas l ogicas A-O-N o sus compuestas. Los diferentes teoremas del Algebra de Boole al igual que los principios y leyes nos permiten tener una mayor facilidad de simplicaci on de las diferentes funciones l ogicas. Todo teorema posee su principio de dualidad, es decir tiene su complemento en cual se obtiene cambiado ceros por unos, compuertas AND por OR.

Circuito que representa la funci on F

B. Simplique y exprese la funci on resultante con compuertas NOR F=XZ+Y F=(Y+Z)(Y+X) F=(Y + Z )(Y + X ) F =Y +Z +Y +X

R EFERENCES
[1] Ing. Carlos Novillo,Docente de la EPN, Sistemas Digitales, 1ra ed.QuitoEcuador.

Circuito que representa la funci on F con compuertas NOR

C. Simplique y exprese la funci on resultante con compuertas NAND F=XZ+Y F=XZ + Y F = XZY