lgebra de Boole
El lgebra de Boole utiliza variables que tienen
solo dos valores posibles, esto lo sintetiz Shannon
usando ideas que inicialmente las expres el
matemtico ingls: George Boole1. A diferencia de
las variables del lgebra comn [que pueden tomar
un nmero infinito de valores en un rango
determinado], una variable booleana, por ejemplo A,
puede tomar solamente 2 valores, que generalmente
se los relaciona con VERDADERO y FALSO . Sin embargo,
se les puede asignar otros valores, tal como:
caliente/fro, macho/hembra, alto/bajo, etc. Para
representar los 2 posibles valores de las variable
booleanas se utilizan los smbolos 0 y 1. Generalmente
A = 1 significa que A es VERDADERO en un sentido
booleano, mientras que A = 0 indica que A es FALSO .
Entonces una variable booleana puede estar relacionada
a algn tem de informacin, por ejemplo, A = 1,
significa que un interruptor asociado con A est
abierto y A = 0 significa que el mismo interruptor
est cerrado. Otra variable, B, puede relacionarse
a la temperatura de una habitacin, siendo VERDADERA
cuando la temperatura exceda los 21C y FALSA en otro
caso o viceversa.
1.- George Boole, matemtico ingls del siglo XIX, invent el lgebra
binaria o lgica que lleva su nombre: lgebra booleana.
Can
- 58 -
Por
ejemplo, se pueden usar 4-variables booleanas para
representar un nmero binario de 4-dgitos. Cada
variable puede estar relacionada a uno de los coeficientes del nmero binario, indicando que el coeficiente tiene un valor de 1 cuando la variable es VERDA DERA y un valor 0 cuando es FALSA [o el inverso de
esto]. De esta manera las 16 posibles combinaciones
pueden estar relacionadas a las cantidades 0-1510,
que puede tomar el nmero binario. Conociendo los
valores VERDADERO /FALSO de cada una de las variables,
posibilitar el clculo de la cantidad que ella
representa. Para trabajar con variables booleanas,
se utilizan operadores similares a los del lgebra
comn. A estos operadores booleanos comnmente se
los conoce como conectivos lgicos.
Premisa
Conectivo
Can
CA P TU LO 1 - LG E B R A D E B O O LE
Variable
Booleana
- 59 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 60 -
posiciones: A y B.
A = Somos estudiantes de la EPN
B = Asistimos a la clase de Sistemas Digitales
Con la ayuda de la siguiente tabla, se puede
determinar cuando la proposicin Y es verdadera o
falsa.
0L
1L
FA L S O
V ER D A D E R O
FA L S O
FA L S O
FA L S O
B A JO
A LTO
FA L S O
V ER D A D E R O
FA L S O
A B IER TO
CER R A D O
V ER D A D E R O
FA L S O
FA L S O
A R R IB A
ABAJO
V ER D A D E R O
V ER D A D E R O
V ER D A D E R O
APAGADO
EN CEN D ID O
FRO
CA LIENTE
N O CH E
D A
D ESCO N ECTA D O
CO N ECTA D O
S IN V O LTA J E
C O N V O LTA J E
N EG A TIVO
P O SITIVO
NO
SI
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 61 -
CA P TU LO 1 - LG E B R A D E B O O LE
VERDADERA
1.5
a)
b)
0L
0L
0L
0L
1L
0L
1L
0L
0L
1L
1L
1L
FIG U R A
FIG UR A
- 62 -
1 .6
a)
b)
c)
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 63 -
VERDADERAS
la proposicin Y es VERDADERA o
divide en dos subproposiciones:
CA P TU LO 1 - LG E B R A D E B O O LE
FA L S O
FA L S O
FA L S O
FA L S O
V ER D A D E R O
V ER D A D E R O
V ER D A D E R O
FA L S O
V ER D A D E R O
V ER D A D E R O
V ER D A D E R O
V ER D A D E R O
- 64 -
0L
0L
0L
0L
1L
1L
1L
0L
1L
1L
1L
1L
TA B LA D E V ER D A D D E L C O N E C TIV O O R P A R A 2 -E N TR A D A S .
Can
FIG U R A 1 .7
a)
b)
c)
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 65 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 66 -
OL
1L
1L
OL
TA B LA D E VER D A D D EL O P ER A D O R N O T
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 67 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 68 -
0L
0L
1L
0L
1L
1L
1L
0L
1L
1L
1L
0L
FIG UR A
a)
1.10
b)
CO M P UERTA N O T TTL [TO TEM -P O LE]
FIG U R A
FIG U R A
1.1 1
a)
b)
c)
Can
A .1 2
a)
b)
c)
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 69 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 70 -
FIG UR A
a)
1.1 3
b)
c)
4 -CO M P U ER TA N A N D D E 2-EN TR A D A S SA LID A CO LECTO R
A B IERTO
Compuerta
NOR
[ Conectivo NOR] .-
Se obtiene
conectando una compuerta NOT a la salida de una
compuerta OR, como se indica en la fig. 1.14 a);
las figs. 1.14 b) y c) muestran los smbolos lgicos
de la compuerta NOR, la fig. 1.14 d) corresponde al
smbolo IEEE.
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 71 -
Pole.
CA P TU LO 1 - LG E B R A D E B O O LE
FIG U R A
1.1 6
a)
b)
c)
Can
- 72 -
1 .1 7
a)
OL
OL
OL
OL
1L
1L
1L
OL
1L
1L
1L
OL
b)
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 73 -
SM B O LO -1
SM B O LO -2
TA B LA D E
[TR A D ICIO N A L]
[IEEE - A N SI]
VER D A D
AND
CA P TU LO 1 - LG E B R A D E B O O LE
- 74 -
7 4 08
0R
7 4 32
NOT
7 4 04
NAND
7 4 00
NOR
7 4 02
P R O D U C TO L G IC O
S U M A L G IC A
XO R
7 4 86
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 75 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 76 -
b ) IN T ER C A M B IA N D O LO S ELE M E N TO S 0 Y 1 D E LA S E X P R E SIO N E S .
c) LA FO R M A D E LA S VA RIA B LES [SI LA S H UB IER A ] N O C A M B IA .
a.a= a
. 1 = 0
+ 0 = 1
a + a = a
Idempotencia [Tautologa]
Complementos
. 1 = a
+ 0 = a
a . 1 = a
a + 0 = a
Identidades
a . 0 = 0
a + 1 = 1
Elementos nulos
Involucin
variables,
estas
Leyes Fundamentales
es el dual de la funcin
Ley CONMUTATIVA
Ley ASOCIATIVA
Ley DISTRIBUTIVA
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 77 -
Teoremas
CA P TU LO 1 - LG E B R A D E B O O LE
- 78 -
Teorema de CONSENSO
Teorema de COMBINACIN
Teorema de REDUNDANCIA
Teorema de DeMORGAN
Demostracin Tabular
Y
X + Y
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 79 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 80 -
FIG URA
1.19
C I R C U I T O
SIM P LIFICA D O
FIG U R A
1 .1 8
SIM P LIFICA D O
CIR CU ITO
NO
IDENTIDAD
COMPLEMENTOS
DISTRIBUTIVA
IDEMPOTENCIA
DISTRIBUTIVA
COMPLEMENTOS
IDENTIDAD
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 81 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 82 -
FIG U RA
1.2 0
La funcin simplificada es
FIG URA
1.21
SIM P LIFICA D O
Demostrar que
CIRCUITO
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
FIG U R A
- 83 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 84 -
1 .2 2
FIG U R A
salida
del
circuito
de
la
fig.
1.23
es
FIG U R A
1 .2 4
[Involucin]
[DeMorgan]
Carlos Novillo Montero
La
1 .2 3
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 85 -
[Involucin]
[DeMorgan]
En la
NOR que
XOR, es
A-O-N o
CA P TU LO 1 - LG E B R A D E B O O LE
- 86 -
FIG U R A
1 .2 5
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 87 -
FIG U R A
CA P TU LO 1 - LG E B R A D E B O O LE
- 88 -
que queda es
, puede observarse que el trmino
2 no puede agruparse con ninguno y por tanto no se
puede simplificar. La funcin simplificada quedara
como
1 .2 6
FIG U R A
1 .2 7
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 89 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 90 -
FIG U R A
FIG U R A
1 .2 9
1 .2 8
Can
FIG U R A
1 .3 0
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 91 -
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 92 -
Y4
Y3
Y2
Y1
m interm s
CBA = m 7
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 93 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 94 -
complemento].
En la mayora de ocasiones se puede simplificar
una funcin cannica booleana. En el ejemplo
propuesto, es posible hacer esto, en cuyo caso la
ecuacin simplificada es la que se indica a
continuacin.
Y = ArBrC
SU M A EX P A N D ID A D E P R O D U CTO S
D E SC O M P O S IC I N E N M IN T ER M S
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 95 -
fig. 1.32.
FIG U R A
1 .3 2
CA P TU LO 1 - LG E B R A D E B O O LE
1
- 96 -
P RO D U CTO EX P A N D ID O D E SU M A S
M a xterm s
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 97 -
- 98 -
Y<C,B,A> = MO.M3.M5.M6
CA P TU LO 1 - LG E B R A D E B O O LE
o tambin
GRAY
B2
B1
B0
G2
G1
G0
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 99 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 00 -
o tambin
o, lo que es lo mismo
FIG U R A
1.3 3
CO D IFICA D O R D E
B IN A R IO N A TU R A L A C D IG O D E
G RA Y D E 3-B ITS
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 01 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 02 -
y
Cuando se elabora el mapa-K, debe tenerse en cuenta
Carlos Novillo Montero
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 03 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 04 -
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 05 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 06 -
algunas
Can
Otros ejemplos
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 07 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 08 -
FIG U R A 1 .3 5 C IR C U ITO L G IC O
CO M B IN A CIO N A L
FIG U R A
1.3 6
CO N VER TID O R D E
B CD -A -EXCESO D E 3
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 09 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 10 -
NO
E X IS -
EX C-3
TEN
EN
BCD
Can
Can
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 11 -
CA P TU LO 1 - LG E B R A D E B O O LE
- 1 12 -
FIG U R A
1.3 7
Sep tiem b re - 2 00 8
Can
Can