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 1

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS
OR

TABLA DE VERDAD
X Y X+Y
0 0

0 1

1 1

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS
INVERSOR
TABLA DE VERDAD
X

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS
SEPARADOR (BUFFER)
TABLA DE VERDAD
X

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS
NAND
TABLA DE VERDAD
X Y (XY)
0

0
Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS
NOR
TABLA DE VERDAD
X Y (X+Y)
0

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS
OR EXCLUSIVA (XOR)
TABLA DE VERDAD
X Y XOR

XOR = XY = X Y + X Y

Ing. Julio Gonzalez Prado

COMPUERTAS LOGICAS
NOR EXCLUSIVA (XNOR)
TABLA DE VERDAD
X Y XNOR

XNOR = XY = X Y + X Y

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