CAPTULO

V
C D A B C D AC AC D BC AC D + BC A+C B+
0 0 1 1 1 1 0 0 0 0 0 1
0 1 1 1 1 0 0 0 0 0 0 1
1 0 1 1 0 1 0 0 0 0 1 0
1 1 1 1 0 0 0 0 0 0 1 0
0 0 1 0 1 1 0 0 0 0 0 1
0 1 1 0 1 0 0 0 0 0 0 1
1 0 1 0 0 1 0 0 1 1 1 1
1 1 1 0 0 0 0 0 1 1 1 1

lgebra
0 0 0 1 1 1 1 1 0 1 1 1
0 1 0 1 1 0 1 0 0 0 1 1

booleana
1 0 0 1 0 1 0 0 0 0 1 0
1 1 0 1 0 0 0 0 0 0 1 0
0 0 0 0 1 1 1 1 0 1 1 1
0 1 0 0 1 0 1 0 0 0 1 1
1 0 0 0 0 1 0 0 1 1 1 1
1 1 0 0 0 0 0 0 1 1 1 1

5.1 Introduccin
lgebra de Boole es un captulo de Matemticas 5.2 Expresiones booleanas
para la Computacin de Jos Jimnez Murillo,
quien amablemente nos autoriz a incluirlo 5.3 Propiedades de las expresiones booleanas
como lectura complementaria de Arquitectura de 5.4 Optimizacin de expresiones booleanas
Computadoras de Patricia Quiroga. 5.5 Compuertas lgicas
5.6 Aplicaciones del lgebra booleana
5.7 Resumen
5.8 Problemas

capitulo 5.indd 176 11/25/08 11:04:20 AM

+C C+D F A B C D A B C D AC AC D BC A
Boole interpret su sistema a la manera
1 1 0 0 0 0 0 1 1 1 1 0 0 0 aristotlica, como un lgebra de clases y
1 0 0 0 0 0 1 1 1 1 0 0 0 0 de sus propiedades, y al hacerlo ampli
la antigua lgica de clases y la liber de
0 1 0 0 0 1 0 1 1 0 1 0 0 0
los lmites del silogismo.
0 1 0 0 0 1 1 1 1 0 0 0 0 0
1 1 0 0 1 0 0 1 0 1 1 0 0 0 Martin Gardner
1 0 0 0 1 0 1 1 0 1 0 0 0 0
1 1 1 0 1 1 0 1 0 0 1 0 0 1
1 1 1 0 1 1 1 1 0 0 0 0 0 1
1 1 1 1 0 0 0 0 1 1 1 1 1 0
1 0 0 1 0 0 1 0 1 1 0 1 0 0
0 1 0 1 0 1 0 0 1 0 1 0 0 0
0 1 0 1 0 1 1 0 1 0 0 0 0 0
1 1 1 1 1 0 0 0 0 1 1 1 1 0
1 0 0 1 1 0 1 0 0 1 0 1 0 0
1 1 1 1 1 1 0 0 0 0 1 0 0 1
1 1 1 1 1 1 1 0 0 0 0 0 0 1

Objetivos
Aprender a simplificar expresiones booleanas usando teoremas del lgebra booleana.
Aprender a simplificar expresiones booleanas por medio de mapas de Karnaugh.
Representar expresiones booleanas por medio de bloques lgicos.

177

capitulo 5.indd 177 12/1/08 1:26:05 PM

 178 V. LGEBRA BOOLEANA

5.1 Introduccin

El lgebra booleana fue desarrollada por George Boole y en su libro An

George Boole Investigation of the Laws of Thought, publicado en 1854, muestra las he-
(1815-1864) rramientas para que las proposiciones lgicas sean manipuladas en forma
F ue un matemtico britnico que es
considerado como uno de los fundado-
algebraica. Debido al carcter abstracto de sus principios no tuvo una apli-
res de las ciencias de la computacin debi-
cacin directa sino hasta 1938 en que la compaa de telfonos Bell de Es-
do a su creacin del lgebra booleana, la tados Unidos la utiliz para realizar un anlisis de los circuitos de su red
cual es la base de la aritmtica computa-
cional moderna.
telefnica. En ese mismo ao Claude E. Shannon, entonces estudiante de
Con una formacin autodidacta, Boole postgrado del Instituto Tecnolgico de Massachussets, a partir del lgebra
fue profesor a la edad de 16 aos y a par-
tir de 1835 comenz a aprender matem-
de Boole cre la llamada lgebra de conmutacin para representar las pro-
ticas por s mismo. En este periodo piedades de conmutacin elctrica biestables, demostrando con esto que el
estudi los trabajos de Laplace y Lagran-
ge, comenz a estudiar lgebra y en el
lgebra booleana se adapta perfectamente al diseo y representacin de
Transaction of the Royal Society public circuitos lgicos de control basados en rels e interruptores.
Aplicacin de mtodos algebraicos para
la solucin de ecuaciones diferenciales,
trabajo por el cual recibi la medalla de la Los circuitos lgicos de control tienen una gran importancia ya que las
Real Sociedad.
En 1849 Boole ocup una ctedra de
computadoras, los sistemas telefnicos, los robots y cualquier operacin
matemticas en el Queens College, y per- automatizada en una empresa, son algunos de los ejemplos de la aplicacin
maneci en este puesto por el resto de su
vida. En 1854 public Las leyes del pen-
de stos y del lgebra booleana.
samiento, obra en la que plantea la lgica
en trminos de un lgebra simple que se
conoce como lgebra booleana y que
Una seal es la representacin de informacin, y puede aparecer en forma
se aplica en la ciencia de la computacin de valor o de una cadena de valores de una magnitud fsica. Existen prin-
y en el anlisis de circuitos.
Otras reas de inters de Boole fueron
cipalmente dos clases de seales: analgicas y digitales.
las ecuaciones diferenciales en relacin
con las cuales escribi Tratado en ecua-
ciones diferenciales
La seal analgica tiene como caracterstica principal el continuo cambio
que public en 1859, de magnitud, de la misma manera que una corriente elctrica y una presin
el clculo de las di-
ferencias finitas que
de gas.
expuso en Tratado
sobre el clculo de
las diferencias fini-
En la seal digital los posibles valores de tensin estn divididos en un n-
tas publicado en mero infinito de intervalos, a cada uno de los cuales est asignado un valor
1860, y los mtodos
generales en proba-
o una cadena de valores como informacin. Una seal digital puede obtener-
bilidad. se de una manera analgica asignando ciertos umbrales de sensibilidad.

La seal binaria es una seal digital con slo dos valores posibles: conec-
tado-desconectado, verdadero-falso, 1-0.

5.2 Expresiones booleanas

El lgebra booleana trabaja con seales binarias. Al mismo tiempo una

gran cantidad de sistemas de control, tambin conocidos como digitales,
usan seales binarias y stas son un falso o un verdadero que proviene de
sensores que mandan la informacin al circuito de control, mismo que
lleva a cabo la evaluacin para obtener un valor que indicar si se lleva a
cabo o no una determinada actividad, como encender un foco, arrancar un
equipo de ventilacin en un cine o ejecutar una operacin matemtica en
una computadora.
ALFAOMEGA

capitulo 5.indd 178 11/25/08 11:04:22 AM

 5.2 EXPRESIONES BOOLEANAS 179

