You are on page 1of 25

lgebra de Boole.

Javier Borge Holthoefer

A Parte Rei 25

LGEBRA DE BOOLE: DEL SILOGISMO ARISTOTLICO A LOS


CIRCUITOS INTEGRADOS
Javier Borge Holthoefer
holthoefer@menta.net

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

NDICE:

A.

INTRODUCCIN

p.3

B.

LGEBRA DE CONJUNTOS Y
CLCULO PROPOSICIONAL

p.5

I.
II.
III.
IV.

CONJUNTOS Y ELEMENTOS
PROPOSICIONES Y CONECTIVAS
UNIN E INTERSECCIN
CONJUNTO UNIVERSAL, CONJUNTO VACO,
CONJUNTO COMPLEMENTARIO
V. LEYES DEL LGEBRA DE CONJUNTOS Y
DEL CLCULO PROPOSICIONAL
VI. FUNCIONES Y TABLAS DE VERIFICACIN

C.

p.8
p.8
p.9

LGEBRA DE BOOLE
I. INTRODUCCIN
II. POSTULADOS Y TEOREMAS

D.

p.5
p.5
p.7

p.10
p.10
p.10

DE BOOLE A LA ELECTRNICA DIGITAL


I.
II.
III.
IV.

PUERTAS LGICAS
FUNCIONES BOOLEANAS
IMPLEMENTACIN DE FUNCIONES BOOLEANAS
MTODOS TABULARES DE SIMPLIFICACIN

p.13
p.13
p.15
p.16
p.17

ANEXO I

p.19

ANEXO II

p.22

BIBLIOGRAFA

p.25

http://aparterei.com

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

A. INTRODUCCIN
Ocurre a veces que la importancia de un acontecimiento histrico se mide no tanto por la
difusin de que ste goz, como por las consecuencias que trajo consigo. As, hoy sabemos que
la guerra entre Francia y Alemania en a finales del siglo XIX fue deliberadamente provocada por
el canciller prusiano Bismarck: falsific intencionadamente el despacho del embajador Ems,
dndole un carcter ofensivo, agresivo, hacia la opinin pblica francesa para provocar una
reaccin de furor en sta a la vez que la guerra. Tenemos, pues, un acontecimiento
relativamente insignificante (manipulacin de un informe) que desemboca en una guerra, que a
su vez da como resultado la unificacin de Alemania1.
El

ejemplo

de

Bismarck

resulta

especialmente

interesante

porque

raramente

encontramos en la Historia de la Lgica algo que pueda compararse; es decir, raramente un


logro en Lgica (parecido al ejemplo de Bismarck en cuanto a difusin se refiere) tiene un
impacto de magnitud similar a la que tuvo en la Historia (general) contempornea el surgimiento
del estado alemn. Cul podra ser ese logro? A mi entender, el lgebra de Boole.
Fundamentemos un poco este razonamiento. De lo dicho arriba se desprende que
cualquier hallazgo en Lgica es insignificante. Que nadie se alborote: con ello quiere decirse
que tales hallazgos pasan tan inadvertidos (o ms) para la gran mayora como la falsificacin del
despacho de Ems por parte de Bismarck. La falta de atencin a los logros en Lgica ocurre
incluso en los crculos ms prximos a ella: buena parte de los filsofos de la ciencia del siglo
XX (a excepcin de Lakatos) han elaborado sus epistemologas respectivas tomando como
referente principal a la fsica. As sucedi con el Crculo de Viena, con Popper, con la
Concepcin Heredada y con Kuhn. Para muchos de estos filsofos parecera a veces que las
matemticas, la lgica y, en general, las ciencias formales caen fuera del saber cientfico, por no
satisfacer los sucesivos criterios de demarcacin que dichos autores han ido proponiendo, o, en
otros casos, por no ser las matemticas un saber emprico2.
Para completar el paralelismo Bismarck Boole queda solamente mostrar la huella que
ha dejado la obra del ltimo. Esto no es muy complicado: basta que observemos el mecanismo
que rige un semforo o el funcionamiento de un sistema informtico para darnos cuenta que el
lgebra de Boole juega un papel nada despreciable no ya en el mbito especfico de la Lgica,
sino en la civilizacin tal y como la conocemos.

El ejemplo est tomado de Aron, R. Lecciones sobre la historia: cursos del Collge de France. Fondo de
Cultura Econmica, Mxico, 1996.
2
Echeverra, J. en Introduccin a la Metodologa de la Ciencia: la Filosofa de la Ciencia en el siglo XX.
Ediciones Ctedra, Madrid, 1999.
http://aparterei.com

lgebra de Boole. Javier Borge Holthoefer

A Parte Rei 25

Hasta aqu he hablado nicamente de la proyeccin hacia adelante del trabajo de


