Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra de Boole
Algebra de Boole
RESUMEN
El
RESUMEN
En
RESUMEN
Las
COMPUERTAS LOGICAS
Definimos
COMPUERTAS LOGICAS
AND
TABLA DE VERDAD
X Y XY
X
X.Y
Y
0 0
0 1
1 0
1 1
COMPUERTAS LOGICAS
OR
TABLA DE VERDAD
X
X + Y
Y
X Y X+Y
0 0
0 1
1 0
1 1
COMPUERTAS LOGICAS
INVERSOR
X'
TABLA DE VERDAD
X
COMPUERTAS LOGICAS
SEPARADOR (BUFFER)
X
TABLA DE VERDAD
X
COMPUERTAS LOGICAS
NAND
TABLA DE VERDAD
X
(X Y)'
Y
X Y (XY)
0
COMPUERTAS LOGICAS
NOR
TABLA DE VERDAD
X Y (X+Y)
X
(X+Y)'
Y
COMPUERTAS LOGICAS
OR EXCLUSIVA (XOR)
TABLA DE VERDAD
X Y XOR
XOR = XY = X Y + X Y
XOR
COMPUERTAS LOGICAS
NOR EXCLUSIVA (XNOR)
TABLA DE VERDAD
X
XNOR
Y
XNOR = XY = X Y + X Y
X Y XNOR
0
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
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.
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
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
0
1
0
1
1
1
1
0
ENTRADAS
IGUALES
A'
A B
B
Consideremos la compuerta OR = X + Y
Si
OR usando NAND
A
A + B
B
A'
A+B
A.B
B
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
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