Los sensores pueden ser pticos, como los que se usan en tiendas de-
partamentales (de proximidad); magnticos, como los que permiten
detectar armas en aeropuertos; de temperatura, como los que utiliza un Claude Elwood Shannon
sistema de calefaccin, los refrigeradores o bien el mismo termostato que (1916-2001)
controla el sistema de enfriamiento del motor de un vehculo; de nivel, I ngeniero elctrico y matemtico esta-
ya que un flotador como el que tiene un tinaco o una cisterna para contro- dounidense, es considerado como el fun-
dador de la teora de la informacin.
lar la cantidad de agua, es un sensor que puede mandar informacin a un En 1936 obtuvo los ttulos de ingenie-
circuito de control. ro electricista y matemtico, y ese mismo
ao comenz a desempearse como asis-
tente de investigacin en el departamen-
En cada uno de estos grupos de sensores existen tipos, tamaos y mode- to de ingeniera elctrica en el Instituto
de Tecnologa de Massachusetts (MIT),
los, de acuerdo con el uso y funcionamiento, de forma que existen infra- en donde trabaj en el computador anal-
rrojos, lser, fotoelctricos y de ultrasonido, entre otros. gico ms avanzado de ese tiempo (Van-
nevar Bushs Differential Analyzer).
En esta poca surgi su inters por
Para resolver un problema prctico en el cual se desea automatizar un los circuitos de relevadores complejos e
intentando simplificar sistemas telefni-
proceso, es necesario realizar un anlisis detallado de lo que se quiere cos de rels se dio cuenta de que stos
lograr as como de los tipos de sensores necesarios para obtener las sea- podan usarse para hacer clculos. Com-
binando esto con su gusto por la lgica y
les. Una vez que se conoce esto se plantea el funcionamiento del circuito el lgebra booleana pudo desarrollar esta
lgico en una expresin matemtica, la cual recibe el nombre de funcin idea durante el verano de 1937, que pas
en los laboratorios Bell en la ciudad de
booleana, y cada una de las variables de que est integrada esta fun- Nueva York.
cin representa un sensor que provee al circuito de una seal de entrada. En su tesis de maestra demostr que
el lgebra booleana se poda utilizar en el
anlisis y la sntesis de la conmutacin de
los circuitos digitales. La tesis despert
mucho inters cuando apareci en 1938
en las publicaciones especializadas, y un
Ejemplo 5.1. Supngase que en una industria refresquera se cuarto de siglo ms tarde H. H. Goldstine
la cit en su libro Las computadoras
desea que un sistema automtico saque de la banda de transpor- desde Pascal hasta Von Neumann y la
tacin un refresco que no cumple con los requisitos mnimos de calific como una de las aportaciones te-
ricas fundamentales que ayud a cambiar
calidad, y que para esto se cuenta con cuatro sensores en dife- el diseo de los circuitos digitales.
rentes puntos del sistema de transportacin para revisar aspectos Shannon pas quince aos en los labo-
ratorios Bell y durante este perodo traba-
importantes de calidad. Supngase adems que los sensores son j en muchas reas, siendo lo ms notable
A, B, C y D y que el sistema F sacar al refresco si los sensores todo lo referente a la teora de la informa-
cin, un desarrollo que fue publicado en
emiten el siguiente grupo de seales: 1948 bajo el nombre de Una Teora
Matemtica de la Comunicacin. En
este trabajo demostr que todas las fuen-
tes de informacin (telgrafo elctrico,
A B C D F telfono, radio, la gente que habla, las
0 0 0 0 0 cmaras de televisin, etc.) se pueden
medir y que los canales de comunicacin
0 0 0 1 1 tienen una unidad de medida similar.
Mostr tambin que la informacin se
0 0 1 0 0 puede transmitir sobre un canal si, y sola-
mente si, la magnitud de la fuente no
0 0 1 1 1 excede la capacidad de transmisin del
canal que la conduce, y sent las bases
0 1 0 0 0 para la correccin de errores, supresin
de ruidos y redundancia.
0 1 0 1 0 En el rea de las computadoras y de la
inteligencia artificial, en 1950 public un
0 1 1 0 0 trabajo que describa la programacin de
una computadora para jugar al ajedrez,
0 1 1 1 0 convirtindose en la base de posteriores
1 0 0 0 0 desarrollos.
Claude Elwood Shannon falleci el 24
1 0 0 1 1 de febrero del ao 2001, a la edad de 84
aos, despus de una larga lucha en con-
tra de la enfermedad de Alzheimer.

ALFAOMEGA

capitulo 5.indd 179 11/25/08 11:04:27 AM

 180 V. LGEBRA BOOLEANA

lgebra
booleana 1 0 1 0 1
El lgebra booleana es un sistema al-
1 0 1 1 1
gebraico que consiste en un conjunto 1 1 0 0 0
B que contiene dos o ms elementos
y en el que estn definidas dos opera- 1 1 0 1 0
ciones, denominadas respectivamen- 1 1 1 0 0
te suma u operacin OR (+) y
producto u operacin AND (), las 1 1 1 1 0
cuales satisfacen las siguientes pro-
piedades:
La funcin booleana que equivale a la tabla de verdad anterior
1) Existencia de neutros. En B exis-
ten el elemento neutro de la suma es:
(0) y el elemento neutro del pro-
ducto (1), tales que para cualquier F = ABCD + ABCD + ABCD + ABCD + ABCD
elemento x de B:
x+0=x x1=x Esto implica que el refresco ser extrado de la banda de transpor-
2) Conmutatividad. Para cada x, y tacin en cualquiera de los siguientes casos, ya que para cualquie-
en B: ra de ellos se tiene que F = 1:
x+y=y+x xy=yx
A = 0, B = 0, C = 0, D = 1
3) Asociatividad. Para cada x, y, z
en B: A = 0, B = 0, C = 1, D = 1
x + (y + z) = (x + y) + z A = 1, B = 0, C = 0, D = 1
x (y z) = (x y)z A = 1, B = 0, C = 1, D = 1
4) Distributividad. Para cada x, y, z A = 1, B = 0, C = 1, D = 0
en B:
x + (y z) = (x + y) (x + z) La funcin booleana indica solamente los casos en donde el refres-
x (y + z) = (x y) + (x z)
co ser extrado, pero existen varios casos ms en donde se deja-
5) Existencia de complementos. r pasar porque cumple con los requisitos mnimos de calidad.
Para cada x en B existe un elemen-
to x, llamado complemento de x,
tal que:
x + x = 1 x x = 0
Se puede decir que en general una expresin booleana es un sistema de
smbolos que incluyen 0, 1, algunas variables y las operaciones lgicas.

5.3 Propiedades de las expresiones booleanas

Las expresiones booleanas poseen las siguientes propiedades:

a) Estn compuestas de literales (A, B, C, ...) y cada una de ellas

representa la seal de un sensor. Un ejemplo es F = ABD +
ABCD.
b) El valor de las seales o de la funcin slo puede ser 0 o 1, falso
o verdadero.
c) Adems de literales, en la expresin booleana se puede tener el
valor de 0 o 1. Por ejemplo: F = ABD1 + ABCD + 0.
ALFAOMEGA

capitulo 5.indd 180 11/25/08 11:04:28 AM

 5.3 PROPIEDADES DE LAS EXPRESIONES BOOLEANAS 181

d) Las literales de las expresiones booleanas pueden estar conec-

tadas por medio de los operadores lgicos And (), Or () y Not Teoremas del
lgebra booleana
(). El operador And es una multiplicacin lgica que se indica
por medio de un parntesis, un punto o simplemente poniendo A partir de las propiedades de las ope-
juntas las variables que se multiplican, por ejemplo el producto raciones del lgebra booleana se pue-
den demostrar los siguientes teoremas.
de A y B se expresa como (A)(B) = A B = AB; el Or es una suma
lgica que se indica con el signo +; y el operador Not es el com- 1) Teorema 1. Idempotencia.
plemento o negacin de una seal que se indica por un apostro- x+x=x xx=x
fo (). En la siguiente expresin se muestra la forma en que se 2) Teorema 2. Identidad de los ele-
representan los operadores: mentos 0 y 1.
x+1=1 x0=0
F = ABD1 + ABCD + 0
3) Teorema 3. Absorcin.
= A B D 1 A B C D 0
x + (x y) = x
x (x + y) = x
e) Es posible obtener el valor de una expresin booleana sustitu-
yendo en cada una de las literales el valor de 0 o 1, teniendo en 4) Teorema 4. Complemento de 0
y 1.
cuenta el comportamiento de los operadores lgicos. En las si-
guientes tablas se muestra la manera en la que se aplica esta 0 = 1 1 = 0
propiedad: 5) Teorema 5. Involucin.
(x) = x
And Or Not 6) Teorema 6. Leyes de Morgan.
(x + y) = x y (x y) = x + y
A B A B = AB A B (A B) = A + B A A
1 1 1 1 1 1 1 0
1 0 0 1 0 1 0 1
0 1 0 0 1 1
0 0 0 0 0 0

Hay que tener presente que en lgebra booleana:

1+1=1
1+1+1=1
0+1=1
0+0=0

ya que el valor mximo es 1.

f) Adems de las operaciones bsicas, tambin es posible aplicar

la ley de De Morgan de forma semejante a como se aplica en
teora de conjuntos. El siguiente ejemplo muestra la aplicacin
de esta propiedad:

(ABCD) = A + B + C + D
(A + B + C + D) = A B C D
ALFAOMEGA

capitulo 5.indd 181 11/25/08 11:04:29 AM

 182 V. LGEBRA BOOLEANA

5.4 Optimizacin de expresiones booleanas

Cuando se plantea un problema, en general la expresin booleana obteni-