Boole, dejando a un lado sus races histricas (nada surge de la nada, Parmnides dixit) que el
ttulo de este artculo insinan. De la relacin entre el Silogismo y el lgebra de Boole nos
ocupamos en la monografa El Silogismo a travs de la Historia. De otras aportaciones de Boole
relacionadas con el Clculo Proposicional nos ocuparemos en la seccin B.
En cuanto al alcance y estructura de este estudio, hay que decir que es meramente
divulgativo. La seccin B est dedicada primero a resaltar aspectos bsicos de la Teora de
Conjuntos y del Clculo Proposicional, para luego ver en qu sentido Boole colabor en su
interrelacin, desarrollo o profundizacin; asimismo, se intenta poner en contacto esta Teora y
este Clculo con su despliegue prctico, que desemboca en los dispositivos lgicos bajo la
forma de un lgebra de Boole (seccin D). La seccin C se limita a la enunciacin de los
teoremas y postulados del lgebra de Boole, con algunas apreciaciones histricas. Por ltimo,
he aadido un Anexo en el que se utilizan las representaciones diagramticas de Venn para
comprobar (que no demostrar) la validez de las leyes del lgebra de Conjuntos. Me ha parecido
coherente incluir este Anexo porque con Venn termin mi anterior artculo dedicado a la Historia
de la Lgica, trazando as una linea que une ambos trabajos.
Fruto de todo esto, el trabajo tiene una considerable envergadura. Por esta razn, se
debe afrontar su lectura de un modo selectivo. Si uno es, por ejemplo, experto en Electrnica, y
est interesado en conocer los fundamentos histricos y tericos del lgebra de Boole, deber
leerse la seccin B (y algo de la C), descartando la ltima parte. Por el contrario, si uno est
familiarizado con la Lgica y su Historia, quiz le llamen ms la atencin los aspectos prcticos
en que han desembocado los trabajos de Boole. As, mejor ser que pase directamente a la
lectura de la ltima seccin.
Por ltimo, para quien desee leer la totalidad del trabajo, se ha procurado que ste goce
de cierta consistencia. El hilo conductor al que debe agradecerse tal consistencia no es otro que
Kneale, y su obra El desarrollo de la lgica3. En esta obra se encuentran todos los aspectos aqu
tratados, adems de otros (como las relaciones entre Boole y el clculo de probabilidades). Mi
tarea ha consistido en seleccionar y ampliar aquellos aspectos que son ms relevantes y han
sido ms fructferos para el surgimiento de nuestra actual era informtica.

Ver BIBLIOGRAFA

http://aparterei.com

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

B. TEORA DE CONJUNTOS y CLCULO PROPOSICIONAL


Enunciado general: el Clculo Proposicional (CP) y la Teora de Conjuntos (TC) son
ambos instancias de un sistema algbrico denominado lgebra de Boole.
Para ilustrar los nexos que los unen, intercalar explicaciones acerca de uno (CP) y de la
otra (TC). Espero que ello no sea en detrimento de una fcil comprensin.

I.

CONJUNTOS Y ELEMENTOS (TC).


Comencemos ahora por la teora de conjuntos. El concepto de conjunto surge de manera

natural en muchas situaciones de la vida: pelculas de guerra, novela rosa, pescaderas... Si


llevamos a cabo un sencillo proceso de abstraccin, veremos que podemos definir un conjunto
de dos modos distintos:

Por extensin: enumeracin simple de sus elementos.

Por comprensin: definir una propiedad no ambigua y determinada.

Veamos un ejemplo:
Supongamos un conjunto que comprende los componentes del grupo musical The
Beatles. Definiramos tal conjunto por extensin de la siguiente manera:
S= {Paul McCartney, John Lennon, George Harrison, Ringo Starr}
Definido por comprensin, el conjunto quedara as:
S={x / x pertenezca al grupo musical The Beatles}

II.

PROPOSICIONES Y CONECTIVAS (CP)


Definimos una proposicin como un aserto que puede ser cierto o falso, pero no ambas

cosas a la vez. Tales proposiciones pueden ser simples (Los gatos comen pescado) o
compuestas (Los gatos comen pescado y los perros comen carne). Como es sabido, las
oraciones simples se unen mediante conectivas. De ellas, cuatro son las ms importantes:
CONJUNCIN

DISYUNCIN

CONDICIONAL
BICONDICIONAL

Si... entonces

Si y slo si

Adems de estas conectivas, en el lenguaje ordinario se usa a menudo la negacin:


NEGACIN

http://aparterei.com

no

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

Por supuesto, en el lenguaje ordinario (natural) usamos un nmero ms amplio de


conectivas, tales como a menos que, pero... Ante esto, podramos establecer notaciones
distintas para cada una de ellas. Por otro lado, parece (es) ms conveniente intentar reducir (sin
distorsin de su uso comn) tales conectivas a las cuatro establecidas. Considrese este
ejemplo:
El caf es agradable, a menos que se le aada azcar (simblicamente, p a menos que
q). El significado de la oracin es que si aadimos azcar, el caf no es agradable; es decir: El
caf es agradable si no aadimos azcar, o bien Si no aadimos azcar, entonces el caf es
agradable. O lo que es lo mismo: q p, con lo cual hemos logrado nuestro objetivo.

