Actualizado por Ing.

Jaime Velarde Agosto 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
GEORGE BOOLE (1815-1864)

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

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

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)

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

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 Cualquier funcin booleana se divide en dos sub-funciones (cofactores) mediante la incorporacin de una variable
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 DEL TEOREMA DE EXPANSIN

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

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

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

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

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

10

FUNCIN Y CIRCUITO SIMPLIFICADOS

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

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

11

EQUIVALENCIA DE CIRCUITOS

OR EXCLUSIVO IMPLEMENTADO CON NAND

12

OR EXCLUSIVO CON SOLO CUATRO NAND

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)

13

OR EXCLUSIVO IMPLEMENTADO CON NOR

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)

14

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

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

15

CIRCUITO CON A-O-N y NAND

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

16

CIRCUITO CON A-O-N y NOR

REPRESENTACIN DE LAS VARIABLES BOOLEANAS En laboratorio: para implementar las funciones booleanas se realiza mediante circuitos integrados de tecnologa TTL; por lo que, para representar las variables de entrada se utilizan interruptores y para las de salida se utilizan LEDs

17

SWITCH COMO ENTRADA LED COMO SALIDA

ENTRADAS Y SALIDAS MULTIPLES

18

LABORATORIOS LGICOS
Estos equipos estn provistos de lo necesario para la comprobacin de los circuitos implementados

PUNTA DE PRUEBA LGICA

Este instrumento sustituye al voltmetro para medir los niveles lgicos en un circuito

19

ANALIZADOR LGICO
Cuando el nmero de entradas y salidas en un circuito son numerosas; adems, los cambios de estado son a muy alta velocidad, se recurre al analizador lgico

SIMULACIN CON PROTEUS

En el Mdulo de Simulacin Virtual del PROTEUS tambin se disponen estas herramientas de comprobacin y otras ms, como la obtencin de grficos de la simulacin

20