da no necesariamente es la ptima, esto es, la ms fcil, clara y sencilla de
implementar utilizando compuertas lgicas. La expresin que resulta del
planteamiento del problema puede ser simplificada empleando para ello
teoremas y postulados del lgebra booleana o bien mapas de Karnaugh.

5.4.1 Simplificacin de expresiones booleanas mediante

teoremas del lgebra de Boole

Los teoremas que se van a utilizar se derivan de los postulados del lgebra
booleana, y permiten simplificar las expresiones lgicas o transformarlas
en otras que son equivalentes. Una expresin simplificada se puede imple-
mentar con menos equipo y su circuito es ms claro que el que correspon-
de a la expresin no simplificada.

A continuacin se presenta una lista de teoremas, cada uno con su

dual.

Tabla 5.1 Teoremas del lgebra de Boole

Nmero Teorema Dual

1a. 0A = 0 1+A=1
2a. 1A = A 0+A=A
3a. AA = A A+A=A
4a. AA = 0 A + A = 1
5a. AB = BA A+B=B+A
6a. ABC = A(BC) A + B + C = A + (B + C)
7a. (AB...Z) = A + B +...+ Z (A + B +...+ Z) = AB...Z
8a. AB + AC = A(B + C) (A + B)(A + C) = A + BC
9a. AB + AB = A (A + B)(A + B) = A
10a. A + AB = A A(A + B) = A
11a. A + AB = A + B A(A + B) = AB
12a. CA + CAB = CA + CB (C + A)(C + A + B) = (C + A)(C + B)
13a. AB + AC + BC = AB + AC (A + B)(A + C)(B + C) = (A + B)(A + C)

En esta tabla A representa no slo una variable, sino tambin un trmino

o factor, o bien una expresin.

Para obtener el dual de un teorema se convierte cada 0 (cero) en 1 (uno)

y cada 1 (uno) en 0 (cero), los signos ms (+) se convierten en parntesis,
ALFAOMEGA

capitulo 5.indd 182 11/25/08 11:04:29 AM

 5.4 OPTIMIZACIN DE EXPRESIONES BOOLEANAS 183

puntos o simplemente no se ponen, y los puntos en signos ms (+). Adems

de esto, las variables no se complementan ya que al hacerlo se obtendra
el complemento en lugar del dual.

Por otro lado, los teoremas 1 a 4 se aplican en cualquier caso y los teore-
mas 5 a 9 son propiedades que tiene el lgebra booleana, semejantes a
las reglas de conjuntos correspondientes a las propiedades conmutativa,
asociativa y de De Morgan. Por lo general los teoremas 11 a 13 se aplican
en combinacin, dependiendo de la expresin booleana.

La aplicacin de los teoremas es muy sencilla: simplemente se comparan

partes de la expresin con los teoremas que permitan hacer ms simple
la expresin, y esto se realiza hasta que ya no sea posible simplificar.

Ejemplo 5.2. Para simplificar la expresin booleana

F = AB + (ABC) + C(B + A)

los teoremas de la tabla 5.1 se aplican de la siguiente manera:

F = AB + (ABC) + C(B + A)
F = AB + A + B + C + C(B + A) Despus de aplicar 7a.
F = AB + A + B + C + CB + CA Por 8a a la inversa
F = AB + A + B + CB + C + CA Por 5a.
F = A(B + 1) + B(1 + C) + C + CA Por 8a.
F = A1 + B1 + C + CA Por 1b.
F = A + B + C + CA Por 2a.
F = A + B + C + A Por 11a.
F = (A + A) + B + C Por 5a.
F = (1 + B) + C Por 4b.
F = 1 + C Por 1b.
F=1 Por 1b.

La expresin booleana en su forma ms simple es F = 1, y este resultado

indica que si se sustituyen las diferentes combinaciones con los valores
binarios 0 o 1 de las variables A, B y C en la expresin inicial, entonces el
resultado ser siempre igual a 1 (lo que se conoce en lgica matemtica
como tautologa).

ALFAOMEGA

capitulo 5.indd 183 11/25/08 11:04:30 AM

 184 V. LGEBRA BOOLEANA

En general luego de un proceso de simplificacin el resultado no siempre

es 1, en cambio lo que se espera es obtener una expresin ms simple
conformada por menos variables.

Ejemplo 5.3. La simplificacin de la expresin booleana

F = ZX + XYZ + XZW

es la siguiente:

F = ZX + XYZ + XZW
F = Z(X + XW) + XYZ Por 8a
F = Z(X + W) + XYZ Por 11a
F = ZX + ZW + XYZ Por 8a, a la inversa
F = X(ZY + Z) + ZW Por 8a
F = X(Z + Y) + ZW Por 11a
F = XZ + XY + ZW Por 8a, a la inversa

En los ejemplos anteriores se utiliz un teorema a la vez, y esto se hizo

para que no haya confusin en la aplicacin de los mismos. Obviamente
que cuando ya se tiene suficiente prctica, se pueden aplicar varios teore-
mas a la vez. Tampoco es necesario indicar qu teorema se usa, sin em-
bargo aqu se hace para ilustrar la simplificacin.

Comprensiblemente las expresiones booleanas a simplificar son el resul-

tado del planteamiento de un problema que se busca resolver, tal y como
se ilustr al inicio del captulo con la funcin booleana

F = ABCD + ABCD + ABCD + ABCD + ABCD

Comnmente este tipo de expresiones booleanas son factibles de ser sim-

plificadas, como se muestra a continuacin:

F = ABCD + ABCD + ABCD + ABCD + ABCD

F = ABD(C + C) + ABD(C + C) + ABCD
F = ABD + ABD + ABCD
F = BD(A + A) + ABCD
F = BD + ABCD

ALFAOMEGA

capitulo 5.indd 184 11/25/08 11:04:31 AM

 5.4 OPTIMIZACIN DE EXPRESIONES BOOLEANAS 185

F = B(D + DAC)
F = B(D + AC)
F = BD + ABC

Es conveniente mencionar que con las funciones booleanas se pueden

elaborar circuitos equivalentes tanto con la funcin booleana simplificada
como con la que se obtuvo inicialmente, sin embargo el circuito lgico de
la funcin booleana sin simplificar ser ms grande, complejo y usar ms
equipo electrnico en su implementacin.

5.4.2 Simplificacin de expresiones booleanas usando mapas

de Karnaugh
Maurice Karnaugh
El mtodo del mapa de Karnaugh es un procedimiento simple y directo
para minimizar las expresiones booleanas, y fue propuesto por Edward W. F ue Ingeniero de telecomunicaciones
estadounidense graduado en la universi-
Veitch y modificado ligeramente por Maurice Karnaugh. dad de Yale en 1952 y director emrito
del ICCC (International Council for Com-
puter Communication). Trabaj como
El mapa representa un diagrama visual de todas las formas posibles en investigador en los Laboratorios Bell des-
de 1952 a 1966 y en el centro de investi-
que se puede plantear una expresin booleana en forma normalizada. Al gacin de IBM de 1966 a 1993, desde
reconocer varios patrones se pueden obtener expresiones algebraicas 1975 es miembro del IEEE (Institute of
Electrical and Electronics Engineers) por
alternas para la misma expresin, y de stas se puede escoger la ms sus aportaciones sobre la utilizacin de
simple, la cual en general es la que tiene el menor nmero de variables mtodos numricos en las telecomunica-
ciones y es el creador del mtodo tabular
adems de que esta expresin posiblemente no sea nica. o mapa de Karnaugh.
Un mapa de Karnaugh (tambin cono-
cido como tabla de Karnaugh o diagrama
Las tablas o mapas se dividen en cierto nmero de casillas, dependiendo de Veitch, abreviado como K-Mapa o KV-
de la cantidad de variables que intervengan en la expresin. El nme- Mapa) es un diagrama utilizado para la
minimizacin de funciones algebraicas
ro de casillas se puede calcular con la frmula booleanas y consiste en una serie de cua-
drados cada uno de los cuales representa
nmero de casillas = 2n una lnea de la tabla de verdad. Puesto
que la tabla de verdad de una funcin de
N variables posee 2N filas, el mapa K
correspondiente debe poseer tambin 2N
en donde n es el nmero de variables. As a una expresin de 2 variables cuadrados. Cada cuadrado contiene un 0
le corresponder un mapa de 4 casillas, a una de 3 variables un mapa de o un 1, dependiendo del valor que toma
la funcin en cada fila. Las tablas de Kar-
8 casillas y as sucesivamente. naugh se pueden utilizar para funciones
de hasta 6 variables.
Un minitrmino es aquel que forma parte de la expresin y que se puede
escribir de la manera ms simple formando lo que se conoce en lgebra
elemental como un monomio.