III.

UNIN E INTERSECCIN
Aqu comenzamos a percibir el modo en que Boole unifica el CP y la TC.
Unin e interseccin son las dos operaciones bsicas en el lgebra de conjuntos.
La unin entre dos conjuntos L y W se define como el conjunto formado por todos los

elementos de L junto con todos los elementos de W.


La interseccin entre dos conjuntos L y W se define como el conjunto que comprende
slo aquellos elementos que L y W tienen en comn.
Lo cierto es que tanto unin como interseccin quedan mucho ms claras a travs de
una ilustracin:

El sombreado representa L W

El sombreado representa L U W

Si bien ya Leibniz, en el s.XVII, entrevi la existencia de una cierta analoga entre la


interseccin y la unin, de una parte, y el producto y la suma de nmeros, por otra, fueron las
aportaciones de Boole las que clarificaron tales relaciones, amplindolas adems a las
conectivas (conjuncin) y (disyuncin) de la Lgica formal. De este modo, la interseccin de
conjuntos se expresa tambin con esta simbologa:
A B = {x / xA xB}
La conjuncin:
A U B = {x / xA xB}

http://aparterei.com

lgebra de Boole. Javier Borge Holthoefer

IV.

A Parte Rei 25

CONJUNTO UNIVERSAL, CONJUNTO VACO, CONJUNTO COMPLEMENTARIO


Al definir un conjunto L no slo se determinan sus elementos, sino tambin los que no lo

son. Sin embargo, esto puede acarrear algn problema. Por ejemplo, pensemos en el conjunto
de los nmeros enteros, Z. Si hacemos caso de lo dicho hasta ahora, Z no define slo el
conjunto de los nmeros enteros; define tambin un conjunto Z, al que definimos como todo
aquello que no es un nmero entero. Hasta aqu, todo parece correcto: el conjunto Z contiene,
por ejemplo, el nmero , la raz cuadrada de 2, ... pero tambin incluye los templos hindes a
orillas del Ganges, o las zapateras del barrio gtico de Barcelona. Para evitar complicaciones,
resulta ms adecuado restringir los elementos considerados a un conjunto menor. En nuestro
caso, servir el conjunto de los nmeros reales (). Con el fin de obtener esta restricin
postulamos un conjunto universal E que definimos como el conjunto de todos los elementos que
consideramos. El complementario de un conjunto es entonces el complementario respecto de
este conjunto universal. La interpretacin de este conjunto universal por parte de Boole le llev a
identificar tal conjunto con el valor 1.
Queda por determinar qu es un conjunto vaco. En general, la interseccin de dos
conjuntos sera siempre un conjunto, excepto cuando no tienen elementos comunes. Este caso
especial se elimina postulando un conjunto vaco, &. La interpretacin de este conjunto
universal por parte de Boole le llev a identificar tal conjunto con el valor 0.
Esta asignacin de valores 1-0 a los conjuntos E y & tiene importantes consecuencias no
slo en el mbito de la Lgica senetencial sino tambin en mbitos que aqu no tratamos, como
la teora de la probabilidad (diremos slo que cualquier valor de probabilidad se encuentra entre
0 y 1).
Para mostrar algunas de estas consecuencias, consideremos el modo de Boole de
asignar valores de verdad a las proposiciones: hoy da expresamos la certeza de un enunciado
asignndole el valor 1, y su falsedad con el valor 0. Pues bien, en Bochnski4 leemos:
Si nos limitamos a la consideracin de una sentencia dada X, dejando de lado toda otra
consideracin, se podrn imaginar slo dos casos, a saber, primero, que la sentencia sea
verdadera, y la segunda, que sea falsa. Como estos casos componen el universo de la sentencia,
y el primero se representa por el smbolo x, el segundo se representar por el smbolo (1-x)

Ver BIBLIOGRAFA

http://aparterei.com

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

V.

LEYES DEL LGEBRA DE CONJUNTOS y DEL CLCULO PROPOSICIONAL


Para convencernos del enunciado general arriba expuesto, segn el cual el CP y la TC

pueden reducirse a un lgebra de Boole, veamos una tabla comparativa que contemple las
leyes del lgebra de conjuntos y del clculo proposicional (para darnos cuenta de que tratan, en
esencia, de lo mismo):

LGEBRA DE CONJUNTOS

CLCULO PROPOSICIONAL

Leyes conmutativas para la interseccin y la unin

Ley conmutativa

XY=YX

pq qp

XUY=YUX

pq qp

Ley asociativa para la interseccin

Ley asociativa para la conjuncin

p(qr) (pq)r

X (Y Z) = (X Y) Z
Ley asociativa para la unin

Ley asociativa para la disyuncin

X U (Y U Z) = (X U Y) U Z

p(qr) (pq)r

Ley distributiva de la interseccin respecto a la

