Está en la página 1de 20

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
X.Y Y

0 0 0 1 1 0

0 0 0

1 1

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS OR

X X + Y Y

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

X'

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

X (X Y)' Y

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 (X+Y)' Y

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 XOR Y

X Y XOR 0 0 0 1 0 1 1

XOR = XY = X Y + X Y

1 0

1 1

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS NOR EXCLUSIVA (XNOR)


X XNOR Y

TABLA DE VERDAD

X Y XNOR
0 0 0 1 1 0

1 0 XNOR = XY = X Y + X Y
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

También podría gustarte