ALGEBRA DE BOOLE

Ing. Julio Gonzalez Prado

RESUMEN

El algebra fue sistematizada por el matemtico Ingles George Boole (Lincoln, Inglaterra, 1815- Country Cork, Irlanda, 1864) permitiendo aplicar las definiciones de la lgica a esquemas matemticos.

Ing. Julio Gonzalez Prado

RESUMEN

En el curso se restringir la aplicacin al Algebra Booleana Binaria (es decir aquella en la cual las variables tienen solo dos valores posibles: Verdadero/Falso, On/Off, Cero/Uno).

Ing. Julio Gonzalez Prado

RESUMEN

Las aplicaciones de los diferentes Postulados y Teoremas de Algebra de Boole en las funciones nos permiten al igual que en el algebra tradicional realizar una simplificacin de estas funciones por el denominado Mtodo Algebraico.

Ing. Julio Gonzalez Prado

TEOREMAS Y POSTULADOS DEL ALGEBRA DE BOOLE

1).- X + 0 = X Identidad X.1=X 2).- X + X = 1 Complemento X . X = 0 3).- X + X = X Idempotencia X.X=X 4).- X + 1 = 1 Elemento Nulo X . 0 = 0 5).- (X) = X Involucin 6).- X + Y = Y + X Conmutatividad X.Y=Y.X
Ing. Julio Gonzalez Prado

TEOREMAS Y POSTULADOS DEL ALGEBRA DE BOOLE

7).- X + (Y + Z) = (X + Y) + Z Asociatividad X (Y . Z) = (X .Y) Z 8).- X ( Y + Z ) = XY + XZ Distributividad X + YZ = (X +Y)(X+Z) 9).- (X+Y)=X.Y De Morgan (XY)=X+Y 10).- X + XY = X Cobertura X(X+Y) = X

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS

Definimos COMPUERTAS LOGICAS como la implementacin circuital (en forma de Circuito Integrado) de los principales operadores lgicos.

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS AND

TABLA DE VERDAD
X Y XY 0 0 0 1 1 0 0 0 0

1 1

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS OR

TABLA DE VERDAD X Y X+Y 0 0 0 1 1 0 1 1 0 1 1 1

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS INVERSOR

TABLA DE VERDAD

X
0 1

X
1 0

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS SEPARADOR (BUFFER)

TABLA DE VERDAD
X 0 1 X 0 1

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS NAND

TABLA DE VERDAD
X Y (XY) 0 0 1 1 0 1 0 1 1 1 1 0

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS NOR

TABLA DE VERDAD X Y (X+Y)
0 0 0 1 1 0

1 0
1 1

0
0

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS OR EXCLUSIVA (XOR)

TABLA DE VERDAD X Y XOR 0 0 0 1 XOR = XY = X Y + X Y 1 0 0 1 1

1 1

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS NOR EXCLUSIVA (XNOR)

TABLA DE VERDAD

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

1 0
1 1

0
1

Ing. Julio Gonzalez Prado

FUNCION BOOLEANA
Una FUNCION BOOLEANA es una expresin formada por variables binarias, los operadores binarios OR, AND, el operador unitario NOT y el signo igual. Para un valor dado de las variables, la funcin puede ser 0 o 1 EJEMPLOS: F1(a,b,c) = ab + c F2(a,b,c) = ab c + a c + ab c F3(a,b,c) = ab + a c

Ing. Julio Gonzalez Prado

TABLA DE VERDAD
Es otra forma de representar una funcin booleana. En la tabla de verdad se representan todos los valores que toma la funcin para las diferentes combinaciones de valores de las variables de entrada.

Ing. Julio Gonzalez Prado

Tabla de Verdad para F1(a,b,c) = ab + c

abc 000 001 010 011 100 101 110 111 F1 0 1 1 1 0 1 0 1
Ing. Julio Gonzalez Prado

Tabla de Verdad de F2(a,b,c) = abc + ac + abc

abc 000 001 010 011 100 101 110 111 a b c 0 0 0 1 0 0 0 0 a c 0 0 0 0 1 0 1 0 a b c 0 0 1 0 0 0 0 0 F2 0 0 1 1 1 0 1 0

Ing. Julio Gonzalez Prado

Tabla de Verdad de F3(a,b,c) = ab + ac

abc 000 001 010 011 100 101 110 111 F3 0 0 1 1 1 0 1 0
Ing. Julio Gonzalez Prado

IMPLEMENTACION CON NAND Y NOR

Las compuertas NAND y NOR se denominan tambin COMPUERTAS UNIVERSALES porque con ellas se puede implementar cualquiera de las otras compuertas bsicas (AND, OR, INVERSOR) y por lo tanto podemos implementar funciones usando solo estas compuertas.

Ing. Julio Gonzalez Prado

IMPLEMENTACION CON NAND

Consideremos la tabla de verdad de una compuerta NAND: X Y XY

0 0 1 1 0 1 0 1 1 1 1 0 ENTRADAS

IGUALES

Ing. Julio Gonzalez Prado

IMPLEMENTACION CON NAND

Si consideramos esas dos condiciones (en las cuales las entradas son iguales) vemos que la tabla de verdad se reduce a la tabla de un INVERSOR. X X 0 1 1 0
Ing. Julio Gonzalez Prado

INVERSOR CON NAND

Ing. Julio Gonzalez Prado

COMPUERTA AND

De igual manera podemos implementar la compuerta AND considerndola como una compuerta NAND NEGADA: (X Y) = X Y

Ing. Julio Gonzalez Prado

AND usando NAND

Ing. Julio Gonzalez Prado

COMPUERTA OR

Consideremos la compuerta OR = X + Y

Si negamos dos veces la funcin, esta no varia, pero nos permite modificar la forma de la funcin para implementarla solo con compuertas NAND: X+Y =X Y

Ing. Julio Gonzalez Prado

OR usando NAND

Ing. Julio Gonzalez Prado

IMPLEMENTACION CON NOR

Usando razonamientos similares se puede realizar la implementacin de las compuertas NOT (inversor), AND y OR usando solo la compuerta NOR.

Ing. Julio Gonzalez Prado

IMPLEMENTACION CON NOR

Ing. Julio Gonzalez Prado

EXPANSION A ENTRADAS MULTIPLES

Una compuerta puede expandirse a mltiples entradas si la operacin binaria que representa es conmutativa y asociativa. Las compuertas AND y OR cumplen con estos requisitos: X+Y=Y+X Conmutativa (X + Y) + Z = X + (Y + Z) Asociativa
Ing. Julio Gonzalez Prado

Las compuertas NAND y NOR son conmutativas pero no asociativas:

Ejemplo: [(X + Y) + Z] = [(X + Y)].Z = (X + Y)Z= = X Z + Y Z [X +(Y + Z)] = X[(Y + Z)] = X(Y+Z) = = XY + XZ

Ing. Julio Gonzalez Prado