Ley distributiva de la conjuncin respecto a la

unin

disyuncin

X (Y U Z) = (X Y) U (X Z)

p(qr) (pq)(pr)

Ley distributiva de la unin respecto a la

Ley distributiva de la disyuncin respecto a la

interseccin

conjuncin

X U (Y Z) = (X U Y) (X U Z)

p(qr) (pq)(pr)

Ley de tautologa (ley idempotente)

Ley de tautologa

XUX=X

(pp) p

XX=X

Ley de complementacin

Leyes de negacin (complementacin)

X X = &

X U X = E
Leyes de absorcin

X U (X Y) = X
Leyes De Morgan

(X U Y) = X Y

(pp) p

pp = 1

pp = 0

Leyes de absorcin

X (X U Y) = X

p(pq) p

p(pq) p

Leyes de De Morgan

(X Y) = X U Y (pq) pq

Leyes con E y &

Leyes con 0 y 1

&UX=X

EX=X

0p p

1p p

EUX=E

&X=&

1p 1

0p 0

E = &

& = E

1 0

0 1

http://aparterei.com

(pq) pq

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

VI.

FUNCIONES Y TABLAS DE VERIFICACIN


En el apartado II hemos construido una notacin mediante la cual cualquier proposicin

se puede escribir en trminos de las proposiciones simples que la constituyen y de varias


conectivas lgicas. La cuestin que nos planteamos ahora es si estas expresiones son
funciones (entendiendo funcin como la expresin de unas variables dadas cuyo valor queda
unvocamente determinado para valores de las variables).
Hemos dicho ya que una proposicin p puede ser cierta o falsa, pero no ambas cosas a
la vez. Si consideramos p = 1 cuando la proposicin p es cierta, y p = 0 cuando es falsa,
conclumos que, en efecto, una proposicin simple es una funcin (que toma los valores 0 1).
Si esto vale para las proposiciones simples, debe valer tambin para las complejas. Los
valores que tomar una proposicin compleja depender del tipo de conectiva(s) que une sus
partes simples. Debido a la multitud de combinaciones posibles, se usan tablas de verificacin
para exponerlas:
Variables

Funciones proposicionales

pq

pq

pq

pq

Todas las conectivas enlazan pares de proposiciones que satisfacen la condicin


esencial de una funcin (ningn valor del conjunto inicial tiene ms de una imagen). Toda
funcin proposicional se puede describir completamente mediante su tabla de verificacin (o de
verdad, como suele llamarse).
Esta consideracin del CP como funcin tiene en parte su origen en la obra Mathematical
Analysis of Logic de Boole, donde describe el despliegue formal de su sistema mediante lo que
el llama development (expansin). El mismo Boole, no consciente de la importancia de tal
procedimiento, lo considera como un caso degenerado del teorema de MacLaurin. Para
constatar la importancia real de las expansiones (funciones, al fin y al cabo), vase el apartado
de implementacin de funciones booleanas.

http://aparterei.com

lgebra de Boole. Javier Borge Holthoefer

C.

LGEBRA DE BOOLE

I.

INTRODUCCIN

A Parte Rei 25

En la seccin anterior hemos visto que las aportaciones de Boole jugaron un papel
primordial para alcanzar la unificacin del CP y la TC. En esta seccin nos limitaremos a
presentar el cuerpo del lgebra de Boole tal y como l lo concibi.
Para ello, es necesario antes distinguir antes entre operaciones binarias y operaciones
unitarias, aunque ya lo hayamos intudo implcitamente con anterioridad:
a. OPERACIONES BINARIAS
Una operacin binaria () en un conjunto A es una operacin tal que si a,b son elementos
del conjunto A, tambin lo es ab.
Por ejemplo, en aritmtica, es la divisin (4) una operacin binaria? Puede o no serlo,
depende del conjunto que consideremos. Si el conjunto considerado es +, entonces 4 es una
operacin binaria. Si, por el contrario, el conjunto a considerar es Z, entonces 4 no resulta ser
una operacin binaria.
b. OPERACIONES UNITARIAS
Una operacin unitaria (~) sobre un conjunto A es una operacin tal que si a es un
elemento de A, tambin lo es ~a.
Volvamos a la aritmtica para elaborar un ejemplo. es la operacin tomar el valor
negativo de () una operacin unitaria? Si consideramos tal operacin sobre el conjunto Z+,
entonces () no es una operacin unitaria; si, por el contario, la consideramos sobre todos los
nmeros enteros, Z, () s cumple con el requisito para ser operacin unitaria.

II.

POSTULADOS Y TEOREMAS DEL LGEBRA DE BOOLE


Aunque pueda parecer contradictorio, aqu no enunciaremos los postulados y teoremas

