10/02/2012

Elaborado por Ing. Jaime Velarde Agosto 2011 Enero 2012

POSTULADOS, IDENTIDADES Y TEOREMAS

Los Postulados son verdades que no necesitan ser demostradas Las Identidades implican la igualdad de sus dos miembros Los Teoremas son proposiciones que se pueden demostrar

10/02/2012

POSTULADOS DE HUNTINGTON Se fundamentan en el Producto Lgico (Conectivo AND), la Suma Lgica (Conectivo OR) y el Operador NOT (Complemento)
PRODUCTO LGICO 0 0 1 1 . . . . 0 1 0 1 1 = = = = = 0 0 0 1 0 1 1 0 0 SUMA LGICA + + + + 1 0 1 0 0 = = = = = 1 1 1 0 1

PRINCIPIO DE DUALIDAD
En el lgebra de Boole a cada Teorema le corresponde un dual, que se obtiene: Intercambiando los operadores AND y OR de las expresiones Intercambiando los elementos 0 y 1 de las expresiones Mientras que la forma de la variable no cambia
EJEMPLO 1 0 . 1 = 0 A EJEMPLO 2 . 1 = A

10/02/2012

PRINCIPIOS ELEMENTALES CON EL CONECTIVO AND A partir de las Tablas de Verdad con el conectivo AND se obtiene:
PRINCIPIOS CON PRODUCTOS LGICOS A A A A . . . . A 1 0 = = = = A 0 A 0 Idempotencia (Tautologa) Opuestos o Complementos Neutros o Identidades Elementos Nulos

PRINCIPIOS ELEMENTALES CON EL CONECTIVO OR A partir de las Tablas de Verdad con el conectivo OR se obtiene:
PRINCIPIOS CON SUMAS LGICAS A A A A + + + + A 0 1 = = = = A 1 A 1 Idempotencia (Tautologa) Opuestos o Complementos Neutros o Identidades Elementos Nulos

10/02/2012

PRINCIPIO ELEMENTAL CON EL OPERADOR NOT A partir de la Tabla de Verdad del operador NOT se obtiene:

PRINCIPIO CON EL INVERSOR A = A Involucin

LEYES
LEYES FUNDAMENTALES DEL LGEBRA DE BOOLE X.Y=Y.X Ley Conmutativa X+Y=Y+X (X . Y) . Z = X . (Y . Z) Ley Asociativa (X + Y) + Z = X + (Y + Z) X . (Y + Z) = (X . Y) + (X . Z) Ley Distributiva X + (Y . Z) = (X + Y) . (X + Z)

10/02/2012

DEMOSTRACIN DE LA PRIMERA LEY DISTRIBUTIVA

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 Y+Z 0 1 1 1 0 1 1 1 X(Y+Z) 0 0 0 0 0 1 1 1 XY 0 0 0 0 0 0 1 1 XZ 0 0 0 0 0 1 0 1 XY+XZ 0 0 0 0 0 1 1 1

DEMOSTRACIN DE LA SEGUNDA LEY DISTRIBUTIVA

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 YZ 0 0 0 1 0 0 0 1 X+YZ 0 0 0 1 1 1 1 1 X+Y 0 0 1 1 1 1 1 1 X+Z 0 1 0 1 1 1 1 1 (X+Y)(X+Z) 0 0 0 1 1 1 1 1

10/02/2012

TEOREMAS
TEOREMAS DEL LGEBRA DE BOOLE Teorema de Absorcin Teorema de Redundancia Teorema de Consenso Teorema de Combinacin Teorema de DeMorgan X + (X . Y) = X X . (X + Y) = X X + (X . Y) = X + Y X . (X + Y) = X . Y ( X . Y) + (Y . Z) + (X . Z) = (X . Y) + (X . Z) ( X + Y) . (Y + Z) . (X + Z) = (X + Y) . (X + Z) (X . Y) + (X . Y) = X (X + Y) . (X + Y) = X (X . Y) = X + Y (X + Y) = X . Y

TEOREMA DE EXPANSIN DE SHANON

TEOREMAS DE EXPANSIN F[X1, , Xn] = X1 . F[1, , Xn] + X1 . F[0, , Xn] F[X1, , Xn] = (X1 + F[1, , Xn]) . (X1 + F[0, , Xn]) EJEMPLO F[A, B, C] = A . B + A . C F[A, B, C] = B . (A . 1 + A . C) + B . (A . 0 + A . C) F[A, B, C] = A . B + A . B . C + A . B . C F[A, B, C] = C.(A.B+A.B.1+A.B.1) + C.(A.B+A.B.0+A.B.0) F[A, B, C] = A . B . C + A . B . C + A . B . C + A . B . C

10/02/2012

SIMPLIFICACIN DE FUNCIONES
SIMPLIFICACIN F=A+A.B F=A.1+A.B F = A . (B + B) + A . B F=A.B+A.B+A.B F=A.B+A.B+A.B+A.B F = A . (B + B) + B . (A + A) F=A.1+B.1 F=A+B Identidad Complementos Distributiva Idempotencia Distributiva Complementos Identidad

CIRCUITOS EQUIVALENTES

10/02/2012