Por ejemplo, la expresin

F = XY + XY

consta de dos minitrminos, XY y XY, y como se muestra a continuacin

en las casillas respectivas de la tabla correspondiente se pone un 1 si el
minitrmino se encuentra en la expresin o un 0 si no est:

ALFAOMEGA

capitulo 5.indd 185 12/1/08 1:26:21 PM

 186 V. LGEBRA BOOLEANA

Y
X 0 1

0 0 1

1 0 1

Para simplificar la expresin, en la tabla se agrupan los 1 de casillas adya-

centes en bloques cuadrados o rectangulares de 2, 4, 8, 16,..., 2n y se des-
cartan las variables cuyo valor, 1 o 0, cambia de una casilla a otra. La regla
es agrupar la informacin con el menor nmero posible de bloques ya que
de cada uno de stos se obtiene cuando menos una literal, y los bloques
deben estar conformados por el mayor nmero de casillas porque entre
ms grande sea el nmero de casillas agrupadas por bloque, ms simple
ser la expresin booleana resultante.

En el mapa anterior la variable X no conserva su valor ya que en la prime-

ra lnea vale 0 y en la segunda 1, por lo tanto se elimina. Sin embargo, Y
mantiene el valor de 1 en ambas casillas, ya que en este caso el bloque que
agrupa la informacin se encuentra solamente en la columna de la derecha.
De esta forma se obtiene que la expresin simplificada del mapa de Kar-
naugh es F = Y.

Como se ve, la simplificacin anterior consiste en la aplicacin de los pos-

tulados del lgebra booleana, pero de manera grfica.

Para simplificar una expresin que incluye tres variables se tiene que el
mapa consta de 8 casillas. Hay que observar que la secuencia en que se
coloca la expresin en la tabla no es la binaria ascendente, sino una de
forma que solamente exista un cambio de 0 a 1 o de 1 a 0 a la vez, esto es,
una en la que no debe cambiar ms que un bit en cada paso. A esta forma
de arreglar los bits se le llama cdigo reflejado.

Ejemplo 5.4. Representar en un mapa de Karnaugh y determinar la

expresin booleana simplificada de:

F = XYZ + XYZ + XYZ + XYZ

ALFAOMEGA

capitulo 5.indd 186 11/25/08 11:04:31 AM

 5.4 OPTIMIZACIN DE EXPRESIONES BOOLEANAS 187

La solucin es la siguiente:

YZ
X 00 01 11 10

0 1

1 1 1 1

En este caso se forman dos bloques, mismos que permiten eliminar una
variable en cada uno de ellos de forma que la expresin simplificada es:

F = XY + YZ

En general se tiene que cuando el nmero de variables que integran la

expresin booleana es impar, el nmero de filas del mapa es menor que el
nmero de columnas. Tambin es conveniente ordenar las variables alfa-
bticamente colocando las primeras variables como filas y las restantes
como columnas.

Ejemplo 5.5. Como se muestra en el siguiente mapa, un 1 de una celda

puede estar contenido en ms de un bloque.

YZ
X 00 01 11 10

0 1 1

1 1 1 1

En el caso de esta tabla se tiene que la expresin booleana sin simplifi-

car es:

F = XYZ + XYZ + XYZ + XYZ + XYZ

la cual ya simplificada queda como:

F = Z + XY

ALFAOMEGA

capitulo 5.indd 187 11/25/08 11:04:32 AM

 188 V. LGEBRA BOOLEANA

En el ejemplo anterior se formaron dos bloques, y en el mayor se eliminaron

las variables X, Y debido a que de una casilla a otra cambian de valor.
Adems se observa que entre ms grande sea el bloque, la expresin re-
sultante es menor.

Si en un mapa de Karnaugh se unen los dos extremos, ya sea horizontal o

verticalmente, entonces las celdas de las esquinas del mismo quedarn
juntas y por lo tanto se considerarn como celdas adyacentes. Esto permi-
te realizar una mejor simplificacin.

Ejemplo 5.6. Simplificar la siguiente expresin booleana:

F = WX + WXYZ + WXYZ + WXYZ + WXYZ + WXYZ

Como se ve, no siempre la expresin original tiene todas las variables en

cada uno de sus minitrminos. En donde es as, el minitrmino equivale a
las variables que se dan inicialmente, en este caso WX juntamente con
todas las posibles combinaciones de las variables faltantes:

WX = WXYZ + WXYZ + WXYZ + WXYZ

Despus se colocan los unos en las celdas correspondientes y se procede

a realizar la agrupacin y simplificacin de los bloques.

YZ
WX 00 01 11 10

00 1 1 1 1

01 1 1

11 1

10 1 1

Hay que observar cmo cada uno de los bloques tiene cuando menos un 1
que es exclusivo de l. Adems se tienen dos bloques de 4 celdas adyacen-
tes, uno de ellos enmarcado en un cuadrado mientras que al otro lo conforman
las esquinas del mapa, y en cada uno de ellos se eliminan 2 variables. Apar-
te de esto, se tiene un pequeo bloque de dos celdas.

ALFAOMEGA

capitulo 5.indd 188 11/25/08 11:04:32 AM

 5.4 OPTIMIZACIN DE EXPRESIONES BOOLEANAS 189

La funcin simplificada queda como sigue:

F = XZ + WZ + WYZ

Del bloque de las esquinas Del bloque de 2 celdas

Del cuadrado de 4 celdas

Ejemplo 5.7. Usando mapas de Karnaugh es posible simplificar la ex-

presin booleana

F = ABCD + ABCD + ABCD + ABCD + ABCD

que result del problema de la embotelladora planteado al principio del

captulo.

En este caso se tiene la siguiente tabla:

CD
AB 00 01 11 10

00 1 1

01

11

10 1 1 1

La expresin simplificada es:

F = BD + ABC

ALFAOMEGA

capitulo 5.indd 189 12/1/08 1:26:38 PM

 190 V. LGEBRA BOOLEANA

Ejemplo 5.8. Simplificar la expresin booleana

F = ABCD + ABC + CD + ABCD + ABCD

y obtener la expresin simplificada en sumas de productos y en productos

de sumas.

Primero que nada se sabe que:

ABC = ABCD + ABCD

CD = ABCD + ABCD + ABCD + ABCD

Usando la informacin, tanto los minitrminos que se complementaron con

variables como los inicialmente completos, se tiene el siguiente mapa de
Karnaugh:

CD
AB 00 01 11 10

00 1 1 1

01 1

11 1

10 1 1

Hay que observar cmo un 1 puede estar considerado en diferentes bloques,

como ocurre con el que est en la posicin 0011.

En este mapa se tienen nuevamente 3 bloques, 2 de cuatro celdas y 1 de

dos. Eliminando los que cambian de valor de una celda a otra se tiene
que:

F = BC + CD + ABD

sta es la expresin booleana simplificada en sumas de productos.

ALFAOMEGA

capitulo 5.indd 190 11/25/08 11:04:33 AM

 5.4 OPTIMIZACIN DE EXPRESIONES BOOLEANAS 191

En el caso del producto de sumas se utiliza el mismo mapa de Karnaugh,

pero en las celdas vacas se colocan ceros y se agrupa la informacin de
manera semejante a cuando se tienen unos, como se muestra en el siguien-
te mapa:

CD
AB 00 01 11 10

a 00 0 c

01 0 0 0
b

11 0 0 0

10 0 0 d

La informacin se agrup en este caso en cuatro bloques de 4 celdas cada

uno de ellos, y para evitar confusiones en su lectura se le asign una letra
a cada bloque de tal forma que se obtiene la siguiente expresin comple-
mento debido a que se usaron las celdas de ceros y no las de unos:

F = CD + BD + BC + AC

El asignarle una letra o nmero a un bloque permite ordenar mejor el re-

sultado de tal forma que el primer trmino CD es la lectura del bloque a,
BD lo es del bloque b y as sucesivamente. El orden en que se asigne la
letra no es importante, ya que puede variar de persona a persona.

Complementando ambos miembros de la expresin booleana resulta que:

(F) = (CD + BD + BC + AC)

Aplicando ahora la ley de De Morgan:

F = (C + D) (B + D) (B + C) (A + C)

sta es la expresin booleana simplificada en productos de sumas.

Hay que observar que no es igual la expresin booleana simplificada en