que el propio Boole present. En cambio, ofrecemos los que Huntington pens para un lgebra
de Boole en 1904. De nuevo, es Kneale quien as lo aconseja:
Aunque el sistema de Boole permite su fcil manipulacin, hay que admitir que contiene
defectos no slo desde el punto de vista de la elegancia, sino asimismo de rigor. [...] A lo largo de medio
siglo tras la publicacin de las Laws of Thought, todas estas deficiencias seran subsanadas por los
seguidores de Boole. Jevons inici las reformas en 1864 con su Pure Logic, or the Logic of Quality apart
from Quantity. [...] Sin embargo, el paso ms importante en esta direccin consiste en la presentacin del
clculo en forma estrictamente axiomtica. Mientras que Boole se haba contentado con caracterizar su

http://aparterei.com

10

lgebra de Boole. Javier Borge Holthoefer

A Parte Rei 25

sistema mediante un nico principio que pareciera diferenciarlo del lgebra numrica ordinaria, sus
sucesores intentaron explicar todos sus presupuestos. Donde mejor cabe estudiar los resultados de esta
empresa es en los trabajos de E.V. Huntington (Sets of independent Postulates for the Algebra of Logic)

Sin ms prembulos, veamos cules son esos postulados y teoremas:


El lgebra de Boole es una estructura algebraica definida por dos operadores binarios (
y ) de tal forma que satisfacen los siguientes postulados:
P1 : POSTULADO DE LOS ELEMENTOS DE IDENTIDAD
(a) Un elemento de identidad con respecto al operador es designado por 0 y cumple:
x 0 = 0 x = x, siendo x B
(b) Un elemento de identidad con respecto al operador es designado por el smbolo 1
y cumple:
x1 = 1x = x, siendo x B
P2 : PROPIEDAD CONMUTATIVA
(a) Conmutatividad con respecto al operador
xy = yx
(b) Conmutatividad con respecto al operador
xy = yx
P3 : PROPIEDAD DISTRIBUTIVA
(a) Distributividad con respecto al operador
x(y+z) = xy + xz
(b) Distributividad con respecto al operador
x( yz) = (xy)(xz)
P4 : AXIOMAS DEL COMPLEMENTO
(a) x x = 1
(b) x x = 0
T1 : TEOREMA DE LOS ELEMENTOS DOMINANTES:
(a) x 1 = 1
(b) x 0 = 0
T2 : TEOREMA DE IDEMPOTENCIA
(a) x x = x
(b) x x = x
T3 : LEY INVOLUTIVA
(x) = x
http://aparterei.com

11

lgebra de Boole. Javier Borge Holthoefer

A Parte Rei 25

T4 : TEOREMA DE ABSORCIN
(a) x (x y) = x
(b) x (x y) = x
T7 : LEYES DE MORGAN
(a) (x y) = xy
(b) (xy) = x y
Ley de Morgan generalizada
(a) (xyz...) = xyz.....
(b) (xyz....) = xyz...
OBSERVACIONES:
1) Todos los postulados y teoremas presentados tienen su equivalente en las leyes
de la TC y el CP (ver tabla en la pgina 9).
2) Los teoremas del lgebra de Boole son demostrables, a diferencia de los del
lgebra convencional, por el mtodo de induccin completa. La induccin
completa slo puede darse si se comprueba que la relacin entre los elementos
que el teorema define se cumple en todos los casos. Para realizar esto, se
utilizan las tablas de verdad.
3) Los postulados y teoremas del lgebra han sido listados a pares, parte (a) y parte
(b). Una parte puede obtenerse a partir de la otra mediante el intercambio de los
elementos unitarios (0 y 1) y los operadores binarios ( y ). Esto se conoce
como el Principio de dualidad, gracias al cual cualquier apartado de los
postulados puede obtenerse a partir del otro sin ms que intercambiar los
operadores binarios y los elementos unitarios.
Los postulados de Huntington no han sido los nicos intentos de mejorar el lgebra de
Boole. Otros intentos conocidos en el mbito de las matemticas son los de Birkhoff y
MacLane5. Por supuesto, me abstengo de reproducirlos.

Survey of Modern Algebra, cap. XI, 4.

http://aparterei.com

12

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

D. DE BOOLE A LA ELECTRNICA DIGITAL


Debido a que los computadores trabajan con informacin binaria, la herramienta
matemtica adecuada para el anlisis y diseo de su funcionamiento es el lgebra de Boole en
su forma bivalente, aunque fue desarrollada inicialmente para el estudio de la lgica. Ha sido a
partir de 1938, fecha en que C.E. Shanon public su obra Anlisis simblico de circuitos con
rels, estableciendo los primeros conceptos de la actual teora de la conmutacin, cuando se ha
producido un aumento considerable en el nmero de trabajos de aplicacin del lgebra de Boole
a los computadores digitales. Hoy en da, esta herramienta resulta fundamental para el
desarrollo de los computadores ya que, con su ayuda, el anlisis y sntesis de combinaciones
complejas de circuitos lgicos puede realizarse con rapidez y eficacia.

I.

PUERTAS LGICAS
Para que el lgebra de Boole se torne realmente til de cara a la electrnica y la

