REPBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DE EDUCACIN SUPERIOR INSTITUTO UNIVERSITARIO DE TECNOLOGIA INDUSTRIAL RODOLFO LOERO ARISMENDI CTEDRA: ARQUITECTURA

DEL COMPUTADOR

LGEBRA DE BOOLE

Integrante: Jose A., Peralta R. C.I. 13.409.489

Caracas, Septiembre de 2003

NDICE:

A. B.

INTRODUCCIN LGEBRA DE CONJUNTOS Y CLCULO PROPOSICIONAL

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 p.5 p.5 p.7 p.8 p.8 p.9

p.3

p.5

C.

LGEBRA DE BOOLE
I. INTRODUCCIN II. POSTULADOS Y TEOREMAS p.10 p.10

p.10

D.

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.15 p.16 p.17

p.13

ANEXO I ANEXO II BIBLIOGRAFA

p.19 p.22 p.25

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.

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.

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 y o Si... entonces Si y slo si

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

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}

IV.

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

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
Leyes conmutativas para la interseccin y la unin

CLCULO PROPOSICIONAL
Ley conmutativa

XY=YX XUY=YUX
Ley asociativa para la interseccin

pq qp pq qp
Ley asociativa para la conjuncin

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

p(qr) (pq)r
Ley asociativa para la disyuncin

X U (Y U Z) = (X U Y) U Z
Ley distributiva de la interseccin respecto a la unin

p(qr) (pq)r
Ley distributiva de la conjuncin respecto a la disyuncin

X (Y U Z) = (X Y) U (X Z)
Ley distributiva de la unin respecto a la interseccin

p(qr) (pq)(pr)
Ley distributiva de la disyuncin respecto a la conjuncin

X U (Y Z) = (X U Y) (X U Z)
Ley de tautologa (ley idempotente)

p(qr) (pq)(pr)
Ley de tautologa

XUX=X
Ley de complementacin

XX=X X X = & X (X U Y) = X

(pp) p pp = 1
Leyes de absorcin

(pp) p pp = 0 p(pq) p (pq) pq

Leyes de negacin (complementacin)

X U X = E
Leyes de absorcin

X U (X Y) = X
Leyes De Morgan

p(pq) p
Leyes de De Morgan

(X U Y) = X Y
Leyes con E y &

(X Y) = X U Y (pq) pq
Leyes con 0 y 1

&UX=X EUX=E E = &

EX=X &X=& & = E

0p p 1p 1 1 0

1p p 0p 0 0 1

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 p 1 1 0 0 q 1 0 1 0 pq 1 0 0 0 Funciones proposicionales pq 1 1 1 0 pq 1 0 1 1 pq 1 0 0 1

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.

C.
I.

LGEBRA DE BOOLE
INTRODUCCIN
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

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

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.

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 1 1 0 0 y 1 0 1 0 Funciones proposicionales x+y (operacin OR) 0 1 1 1 xy (operacin AND) 1 0 0 0

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)

x (operacin NOT) x 1 0 x 0 1

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 Multiplicadora negadora NAND Suma exclusiva OR EXCLUSIVA Suma exclusiva negada NOR EXCLUSIVA S = a b + a b S = a b + a b S = (a b) SMBOLO ECUACIN LGICA S=a+b

S=ab

S = a

S = (a + b)

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: 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0

f y g son equivalentes porque describen la misma tabla de verdad. 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}

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: 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 0 0 1 1 1 0 0

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

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 o 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

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 (Z Y)

El sombreado representa X Y

El sombreado representa (X Y) Z

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 U Z)

El sombreado representa X U Y

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

X (Y U Z)

XY

XZ

(X Y) U (X Z)

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.

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:

Decimal 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

A3 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

A2 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

A1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

A0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

F 1 0 1 1 0 1 1 1 1 1 X X X X X X

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)

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.

BIBLIOGRAFA:

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.