sumas de productos que la que se obtuvo en productos de sumas, sin
embargo se puede decir que son lgicamente equivalentes. Esto se puede
demostrar usando teoremas del lgebra booleana o bien elaborando las
tablas de verdad correspondientes.

ALFAOMEGA

capitulo 5.indd 191 11/25/08 11:04:33 AM

 192 V. LGEBRA BOOLEANA

A medida que crece el nmero de variables de la expresin booleana, se

hace ms complicado el mapa de Karnaugh ya que el nmero de celdas
est dado por 2n. Un mapa de 5 variables es equivalente a dos mapas de
4, como se muestra a continuacin.

CDE
AB 000 001 011 010 110 111 101 100

00 4

01

11 1

10 X 2 3 5

Cuanto crece el mapa, tambin se ve incrementada la cantidad de celdas

adyacentes para agrupar la informacin. Por ejemplo, en un mapa de 4
variables una celda es adyacente a 4 celdas, mientras que en un mapa de
5 variables cada celda tiene 5 celdas adyacentes y as sucesivamente. En
el mapa anterior la celda con sombreado oscuro es adyacente a las 5 celdas
con sombreado ms claro, la celda con la letra X es adyacente a las celdas
numeradas con 1, 2, 3, 4, 5, de tal manera que cada celda se puede agrupar
para formar un bloque de dos casillas, con cinco celdas ms.

CDE
AB 000 001 011 010 110 111 10 1 100

00

01

11

10

ALFAOMEGA

capitulo 5.indd 192 11/25/08 11:04:34 AM

 5.4 OPTIMIZACIN DE EXPRESIONES BOOLEANAS 193

En el mapa anterior el par de celdas con sombreado oscuro se pueden

agrupar con las celdas de sombreado claro para formar un bloque de 4
casillas. Obsrvese cmo la frontera entre los dos mapas de 4 acta como
espejo.

Ejemplo 5.9. Considrese el siguiente mapa de Karnau, y a partir de l

determnese la expresin booleana simplificada en sumas de productos y
productos de sumas.

CDE
AB 000 001 011 010 110 111 101 100

00 1 1 1 1 1

01 1 1 1 1 1 a

11 1 1

10 1 1 1 1

c d b

Primero se tiene que la expresin booleana simplificada en sumas de pro-

ductos es:

F = BDE + ADE + BDE + AC

Para obtener la expresin booleana simplificada en productos de sumas

se ponen ceros en las celdas vacas, se agrupa la informacin en bloque
y se hace la lectura correspondiente.

ALFAOMEGA

capitulo 5.indd 193 11/25/08 11:04:34 AM

 194 V. LGEBRA BOOLEANA

CDE
AB 000 001 011 010 110 111 101 100

00 0 0 0 e

01 0 0 0 f

11 0 0 0 0 0 0

10 0 0 0 0

a b c d

La expresin booleana que se lee a partir de la tabla es:

F = ABD + ADE + ADE + CDE + ABCE + BCD

Complementando ambos miembros de la igualdad y aplicando la ley de De

Morgan se tiene finalmente que:

F = (A + B + D)(A + D + E)(A + D + E )(C + D + E)(A + B + C + E)

(B + C + D)

El mapa de seis variables se divide en 4 mapas de cuatro variables. Cada

una de las celdas es adyacente a 6 casillas con las mismas reglas ya cono-
cidas.

ALFAOMEGA

capitulo 5.indd 194 11/25/08 11:04:34 AM

 5.4 OPTIMIZACIN DE EXPRESIONES BOOLEANAS 195

Ejemplo 5.10. Considrese el siguiente mapa de Karnaugh y determ-

nese la expresin booleana ms simple en sumas de productos y produc-
tos de sumas.

DEF
ABC 000 001 011 010 110 111 101 100

000 1 1

001 1 1 1 1 e

011 1 1 1 1

010 1 1 1 1 1 1
d

110 1 1 1 1

111 1 1 1 1 1 1
b
101 1 1 1 1 1 1

100 1 1

Se tiene que la expresin booleana simplificada en sumas de productos

es:

F = ACDF + ACD + BCDF + BCD + CF

Para obtener la expresin de productos de sumas se tiene la tabla si-

guiente:

ALFAOMEGA

capitulo 5.indd 195 11/25/08 11:04:34 AM

 196 V. LGEBRA BOOLEANA

DEF
ABC 000 001 011 010 110 111 101 100

000 0 0 0 0 0 0 e

001 0 0 0 0

a
011 0 0 0 0

010 0 0
f
b

110 0 0 0 0

c
1 11 0 0 g

101 0 0

100 0 0 0 0 0 0

A partir del mapa de Karnaugh se tiene la expresin

F = ACEF + ACDF + ABCD + ABCF + BCD + ACEF + ACDF

Complementando ambos miembros de la igualdad y aplicando la ley de De

Morgan resulta que

F = (A + C + E + F)(A + C + D + F)(A + B + C + D)(A + B + C + F)

(B + C + D)(A + C + E + F)(A + C + D + F)

En algunos mapas de Karnaugh la solucin no es nica, ya que a veces la

informacin se puede agrupar de manera diferente. Lo que importa al
simplificar es obtener la expresin booleana simplificada ptima, indepen-
dientemente de qu variables son eliminadas. Esto mismo puede suceder
con los teoremas del lgebra booleana.
ALFAOMEGA

capitulo 5.indd 196 11/25/08 11:04:35 AM

 5.5 COMPUERTAS LGICAS 197

5.5 Compuertas lgicas

Un bloque lgico es una representacin simblica grfica de una o ms

variables de entrada a un operador lgico, para obtener una seal deter-
minada o resultado. Los smbolos varan de acuerdo con la rama donde se
utilizan, o bien del fabricante. Cada bloque lgico representa un disposi-
tivo que permite manipular la seal segn el campo de accin: en mec-
nica se les llama vlvulas (paso del aire o aceite); en electricidad
apagadores, contactos (paso de corriente elctrica); y en electrnica puer-
tas o compuertas (paso de pulsos elctricos). En este libro slo se aborda-
rn los smbolos usados en electrnica para la representacin de las
compuertas, ya que son los que interesan al rea de la computacin, sin
embargo el tratamiento terico por medio del lgebra booleana es vlido
para todos ellos independientemente del rea.

Tabla 5.2 Compuertas bsicas

Compuerta Smbolo

A A+B
O (Or)
B

A AB
Y (And) B

A
No (Not) A

A AB + AB
Or-exclusivo (Xor)
B

Las compuertas pueden recibir una o ms seales de entrada. En la tabla

5.2, A y B son seales que entran a la compuerta y pueden tener un valor
de 1 o 0 dependiendo de si existe o no la seal, la cual procede de un
sensor o bien de la salida de una compuerta anterior. Esos valores de
entrada generan una sola salida, que a su vez tambin es 0 o 1 depen-
diendo de la compuerta de que se trate y de los valores de las seales de
entrada.

Para representar expresiones booleanas mediante compuertas lgicas es

conveniente tener en cuenta las tablas de verdad de las compuertas bsi-
cas (operadores lgicos) Or, And y Not vistas en el captulo de lgica
matemtica.
ALFAOMEGA

capitulo 5.indd 197 12/1/08 1:26:55 PM

 198 V. LGEBRA BOOLEANA

Ejemplo 5.11. Representar las siguientes expresiones booleanas usan-

do compuertas lgicas bsicas:

a) F = AB + AC + B
b) F = (A + B) + (B + C)A

La representacin de (a) es:

A AB
a)

B B
F = AB + AC + B

C C

A
AC

La representacin de (b) es:

A B C
A+B b)
(A + B)
F = (A + B) + (B + C)A

B + C

(B + C)A

Tambin existen compuertas lgicas compuestas como Nand y Nor, que

son una combinacin de los operadores Not y And para la primera y Not y
Or para la segunda. En la tabla 5.3 se muestran los smbolos correspon-
dientes.
ALFAOMEGA

capitulo 5.indd 198 11/25/08 11:04:35 AM

 5.5 COMPUERTAS LGICAS 199

Tabla 5.3 Compuertas compuestas

Compuerta Smbolo

A (A + B)
Nor
B

A (AB)
Nand
B

Xnor A AB + AB
B

Generalmente los circuitos digitales se construyen con compuertas Nand