computacin, sta debe plantearse como un lgebra bivalente. No hay acuerdo acerca de si tal
lgebra naci bivalente, o el ser bivalente es una restriccin aadida para facilitar su
aplicacin. A este respecto, Kneale y Bochnski mantienen opiniones contrapuestas6.
En cualquier caso, este lgebra bivalente aplicada tiene las mismas tablas de verdad del
CP expuestas anteriormente, cambindoles slo la nomencalatura: donde decamos
disyuncin (), ahora decimos OR; donde decamos conjuncin (), decimos AND; donde
decamos negacin (), ahora decimos INVERSOR o NOT. Veamos de nuevo la tabla con el
vocabulario renovado:
Variables
x

Funciones proposicionales
y

x+y

xy

(operacin OR)

(operacin AND)

La postura de Kneale puede verse en la pgina 382 de El desarrollo de... La de Bochnski, en la pgina
312 de Historia de...(VER BIBLIOGRAFA)
http://aparterei.com

13

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

x
(operacin NOT)
x

Por supuesto, existen otros operadores adems de estos. Vase la sigiuente tabla con
todos los operadores y su smbolo ms extendido (de este modo nos avanzamos un poco al
contenido de la siguiente seccin, dedicado ntegramente a la aplicacin del lgebra de Boole
dentro de la electrnica) :
FUNCIN
Sumadora
OR
Multiplicadora
AND
Inversora
NOT
Sumadora negadora
NOR

SMBOLO

ECUACIN LGICA
S=a+b

S=ab

S = a

S = (a + b)

Multiplicadora negadora
NAND

S = (a b)

Suma exclusiva
OR EXCLUSIVA

S = a b + a b

Suma exclusiva negada


NOR EXCLUSIVA

http://aparterei.com

S = a b + a b

14

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

II.

FUNCIONES BOOLEANAS
La aplicacin ms directa de las puertas lgicas es la combinacin entre dos o ms de

ellas para formar circuitos lgicos que responden a funciones booleanas (las cuales, hemos
visto ya [seccin B, apartado VI], fueron minusvaloradas por Boole). Una funcin lgica hace
que una o ms salidas tengan un determinado valor para un valor determinado de las entradas.
Tales funciones o ecuaciones consisten en un nmero finito de constantes (0, 1) y
variables conectados por los operadores (+), () y () de forma que (+) y () no pueden estar
adyacentes nunca. Cada expresin de conmutacin de n-variables describe una nica funcin
de conmutacin de n-variables.
Se pueden tomar como ejemplos las funciones de la tabla de la pgina anterior,
correspondientes a los distintos operadores lgicos.

Por supuesto, hay ecuaciones equivalentes. Dos expresiones de conmutacin A y B se


dicen equivalentes (A=B) si ellas describen la misma funcin de conmutacin.
Ejemplo : Sea F = a+bc y G = (a+b)(a+b+c)
a
1
1
1
1
0
0
0
0

b
1
1
0
0
1
1
0
0

c
1
0
1
0
1
0
1
0

F
1
1
1
1
0
1
0
0

G
1
1
1
1
0
1
0
0

f y g son equivalentes porque describen la misma tabla de verdad.

http://aparterei.com

15

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

III.

IMPLEMENTACIN DE FUNCIONES BOOLEANAS


Para el diseo de circuitos digitales slo cabe hacer la precisin del siguiente convenio:
-

Presencia de tensin: 1

Ausencia de tensin: 0

Con este criterio, podemos proceder a la implemantacin de funciones.


Dado un sistema combinacional cualquiera compuesto de x entradas y una salida (F, la
funcin a implementar) podemos utilizar dos tipos de ecuaciones (formas cannicas de las
ecuaciones booleanas):
-

Ecuacin minterms: obtendremos la suma de productos de las variables entrada


cuyas combinaciones hacen 1 la funcin. Convenio a aplicar: 0 variables negada;
1 variable sin negar. La implementacin se realizar mediante puertas NAND.

Ecuacin maxterms: obtendremos el producto de las sumas de las variables


entrada cuyas combinaciones hacen 0 la funcin. Convenio a aplicar: 1 variable
negada; 0 variable sin negar. La implementacin se realizar mediante puertas
NOR.

Lo que se logra con estas ecuaciones es la expresin correspondiente a una tabla de


verdad dada. Tal expresin es, adems, simplificable algebraicamente mediante los postulados
y teoremas enunciados ms arriba (aunque la simplificacin se obtiene casi siempre por
mtodos tabulares [por el simple motivo de que es ms fcil] como veremos en el apartado
siguiente). Por ejemplo, intentemos obtener la ecuacin de la siguiente tabla de verdad:

http://aparterei.com

16

lgebra de Boole. Javier Borge Holthoefer

A Parte Rei 25

Si queremos obtener la ecuacin de esta tabla en la forma suma de productos