CIRCUITO SIN SIMPLIFICAR

SIMPLIFICACIN DEL CIRCUITO

SIMPLIFICACIN F=X.Y.Z+X.Y.Z+X.Y.Z+X.Y.Z+X.Y.Z F = (X . Y . Z + X . Y . Z) + X . Y . Z + X . Y . Z + X . Y . Z 1 F = (X . Y) . (Z + Z) + X . Y . Z + X . Y . Z + X . Y . Z F=X.Y+X.Y.Z+X.Y.Z+X.Y.Z+X.Y.Z F = X . Y + (X . Y . Z + X . Y . Z) + (X . Y . Z + X . Y . Z) 1 1 F = X . Y + (X . Y) . (Z + Z) + (X . Z) . (Y + Y) F = X . Y + X . Y + X . Z = (X . Y + X . Y) + X . Z 1 F = (X + X) . Y + X . Z = Y + X . Z

10/02/2012

CIRCUITO SIMPLIFICADO

El circuito que se implementa es el que tenga el menor nmero de compuertas y el menor nmero de conexiones

DIBUJAR EL CIRCUITO DE LA FUNCIN

10/02/2012

SIMPLIFICACIN DE LA FUNCIN
SIMPLIFICACIN F=DCBA+DBA+DBA+DCB+DBA+DCBA F = (D C B A + D C B A) + D B A + D B A + D C B + D B A F=DCB+DBA+DBA+DCB+DBA F = (D C B + D C B) + D B A + D B A + D B A F=DB+DBA+DBA+DBA+DBA F = D B + (D B A + D B A) + (D B A + D B A) F=DB+DB+DA

FUNCIN Y CIRCUITO SIMPLIFICADOS

UNIVERSALIDAD A-O-N
Cualquier circuito lgico puede ser implementado mediante compuertas AND, OR y NOT

10

10/02/2012

EQUIVALENCIA DE FUNCIONES
DEMOSTRAR (B + A)(C + A)(D + A) = A + D C B A (C B + B A + C A + A A)(D + A) (C B + B A + C A + A)(D + A) A A A DCB+DBA+DCA+DA+CBA+BAA+CAA+AA DCB+DBA+DCA+DA+CBA+BA+CA+A 1 D C B + A (D B + D C + D + C B + B + C + 1) DCB+A

EQUIVALENCIA DE CIRCUITOS

11

10/02/2012

OR EXCLUSIVO IMPLEMENTADO CON NAND

OR EXCLUSIVO CON SOLO CUATRO NAND

12

10/02/2012

MODIFICACIONES PARA IMPLEMENTAR CON NAND

CON COMPUERTAS A-O-N

MODIFICACIN F=AB+AB

CON 5 COMPUERTAS NANDS

F = (A B + A B) F = (A B) . (A B) F = (A B + 0) . (A B + 0) F = (A B + B B) . (A B + A A)

Involucin DeMorgan Identidad Complemento Distributiva DeMorgan

CON 4 COMPUERTAS NANDS

F = ((A + B) . B) . ((A + B) . A) F = ((A B) . B) . ((A B) . A)

OR EXCLUSIVO IMPLEMENTADO CON NOR

13

10/02/2012

MODIFICACIONES PARA IMPLEMENTAR CON NOR

MODIFICACIN F=AB+AB F = (A + B) . ( A + B) F = ((A + B) . A) + ((A + B) . B)
CON COMPUERTAS A-O-N

Dualidad Distributiva Distributiva Complemento Dualidad Involucin DeMorgan

F=AA+AB+AB+BB F=AB+AB F = (A + B) . (A + B)

CON 5 COMPUERTAS NORS

F = (A + B) . ( A + B) F = (A + B) + ( A + B)

UNIVERSALIDAD DE LAS COMPUERTAS NAND y NOR Igual que las compuertas A-O-N: constituyen un conjunto completo. La compuerta NAND por si sola, tambin es un conjunto completo; es decir, utilizando exclusivamente compuertas NAND se puede implementar cualquier circuito lgico. Lo mismo sucede con la compuerta NOR

14

10/02/2012

SIMPLIFICAR E IMPLEMENTAR CON A-O-N Y CON NAND

SIMPLIFICACIN F = ABCD + ABCD + ABCD + ABCD + ABCD + ABCD F = ACD + ACD + BCD + ABC F = AD + BCD + ABC F = AD + BCD + ABC F = AD . BCD . ABC
CON COMPUERTAS NAND CON COMPUERTAS A-O-N

CIRCUITO CON A-O-N y NAND

15

10/02/2012

SIMPLIFICAR E IMPLEMENTAR CON A-O-N Y CON NOR

SIMPLIFICACIN F = (X+Y+Z) (X+Y+Z) (X+Y+Z) (X+Y+Z) (X+Y+Z) F = (Y+Z) (X+Z) (X+Y) (X+Y+Z) F = (Y+Z) (X+Z) (X+Y) (X+Y+Z) F = (Y+Z) + (X+Z) + (X+Y) + (X+Y+Z)
CON COMPUERTAS A-O-N

CON COMPUERTAS NOR

CIRCUITO CON A-O-N y NOR

16