y Nor, ya que son ms fciles de encontrar en el mercado, son ms comu-
nes desde el punto de vista del hardware y estn disponibles en la forma
de circuitos integrados. Debido a la preferencia de uso de estas compuer-
tas en el diseo de los circuitos, es importante reconocer la relacin que
existe entre los circuitos construidos con compuertas And, Or y Not y su
diagrama equivalente Nand o Nor.

Cuando se simplifica una funcin el resultado se puede presentar en su-

mas de productos o en productos de sumas, y en forma natural la
presentacin en suma de productos permite una implementacin usando
compuertas Nand mientras que el producto de sumas se puede represen-
tar ms fcilmente con compuertas Nor, sin embargo es posible implemen-
tar cualquier expresin booleana slo con compuertas Nand o slo con
compuertas Nor.

Ejemplo 5.12. Cul es el circuito de la expresin booleana

F = A(B + C) + AD

hecho slo con compuertas Nand?

Para obtener el circuito pedido es recomendable llevar la expresin dada

a suma de productos:

F = AB + AC + AD

Por lo tanto, el circuito es el siguiente:

ALFAOMEGA

capitulo 5.indd 199 11/25/08 11:04:36 AM

 200 V. LGEBRA BOOLEANA

A B C D
F = [(AB)(AC)(A D) ]
(AB)
F = AB + AC + AD

C (AC)

(AD)
A

Hay que observar que al final se aplic la ley de De Morgan para quitar la
complementacin del corchete y obtener el resultado. Tambin se debe
destacar que cuando entran dos o ms seales a una compuerta Nand
primero las multiplica y despus complementa dicha multiplicacin, pero
cuando entra una seal slo la complementa.

Por otro lado, si no se hubieran hecho las operaciones necesarias para

quitar el parntesis y tener la expresin en sumas de productos, tambin
se podra representar nicamente con compuertas Nand aunque esto al-
gunas veces es un poco ms complicado:

F = A(B + C) + AD

A B C D

B
(BC)

[A(BC)]

(AD)
A

F = [[A(BC)](AD)]
F = A(B + C) + AD

ALFAOMEGA

capitulo 5.indd 200 12/1/08 1:27:12 PM

 5.5 COMPUERTAS LGICAS 201

De la misma manera, el bloque lgico Nor facilita su uso cuando la expre-

sin se encuentra dada en productos de sumas.

Ejemplo 5.13. Representar la expresin booleana

F = (A + B + C)(B + C + D)

usando slo compuertas Nor.

En este caso se tiene el siguiente esquema

A B C D
(A + B + C)
F = [(A + B + C) + (B + C + D)]
F = (A + B + C) (B + C + D)
B

C (B + C + D)

La misma expresin booleana representada con compuertas Nand queda-

ra de la siguiente manera:

A B C D

(ABC)

C [(ABC)(BCD]

F = (ABC)(BCD)

(BCD) F = (A + B + C)(B + C + D)
D

ALFAOMEGA

capitulo 5.indd 201 11/25/08 11:04:37 AM

 202 V. LGEBRA BOOLEANA

Ejemplo 5.14. Considrese el siguiente circuito:

A C

D F

A
+

B
B C

a) Cul es la expresin booleana sin simplificar que representa

dicho circuito?
b) Simplificar la expresin booleana usando teoremas del lgebra
booleana.
c) Por medio del mapa de Karnaugh simplificar la expresin del in-
ciso (a) y expresar el resultado en sumas de productos.
d) Cul es la expresin simplificada en productos de sumas?
e) Comprobar, por medio de una tabla de verdad, que la expresin
booleana obtenida en el inciso (c) es lgicamente equivalente a
la obtenida en el inciso (d).
f) Representar el resultado del inciso (c) en un circuito lgico, usan-
do para ello compuertas bsicas.
g) Cul es el circuito del inciso (c) basado en compuertas Nand
exclusivamente?
h) Cul es el circuito lgico del inciso (c) basado en compuertas Nor
exclusivamente?

La solucin de cada inciso es la siguiente:

a) La expresin booleana es

F = AC(C + D) + BC(A + B)

ALFAOMEGA

capitulo 5.indd 202 11/25/08 11:04:37 AM

 5.5 COMPUERTAS LGICAS 203

b) Simplificando mediante teoremas resulta que

F = ACC + ACD + ABC + BBC

F = 0 + ACD + ABC + BC
F = ACD + BC(A + 1)
F = ACD + BC

c) Se sabe que ACC = 0 y BBC = BC, y sustituyendo esto en la ex-

presin F = ACC + ACD + ABC + BBC resulta que la expresin
booleana a representar en el mapa es F = ACD + ABC + BC.
Aplicando la condicin de que para representar un minitrmino
en el mapa de Karnaugh ste debe contener todas las letras, a
continuacin se agregan las variables faltantes con sus posi-
bles combinaciones:

ACD = ABCD + ABCD

ABC = ABCD + ABCD
BC = ABCD + ABCD + ABCD + ABCD

A partir de la informacin se obtiene el siguiente mapa:

CD
AB 00 01 11 10

00

01 1 1

11 1 1 1

10 1

Del mapa se obtiene que la expresin booleana en sumas de productos es:

F = ACD + BC

lo cual concuerda con el resultado obtenido usando teoremas.

d) Para obtener el producto de sumas se colocan ceros en las casillas

vacas y se agrupa la informacin:

ALFAOMEGA

capitulo 5.indd 203 11/25/08 11:04:37 AM

 204 V. LGEBRA BOOLEANA

CD
AB 00 01 11 10

00 0 0 0 0

01 0 0

11 0

10 0 0 0

A partir del mapa se puede leer que:

F = AC + BC + CD

Complementado y aplicando leyes de De Morgan resulta que:

(F) = (AC + BC + CD)

F = (A + C)(B + C)(C + D)

e) Las expresiones boolenas obtenidas en los incisos (c) y (d) son

F = ACD + BC
F = (A + C)(B + C)(C + D)

y a partir de stas se tiene la siguiente tabla:

ALFAOMEGA

capitulo 5.indd 204 11/25/08 11:04:37 AM

 5.5 COMPUERTAS LGICAS 205

A B C D A B C D AC ACD BC ACD + BC A + C B + C C + D F
0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0
0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0
0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0
0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 0
0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0
0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0
0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1
0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1
1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1
1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0
1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0
1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0
1 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1
1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0
1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1
1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1

Aqu se observa que las columnas sombreadas concuerdan en todas sus

lneas, por lo tanto esto demuestra que F = ACD + BC es lgicamente equi-
valente a F = (A + C)(B + C)(C + D).

f) La expresin obtenida en el inciso (c) es F = ACD + BC, y su re-

presentacin con compuertas bsicas es:

A B C D

D
ACD

F = ACD + BC

BC

ALFAOMEGA

capitulo 5.indd 205 11/25/08 11:04:38 AM

 206 V. LGEBRA BOOLEANA

g) La representacin de la expresin booleana F = ACD + BC, slo

con compuertas Nand es la siguiente:

A B C D
C

(ACD)
F = ACD + BC
D

(BC)

h) La representacin de la expresin booleana F = ACD + BC, slo

con compuertas Nor es la siguiente:

A B C D

(A + C + D)

F = [(A + C + D) + (B + C)]
B

(B + C)

C F = ACD + BC

5.6 Aplicaciones del lgebra booleana

El lgebra booleana es una extensin de la lgica matemtica, ya que uti-

liza los mismos principios y operadores lgicos (and, or, not, xor, nand, nor)
as como los mismos valores, y gracias a esto John Von Neuman pudo crear
la computadora de la primera generacin.

ALFAOMEGA

capitulo 5.indd 206 11/25/08 11:04:38 AM

 5.6 APLICACIONES DEL LGEBRA BOOLEANA 207

Los dispositivos con los que se implementan las funciones booleanas se