(minterms), debemos fijarnos en los 1 de la columna de F: el primero que encontramos (1 fila)
viene dado por el producto abc (en esa fila, a = 1, b = 1 y c = 1). Aplicando esta sencilla forma
de proceder, la ecuacin queda:
F = (abc)+(abc)+(abc)+(abc)
Como producto de sumas (maxterms) debemos fijarnos en los 0 de la columna de F.
Hay que tener en cuenta que aqu 1 es la variable negada.
F= (a+b+c)(a+b+c)(a+b+c)(a+b+c)

IV.

MTODOS TABULARES DE SIMPLIFICACIN DE ECUACIONES


El recurso a las tablas para la simplificacin de ecuaciones booleanas es, como ya se ha

dicho, fruto de su mayor simplicidad. Aunque existen otros mtodos (como las tablas de QuineMcCluskey7), nos limitaremos a explicar someramente el mtodo conocido como mapas de
Karnaugh. stos se pueden utilizar para simplifcar funciones de dos a seis variables, aunque
habitualmente slo se los emplee para funciones de dos a cinco variables.
El mtodo grfico de Karnaugh, desarrollado en The Map Method for Synthesis of
Combinatorial Logic Circuits (AIEE, vol. 72, 1953), se basa en otro de E. W. Veitch publicado
en A Chart Method for Simplifying Truth Functions (ACM, 1952). Esta tcnica se convirti
rpidamente en la herramienta ms potente entre los diseadores de computadores y expertos
en lgica digital durante la dcada de los 50.
Entrando en materia, los mapas estn constitudos por una cuadrcula en forma de
encasillado cuyo nmero de casillas depende del nmero de variables que tenga la funcin a
simplificar. Cada una de las casillas que forman el mapa puede representar trminos tanto
minterms como maxterms. Veamos un ejemplo de mapa con tres variables en trminos de
maxterms, siguiendo la tabla de la pgina 17:

El algoritmo de Quine se halla en The problem of Simplifying Truth Functions (1952), y fue modificado
por Edward J McCluskey (Jr.) Minimization of Boolean Functions, en Bell Syst. Tech. Journal 1956
http://aparterei.com

17

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

El principio de simplificacin de los mapas se basa en una de las leyes del lgebra de
Boole:
a b + a b = a
Como podemos observar, todas las casillas contiguas se caracterizan por diferenciarse
slo en una variable, que se encuentra negada en una de ellas y sin negar en la otra. Tal
caracterstica, propia de todos los mapas de Karnaugh, permiten aplicar la ley anterior.
Para proceder a la simplificacin, debemos fijarnos slo en las casillas que contienen 1
(si simplificaremos por maxterms), o las que contienen 0 (si simplificaremos por minterms).
Aqu trabajaremos con las casillas 1.
En trminos generales, podemos afirmar que en los mapas de Karnaugh se pueden
simplificar entre s, por sus variables comunes, los siguientes grupos de casillas:
o

Grupos de 2, 4, 8 ... casillas contiguas segn los ejes coordenados, nunca segn ejes
diagonales.

Los grupos de casillas de los bordes del mapa.

El grupo de casillas constutudo por las cuatro esquinas del mapa.

Por lo tanto, en nuestro ejemplo, procederamos del siguiente modo:

La ecuacin correspondiente a la 2 columna es: abc + abc Sacando factor comn,


queda (ab)(c+c). Puesto que c+c = 1, segn el cuarto postulado de Huntington, entonces la 2
columna queda ab. Si procedemos del mismo modo en el grupo de la 2 fila y con la casilla del
borde derecho de la 1 fila, resulta la funcin ya simplificada F = ab + bc + abc

http://aparterei.com

18

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

ANEXO I: Comprobacin de algunas leyes del lgebra de conjuntos


mediante representaciones diagramticas (Venn)

Ley asociativa para la interseccin:


X (Y Z) = (X Y) Z
Diagramas:

El sombreado representa Z Y

El sombreado representa X Y

http://aparterei.com

El sombreado representa X (Z Y)

El sombreado representa (X Y) Z

19

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

Ley asociativa para la unin:


X U (Y U Z) = (X U Y) U Z
Mediante diagramas:

El sombreado representa Y U Z

El sombreado representa X U Y

El sombreado representa X U (Y U Z)

El sombreado representa (X U Y) U Z

Ley distributiva de la interseccin respecto a la unin:


X (Y U Z) = (X Y) U (X Z)

YUZ

http://aparterei.com

X (Y U Z)

XY

XZ

(X Y) U (X Z)

20

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

Ley distributiva de la unin respecto a la interseccin:


X U (Y Z) = (X U Y) (X U Z)
Esquema:

YZ

X U (Y Z)

XUY

XUZ

(X U Y) (X U Z)

Al usar los diagramas de Venn hemos remarcado que ayudan a comprobar la validez de
las leyes. Por s mismos, los diagramas de Venn no constituyen una demostracin definitiva,
aunque sugieren el mtodo a seguir. Aqu nos abstendremos de llevar a cabo tales
demostraciones, considerando como suficientes los diagramas reproducidos.8