llaman compuertas, y al combinarse han permitido inicialmente la crea-
cin del bulbo, posteriormente la del transistor y actualmente la del John von Neuman
chip, elementos con los cuales se construye todo tipo de aparato elec- (1903-1957)
trnico digital.
F ue un matemtico hngaro-estadouni-
dense que realiz contribuciones im-
La electrnica digital es una parte de la electrnica que maneja informacin portantes en fsica cuntica, anlisis
funcional, teora de conjuntos, inform-
codificada en dos nicos estados: falso y verdadero, o ms comn- tica, economa, anlisis numrico, hidro-
mente 0 y 1. Electrnicamente se asigna a cada uno un voltaje o rango de dinmica, estadstica y muchos otros
campos de la matemtica.
voltaje determinado. Esta particularidad permite que, usando el lgebra Fue pionero de la computadora di-
booleana y con un sistema de numeracin binario, se puedan realizar gital moderna, trabaj con Eckert y Mau-
chly en la Universidad de Pennsylvania y
complejas operaciones lgicas o aritmticas sobre seales de entrada. La public un artculo acerca del almace-
electrnica digital ha alcanzado una gran importancia debido a que se namiento de programas. El concepto de
programa almacenado permiti la lectu-
utiliza en el diseo de sistemas de automatizacin, robtica, etc., adems ra de un programa dentro de la memoria
de que constituye la piedra angular de las computadoras. de la computadora, y despus la ejecu-
cin de las instrucciones del mismo sin
tener que volverlas a escribir. La primera
Las computadoras llevan a cabo su trabajo por medio de un microproce- computadora en usar el citado concepto
fue la llamada EDVAC (Electronic Discre-
sador, el cual es un circuito de alta escala de integracin (LSI) compuesto te Variable Automatic Computer), desa-
por muchos circuitos simples como flip-flops, contadores, decodificadores, rrollada por Von
Neumann, Eckert y
comparadores, etc., todos en una misma pastilla de silicio en donde se Mauchly. Los pro-
utilizan compuertas del lgebra booleana para llevar a cabo las operacio- gramas almacena-
dos dieron a las
nes lgicas. computadoras flexi-
bilidad y confiabili-
dad, hacindolas ms
Las microoperaciones que lleva a cabo el microprocesador se realizan en rpidas y menos su-
lenguaje binario a nivel bit. Por ejemplo, si A = 110010, B = 011011 enton- jetas a errores que
los programas me-
ces el resultado de llevar a cabo las siguientes operaciones en donde cnicos.
intervienen los operadores lgicos (, , , ) es:

A B = 110010 011011 = 010010

A B = 110010 011011 = 111011
A B = 110010 011011 = 101001
A = (110010) = 001101

Basada en el lgebra booleana, la unidad lgica aritmtica (ALU: Arith-

metic Logic Unit) es la parte del microprocesador que realiza las operacio-
nes aritmticas y lgicas en los datos.

Se sabe que toda computadora est integrada por las memorias ROM (Read
Only Memory: Memoria de slo lectura) y RAM (Random Access Memory:
Memoria de acceso aleatorio). Cuando arranca una computadora, sta debe
saber qu hacer, lo cual implica que pueda correr un pequeo programa
que le indique lo que debe realizar, qu programas debe ejecutar y en qu
lugar debe comenzar. Esta informacin se guarda en un pequeo progra-
ma de slo lectura que recibe el nombre de ROM, el cual est en lenguaje
binario y utiliza operadores lgicos del lgebra booleana para la manipu-
lacin de la informacin. La informacin en este caso se graba elctrica-
mente y se borra tambin de la misma manera. Este tipo de memoria se
ALFAOMEGA

capitulo 5.indd 207 12/1/08 1:27:32 PM

 208 V. LGEBRA BOOLEANA

llama Memoria ROM programable elctricamente (EEPROM). En las

computadoras sta se encuentra en lo que se llama BIOS, la cual es una
memoria donde se guarda informacin de la tarjeta madre de los conec-
tores y dispositivos de la PC.

La RAM puede borrarse y grabarse las veces que se desee, la desventaja

es que la informacin grabada en ella slo se puede utilizar mientras se
tenga energa, y se usa como almacenamiento temporal. Existen dos va-
riantes para la memoria RAM: SRAM y DRAM. La SRAM es conocida como
memoria esttica y en ella los valores binarios o informacin que se alma-
cena utilizan compuertas del lgebra booleana, por lo que mientras se
tenga energa la informacin en ella se mantendr intacta. La DRAM es
conocida como memoria dinmica y est hecha con celdas que almacenan
los datos como cargas en condensadores; la presencia o ausencia de carga
en el condensador se interpreta como 1 o 0 binarios, manipulados median-
te lgebra booleana. La DRAM es una memoria que requiere refrescarse
peridicamente para mantener memorizados los datos, de ah el nombre
de memoria dinmica.

Como se puede ver, la computadora est integrada por elementos que

utilizan el lgebra booleana para su desarrollo y funcionamiento. Sin em-
bargo, no es para lo nico que se utiliza el lgebra booleana, ya que otra
de sus aplicaciones que actualmente est teniendo mucho xito es la rela-
cionada con la construccin de robots.

Un robot est integrado por elementos mecnicos, elctricos y electrnicos,

y el rea de conocimiento en este caso es la mecatrnica. El motor elc-
trico es un dispositivo que convierte la energa elctrica en energa mec-
nica rotacional, que se utiliza para darle movimiento a los medios de
locomocin del robot como son ruedas, brazos y tenazas. El motor pue-
de ser de corriente continua o motor de pasos.

Los medios de locomocin permiten al robot desplazarse de un lugar a otro

por medio de ruedas, barras u orugas. Algunos robots deben sostener o
manejar objetos y para ello se utilizan tenazas. Algunas veces el movimien-
to no se proporciona directamente a los medios de locomocin, sino que es
necesaria una interfase de transmisin para aumentar la fuerza, reducir la
intensidad de giro o cambiar la naturaleza del movimiento (de circular a
lineal) por medio de pistones, engranes, levas o poleas.

El funcionamiento de los distintos elementos del robot depende de la seal

que se mande de los distintos sensores. Los sensores permiten al robot
manejarse con cierta inteligencia al interactuar con el medio, ya que de-
tectan situaciones en las cuales el robot debe llevar a cabo la actividad
programada. Entre los diferentes sensores que se utilizan con frecuencia
en robots estn los sensores pticos, magnticos, de ultrasonido, presin,
temperatura, nivel e incluso cmaras de video.
ALFAOMEGA

capitulo 5.indd 208 11/25/08 11:04:43 AM

 5.7 RESUMEN 209

Para que el robot lleve a cabo todas las actividades, es necesario el circui-
to de control (cerebro del robot) que le permita decidir qu hacer cuando
se presente una determinada situacin. Por ejemplo, qu debe hacer el
robot si a su paso se interpone una barrera (girar 90 a la izquierda y avan-
zar, girar 180 y avanzar, detenerse, etc.). Qu hacer si detecta tempera-
turas altas (emitir un sonido, parar)? Qu hacer si encuentra un objeto
de cierto color (tomarlo y transportarlo)? En fin, todas esas actividades que
puede llevar a cabo el robot y para lo cual fue creado, deben estar progra-
madas en el circuito de control y nuevamente el lgebra booleana es la
base para el diseo de dicho circuito, el cual se representa inicialmente
por medio de una expresin booleana que se simplifica por medio de teo-
remas del lgebra booleana o mapas de Karnaugh y se implementa usan-
do las compuertas lgicas.

5.7 Resumen

El lgebra es un rea de las matemticas que ocupa un lugar privilegiado,

sobre todo por la aplicacin de la misma a la computacin. Por medio del
lgebra booleana es posible disear hardware que es la parte fundamental
de las computadoras, los robots y todos los sistemas de funcionamiento
automtico.

Los robots, computadoras o cualquier sistema de funcionamiento autom-

tico requieren del uso de elementos mecnicos, elctricos y electrnicos
para llevar a cabo alguna actividad. La forma ordenada en que deben
trabajar dichos elementos se controla por medio de un circuito implemen-
tado a base de compuertas lgicas.

Cuando se desea que un sistema trabaje de manera automtica, primero

se representa el funcionamiento de dicho sistema por medio de una ex-
presin booleana. Esta expresin booleana est integrada por variables y
cada una de stas representa la seal de un sensor, la cual puede ser fal-
so o verdadero.

Por lo general la expresin booleana resultante del planteamiento de un

problema no es la ms simple, sino que tiene variables redundantes que
pueden ser eliminadas por medio de:

a) Teoremas del lgebra booleana.

b) Mapas de Karnaugh.

El mtodo para simplificar expresiones booleanas usando teoremas del

lgebra booleana consiste en usar stos para eliminar las variables redun-
dantes hasta obtener una expresin simplificada que realice lo mismo que
la expresin inicial que tena las variables redundantes, pero que al ser
ms simple el circuito de control es por lo tanto ms rpido, econmico y
eficaz.

ALFAOMEGA

capitulo 5.indd 209 11/25/08 11:04:43 AM

 210 V. LGEBRA BOOLEANA

El mtodo para simplificar expresiones booleanas mediante mapas de

Karnaugh consiste en representar la expresin booleana con n variables
diferentes en una tabla de forma cuadrada o rectangular que tiene 2n celdas
y que recibe el nombre de mapa de Karnaugh. La expresin booleana sim-
plificada es el resultado de agrupar la informacin de celdas adyacentes
en bloques rectangulares o cuadrados de 1, 2, 4, 8,, 2n, y despus leer la
expresin conservando las variables que no cambian de valor de un regln
con respecto a otro o de una columna con relacin a otra en cada uno de
los bloques en que fue agrupada la informacin y eliminando las variables
que s sufren un cambio de valor de un rengln con respecto a otro o de
una columna con relacin a otra.

Por ltimo, esta funcin booleana simplificada, ya sea por teoremas o ma-
pas de Karnaugh, se representa por medio de smbolos grficos (bloques
lgicos) de cada uno de los operadores lgicos and, or, not, xor, nand, nor
y xnor, considerando que las compuertas ms comunes son las nand y las
nor, mismas que al combinarse permiten suplir las dems compuertas.

5.8 Problemas

5.1. Obtener la tabla de verdad para la siguiente expresin booleana:

F = ABC + ABCD + ABC + ABCD + ABC + ABC + ABD + ABCD

5.2. Obtener la tabla de verdad para cada una de las siguientes expre-
siones booleanas:

a) F = ABCD + ABCD + ABCD + ABCD + ABCD + ABCD +

ABCD + ABCD
b) F = (A + BD)(CDB + AB + DA)
c) F = [A(BC + D) + BA]

5.3. Simplificar las siguientes expresiones booleanas usando los teo-

remas del lgebra booleana, y verificar los resultados por medio
de mapas de Karnaugh.

a) F = ABD + ABD + ABD + ABD

b) F = ACD + ACD + ABD + ABC + ABD + ABCD
c) F = ABCD + ABCD + ABCD + ABCD + ABCD +
ABCD + ABCD + ABCD

ALFAOMEGA

capitulo 5.indd 210 11/25/08 11:04:44 AM

 5.8 PROBLEMAS 211

d) F = ABCDE + ABCDE + ABCDE + ABC + ABC +

ABCDE + ABCDE + ABCDE + ABCDE + ABCDE +
ABCDE + ABCDE
e) F = ((A+B) + C + D)((AC) + (A + (BC)) + D)
f) F = ABCD + ABCD + ABCD + ABCD + ABCD +
ABCD + ABCD + ABCD
g) F = ABCD + ABCD + ABCD + ABCD + ABCD +
ABCD + ABCD + ABCD + ABCD

5.4. Simplificar las siguientes expresiones booleanas usando los

teoremas del lgebra booleana y verificar los resultados por
medio de mapas de Karnaugh.

a) F = ABCD + ABCD + ABCD + ABCD + ABCD +

ABCD + ABCD + ABCD + ABCD + ABCD
b) F = WXYZ + WXYZ + WXYZ + WXYZ + WXYZ +
WXYZ + WXYZ + WXYZ + WXYZ
c) F = WXYZ + WXYZ + WXYZ + WXYZ + WXYZ +
WXYZ + WXYZ
d) F = ABCD + ABCD + ABCD + ABCD + ABCD +
ABCD + ABCD + ABCD + ABCD
e) F = ABCD + ABCD + ABCD + ABCD + ABCD +
ABCD + ABCD + ABCD + ABCD + ABCD
f) F = BCD + ABC + ABD + ABCD + ABCD
g) F = ABC + BCD + ABC + ABCD + ABCD

5.5. En cada uno de los siguientes incisos obtener la expresin boolea-

na simplificada en sumas de productos y en productos de sumas.
Plantear el mapa y la agrupacin correspondiente.

a) CDE
AB 000 001 011 010 110 111 101 100
00 1 1
01 1 1 1 1 1
11 1 1 1 1 1
10 1 1

ALFAOMEGA

capitulo 5.indd 211 11/25/08 11:04:44 AM

 212 V. LGEBRA BOOLEANA

b) CDE
AB 000 001 011 010 110 111 101 100
00 1 1 1 1 1 1 1
01 1 1 1
11 1 1 1 1 1
10 1 1 1

c) CDE
AB 000 001 011 010 110 111 101 100

00 1 1 1
01 1 1 1 1 1
11 1 1 1 1 1 1 1
10 1 1

d) CDE
AB 000 001 011 010 110 111 101 100
00 1 1 1
01 1 1
11 1 1 1 1 1
10 1 1 1 1

e) CDE
AB 000 001 011 010 110 111 101 100

00 1 1
01 1 1 1 1
11 1 1 1 1 1
10 1 1 1 1

ALFAOMEGA

capitulo 5.indd 212 11/25/08 11:04:45 AM

 5.8 PROBLEMAS 213

5.6. En cada uno de los siguientes incisos obtener la expresin

booleana simplificada en sumas de productos y en productos
de sumas. Plantear el mapa y la agrupacin correspondiente.

a) CDE
AB 000 001 011 010 110 111 101 100
00 1 1
01 1 1 1 1 1
11 1 1 1 1 1 1 1
10 1 1 1

b) CDE
AB 000 001 011 010 110 111 101 100
00 1 1 1 1
01 1 1 1 1 1
11 1 1 1
10 1 1 1 1

c) CDE
AB 000 001 011 010 110 111 101 100
00 1 1 1 1 1 1
01 1 1 1
11 1 1 1
10 1 1 1 1 1

d) CDE
AB 000 001 011 010 110 111 101 100
00 1 1 1 1
01 1 1 1 1
11 1 1 1 1
10 1 1 1 1

ALFAOMEGA

capitulo 5.indd 213 11/25/08 11:04:45 AM

 214 V. LGEBRA BOOLEANA

e) CDE
AB 000 001 011 010 110 111 101 100
00 1 1 1
01 1 1 1 1
11 1 1 1 1
10 1 1 1 1

f) CDE
AB 000 001 011 010 110 111 101 100
00 1 1 1 1 1 1 1 1
01
11
10 1 1 1 1 1 1 1 1

5.7. Representar con compuertas bsicas (And, Or y Not), con com-

puertas Nand (exclusivamente) y con compuertas Nor (exclusiva-
mente), la expresin lgica:

F = ABC + ABD + AD

5.8. Representar con compuertas bsicas (And, Or y Not), con com-

puertas Nand (exclusivamente) y con compuertas Nor (exclusiva-
mente), la expresin lgica:

F = (B + C + D)(A + C + D)B

5.9. Obtener las compuertas Not, And, Or, Nor, X-or y X-nor con base
en compuertas Nand exclusivamente.

5.10. Obtener las compuertas Not, And, Or, Nand, X-or y X-nor con base
en compuertas Nor exclusivamente.

ALFAOMEGA

capitulo 5.indd 214 11/25/08 11:04:45 AM

 5.8 PROBLEMAS 215

5.11. Considrese el siguiente circuito lgico:

A B C D

a) Obtener la funcin booleana de salida (sin simplificar).

b) Obtener la funcin booleana simplificada en sumas de
productos.
c) Obtener la funcin booleana simplificada en productos de
sumas.
d) Elaborar la tabla de verdad que muestre que las expresio-
nes booleanas obtenidas en los incisos (a) y (b) son lgica-
mente equivalentes.
e) Implementar el diagrama de la expresin booleana obteni-
da en el inciso (b) usando exclusivamente compuertas
Nand.
f) Hacer el diagrama correspondiente de la expresin boolea-
na obtenida en el inciso (c) usando exclusivamente com-
puertas Nor.

5.12. En relacin con los circuitos de cada uno de los incisos (i) a (v)
obtener:

a) La funcin booleana de salida.

b) La funcin booleana ms simple en sumas de productos.
c) La funcin booleana simplificada en productos de sumas.
d) La tabla de verdad que muestre que las expresiones boolea-
nas obtenidas en los incisos (a), (b) y (c) son lgicamente
equivalentes.
e) El circuito lgico de la expresin booleana del inciso (b),
con base en compuertas Nand exclusivamente.
f) El circuito lgico de la expresin booleana obtenida en el
inciso (c), a base de compuertas Nor exclusivamente.

ALFAOMEGA

capitulo 5.indd 215 11/25/08 11:04:46 AM

 216 V. LGEBRA BOOLEANA

i)
A B C D

ii)
A B C D

iii)
A B C D

ALFAOMEGA

capitulo 5.indd 216 11/25/08 11:04:46 AM

 5.8 PROBLEMAS 217

iv)

A B C D

v)

A B C D

ALFAOMEGA

capitulo 5.indd 217 11/25/08 11:04:46 AM