Tales demostraciones se hallan en multitud de manuales. Por ejemplo, puede consultarse la obra de
Kaye, D. Sistemas booleanos. Ediciones Alhambra, Madrid, 1970.
http://aparterei.com

21

lgebra de Boole. Javier Borge Holthoefer

A Parte Rei 25

ANEXO II: La Lgica en casa. Un ejemplo de Lgica aplicada:


decodificador 7 segmentos.
A lo largo del trabajo hemos repetido la idea de la enorme importancia que tiene para
nuestra sociedad el lgebra de Boole aplicada. Son grandes palabras, y por ello pueden sonar
exageradas.
Incluyo este Anexo para mostrar que no hay tal exageracin. Todos tenemos en casa un
despertador digital o un video, cuyos dgitos se caracterizan por estar formados a partir de
segmentos, tal como muestra la figura:

Como vemos, cada segmento tiene asignada una letra minscula, y el conjunto se
conoce como decodificador de 7 segmentos.
Algo tan simple a primera vista lleva tras de s todo un dispositivo lgico de cierta
envergadura. Para no complicarnos, vamos a disear solamente el dispositivo que enciende el
segmento a.
Para empezar, hemos de determinar cuntas variables entrada necesitamos para
construir una tabla de verdad. Tal tabla debe tener, como mnimo, diez filas (puesto que hay
diez dgitos). S tenemos cierta prctica con las tablas de verdad, sabemos que el nmero de
filas viene determinado por 2n , donde n = n de variables entrada. Por lo tanto, nos hacen falta
como mnimo 4 entradas (pues es la primera potencia de 2 que sobrepasa el valor 10, que son
las filas mnimas necesarias). Hecho esto, construimos la tabla teniendo presente cundo debe
encenderse el segmento a: lo hace en 0, 2, 3, 5, 6, 7, 8 y 9. La tabla queda del siguiente modo:

http://aparterei.com

22

A Parte Rei 25

lgebra de Boole. Javier Borge Holthoefer

Decimal

A3

A2

A1

A0

10

11

12

13

14

15

Los valores x tanto de la tabla como del correspondiente mapa de Karnaugh indican
estados indiferentes. A partir del mapa obtendremos la funcin booleana del segmento a ya
simplificada:

F= (A2A0)+A1+(A2A0)

http://aparterei.com

23

lgebra de Boole. Javier Borge Holthoefer

A Parte Rei 25

Para acabar, aqu ofrecemos el esquema de la funcin que hemos obtenido:

Cuando se den las condiciones exigidas por la tabla de verdad, se iluminar el LED
(Light Emission Diode) correspondiente al segmento a.
Como vemos, este es un tema harto complejo: para lograr la formacin de un dgito
entero, tendramos que conocer las tablas, mapas y esquemas del resto de segmentos, y
relacionarlos de modo que actuasen coordinadamente. Por no hablar, yendo ms all, si
pretendisemos hacer que contara, al modo de un reloj... Valga esto como muestra de que slo
una herramienta potente y (relativamente) simple ha podido propiciar la revolucin digital de
finales de siglo XX.

http://aparterei.com

24

lgebra de Boole. Javier Borge Holthoefer

A Parte Rei 25

BIBLIOGRAFA9:

Arnold, R. Logic and Boolean Algebra. Prentice-Hall, New York, 1962.


Bochnski, I. Historia de la Lgica formal. Editorial Gredos, Madrid, 1967.
Breuer, S. Introduction to the theory of sets. Prentice-Hall, New York, 1958.
Cuesta, L. Electrnica digital. Editorial McGraw-Hill, Madrid, 1992.
Freudenthal, G. The language of Logic. Elsevier, London, 1966.
Goodstein, D. Boolean algebra. Pergamon, Oxford, 1963.
Hoernes, G. Introduccin al lgebra de Boole y a los dispositivos lgicos. Editorial
Paraninfo, Madrid, 1972.
Kneale, W. y M. El desarrollo de la lgica. Editorial Tecnos, Madrid, 1972.
Shin, S. The logical status of diagrams. Cambridge University Press, Cambridge,
1994.
Stoll, T. Sets, logic and axiomatic theories. Freeman, New York, 1961.
Vega, L. Una gua de historia de la lgica. Uned, Madrid, 1996.
Whitesitt, J. Boolean algebra and its applications. Addison Wesley, Reading
(Mass.), 1961.

AGRADECIMIENTO: Este trabajo no habra sido posible sin la generosidad del Sr. Francisco Garca
Estarlich y el Dr. Jos Mencia Bravo, del Departamento de Ingeniera Informtica y Matemticas de la
Escuela Tcnica Superior de Ingeniera de la Universitat Rovira i Virgili (Tarragona). A ellos les debo el
acceso a la mayor parte de esta bibliografa, as como su valioso criterio personal.
http://aparterei.com

25

You might also like