Introduccin

Querido estudiante,

Haz dado inicio a la leccin evaluativa de reconocimiento de la segunda unidad. Al igual
que la primera unidad, sta se compone de cinco captulos.

En esta oportunidad estudiaremos los conceptos de Algebra Booleana, Tcnicas de
simplificacin y circuitos lgicos, para finalizar con un captulo en el cual haremos varios
interesantes diseos como estrategia de transferencia del conocimiento aprendido.

El equipo de lgica Matemtica te desea xitos en el desarrollo de la actividad.

Algebra Booleana
El lgebra de Boole es una estructura algebraica que nos permite dar rigor a las
operaciones lgicas de conjuncin, disyuncin y negacin vistas en el captulo dos de la
primera unidad, al igual que las operaciones de unin, interseccin y complemento que
vimos en el primer captulo.

George Boole, apasionado por la matemtica y la filosofa, fue el inventor del lgebra que
lleva su nombre, esta lgebra se dio a conocer al mundo, y para el deleite de los
estudiantes de la UNAD, cuando Boole tena 39 aos, en 1854 en la publicacin de la
investigacin "An Investigation of the Laws of Thought", en la cual, Boole desarrolla un
sistema de reglas bsicas para expresar, manipular y simplificar problemas lgicos y
filosficos por procedimientos matemticos, un mtodo que vena desarrollando desde
1947, cuando a la edad de 32 aos, publica "The Mathematical Analysis of Logic" .

Es por esto, que afirmamos que Boole fue el primero en usar las tcnicas algebraicas
para tratar expresiones de la lgica proposicional, una tcnica que se aplica, de manera
constante al mbito del diseo electrnico.

Ochenta y cuatro aos ms tarde, Claude Shannon, en 1938, sera el primero en aplicar
el lgebra Booleana, ya aplicada desde sus orgenes a la resolucin de problemas
lgicos y filosficos, en el diseo de circuitos de conmutacin elctrica biestables. En la
actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo
electrnico.

Referencias estilo APA:

George Boole. (2008, 15) de abril. Wikipedia, La enciclopedia libre. Fecha de consulta:
14:13, abril 17, 2008 from
http://es.wikipedia.org/w/index.php?title=George_Boole&oldid=16621666.


lgebra de Boole. (2008, 16) de abril. Wikipedia, La enciclopedia libre. Fecha de
consulta: 14:13, abril 17, 2008 from
http://es.wikipedia.org/w/index.php?title=%C3%81lgebra_de_Boole&oldid=16649338.


Aplicaciones del Algebra Booleana
Boole declara algunas proposiciones como entradas o variables de un sistema y las
respuestas o salidas del mismo, de esta manera, un sistema poda ser descrito por un
lgebra que el denomin Lgica Simblica. As, la lgica simblica desarrollada por
Boole, contiene un conjunto de reglas algebraicas que permiten su operacin, razn por
la cual la lgica Simblica de Boole y sus reglas algebraicas se han denominado lgebra
Booleana.

En el Algebra Booleana, los estados Verdadero y Falso, pasan a ser representados por
nmeros binarios de un dgito o bits, de all que el lgebra Booleana tambin se conozca
como el lgebra del sistema binario, un lgebra en la cual tambin trabajamos con
constantes, variables y operaciones de suma, resta y multiplicacin, para conformar
ecuaciones o expresiones booleanas.

De esta manera, un elemento fsico que represente dos estados como Abierto y cerrado
de una puerta o el encendido y apagado de una bombilla o un nivel alto y un nivel bajo
de agua en su seal de salida, o un modelo filosfico que arroje los estados verdadero y
falso, puede ser modelado y simplificado mediante el lgebra Booleana.

En los sistemas digitales, la implementacin de las funciones lgicas se realiza por
medio de dispositivos que denominamos puertas o compuertas, los cuales son
normalmente dispositivos electrnicos basados en transistores.

Esta lgica Booleana, se fue transformando en lo que conocemos hoy como Lgica
Digital, una lgica mediante la cual Shannon y John Von Neumann lograron desarrollar la
estructura interna de los computadores que an hoy est vigente. Es por esto que al
algebra de Boole debemos hoy el advenimiento de los computadores digitales y sus
aplicaciones van en aumento en muchos campos. El lmite es la creatividad.

Entre otras aplicaciones, hoy se hacen muchos desarrollos interesantes en el rea de
psicologa, mediante aplicaciones denominadas pruebas psicomtricas que utilizan todos
los recursos del lgebra de Boole para su diseo.

A continuacin encontrars un interesante ejemplo aplicado a las ciencias humanas:




Ejemplo de aplicacin

A continuacin, encontrars un interesante ejemplo de aplicacin a las ciencias
humandas, en el cual los doctores Antonio M. BATTRO y Percival J. DENHAM recurren a
los conceptos desarrollados en el lgebra de Boole como base terica de la
investigacin "Hacia una inteligencia digital", publicada por la Academia nacional de
educacin de Buenos Aires en el ao 2007:

Trataremos de ir de lo simple a lo complejo. Los instrumentos
musicales de teclado, por ejemplo, son una buena muestra de
programar acciones complejas con los dedos. Tienen la propiedad
de generar un sonido cuando se presiona una tecla. Esta es
la opcin clic que usa el pianista. Con un solo dedo puede crear
una meloda, con dos ya puede producir acordes, es decir crear
sonidos simultneos. Las combinaciones de sonidos aumentan
en forma exponencial a medida que aumentamos el nmero de
dedos sobre el teclado y el nmero de teclas. Por lo tanto hay un
espacio combinatorio que va aumentando, de una tecla a muchas,
los llamaremos espacios clic unarios, binarios, ternarios,
n-arios.

EL ESPACIO CLIC UNARIO. Como dijimos anteriormente, la alternativa
fundamental con un elemento (alternativa unaria) por s o por
no, por A o no A (en smbolos, A v ~A), genera un reticulado de
Boole que es la base lgica de todo el proceso de seleccin basado
en la opcin clic.
El reticulado elemental de Boole tiene 22, cuatro nodos. En
nuestro ejemplo del piano, la opcin clic elemental, es decir tocar
o no la tecla A, es el supremo del reticulado, que en el clculo
proposicional se expresa como la disyuncin A v ~A, donde
A signi.ca tocar la tecla A y ~A signi.ca no tocar la tecla A.
En cambio, el n.mo es la conjuncin A . ~A, que no tiene realizacin
musical posible pues es contradictoria, sera optar por
ambos opuestos conjuntamente. Se podra tambin interpretar
como la meta-opcin de no tomar ninguna opcin, ni por A ni
por ~A, de recusar este juego de opciones: algo equivalente a
cerrar el piano (o desconectar la computadora).

El experimento mayor/menor de Dehaene que hemos analizado
es un caso de espacio clic unario. Finalmente, las lneas
entre nodos que componen la trama del reticulado pueden interpretarse como caminos
heursticos, o sea como los caminos
por el espacio de opciones que nos ofrece la situacin. Como
se trata aqu del espacio ms restringido posible: una sola tecla
para tocar o no tocar, estos caminos son triviales, hay dos que
convergen al supremo y dos que van hacia el n.mo. Pero veremos
que cuando empieza a crecer el espacio de opciones los
caminos heursticos pueden ser de una enorme complejidad, e
inters.

EL ESPACIO CLIC BINARIO. Sigamos con el ejemplo del piano y del
pianista. Con dos teclas A y B, la combinatoria aumenta a 24, es
decir hay 16 nodos en el reticulado que representa este conjunto
de opciones. El nodo supremo, que representa todas las alternativas
posibles para dos elementos A y B, se puede representar
simblicamente por cuatro opciones bsicas. La expresin formal
de la opcin clic para dos elementos en el clculo lgico de
proposiciones es una tautologa (es siempre verdadera):

(A . B) v (A . ~B) v (~A . B) v (~A . ~B).

En el ejemplo del teclado, el primer miembro de esta expresin
(A . B) representa un acorde de dos notas; (A . ~B) signi.ca que
se toca la tecla A y no se toca la tecla B; (~A . B), que no se toca
la tecla A y se toca la tecla B; (~A . ~B), que no se toca ninguna
de las dos teclas (silencio).

EL ESPACIO CLIC TERNARIO. Como dijimos, para un espacio de opciones
de tres dimensiones (de.nido por tres elementos, A, B y
C), el nmero de combinaciones aumenta signi.cativamente y
obtenemos un reticulado con 256 nodos. Jean Piaget dedic un
libro a las operaciones ternarias, que l consideraba de.nitorio
del pensamiento operatorio formal del adolescente (Piaget 1952),
pero este no es el sentido que le atribuimos aqu.
Podemos trasladar el ejemplo de las opciones clic de un pianista
que tiene solo tres teclas disponibles, a la conducta de una
persona frente a una pgina de Internet donde existen solo tres
botones (o conos, frases subrayadas, imgenes, etctera), que
pueden ser activados en forma independiente. En una pgina
que tiene solo tres botones (A, B y C), hay ocho opciones clic
posibles, a saber:

(A . B . C) v (~A . B . C) v (~A . ~B . C) v (~A . ~B . ~C) v
(A . ~B . C) v (A . ~B . ~C) v (~A . B . ~C) v (A . B . ~C).

La combinatoria subyacente es inmensa, son 256 posibilidades
lgicas. La mente humana no necesita recorrerlas a todas,
salvo en el caso de un anlisis formal como el que estamos haciendo
ahora. Basta con elegir una de las ocho opciones clic por
vez en un sistema serial, como es lo habitual en las computadoras
corrientes. Y el espacio clic puede seguir expandindose
inde.nidamente en nmero creciente de dimensiones. Pero sea
cual fuere la complejidad del sistema, todo se reduce siempre a
una combinacin de opciones clic elementales. Estamos frente
a un fenmeno propio del mundo digital, ante un espacio clic en
expansin inde.nida. Y aqu se encuentra el fundamento de la
prodigiosa versatilidad y el enorme potencial de una inteligencia
digital.

Como pudimos apreciar, por medio de los conceptos desarrollados hasta ahora en el
curso, logramos identificar varios conceptos y smbolos propios de la Lgica Matemtica
utilizados en esta interesante propuesta.

Como lo expresamos en las pgina anterior, el lmite es la creatividad, ya que la lgica
matemtica, constituye una herramienta que te ayudar en el camino de elaborar
mejores razonamientos, y porque no, como en este ejemplo, servir de base para la
construccin de mejores argumentos.

Referencia:

Battro, Antonio M. Battro Denham.(2007) Hacia una inteligencia digital
Buenos Aires : Academia Nacional de Educacin. pp 44-46. Tomado de la Worl wide web
el 10 de Abril de2007 en http://www.byd.com.ar/InteligenciaDigital.pdf.<BR< a> />




Caractersticas del Algebra Booleana

El lgebra Booleana nos permite determinar si dos expresiones presentan o no la misma
funcin, de esta manera, podemos elegir la funcin ms simplificada, un conocimiento
que en el momento de implementar fsicamente una solucin a un problema lgico,
resulta crucial, ya que una funcin lgica con menos variables permite reducir dinero y
tiempo.

Uno de los mtodos especiales de simplificacin son los llamados mapas de Karnaugh,
un sistema fcil y rpido que permite simplificar expresiones siempre y cuando usemos
pocas variables.



Tcnicas de simplificacin

Tcnicas de simplificacin

Existen varios mtodos para simplificar expresiones Booleanas:

Los mtodos de simplificacin automticos, mtodos que son implementados en un computador,
por ejemplo el Quine-McCluskey
Otra tcnica desarrollada en esta unidad es la de simplificar funciones mediante manipulaciones
algebraicas, este sistema manual es un sistema lento y es difcil llegar a la representacin mnima
de una funcin lgica.
Los Mtodos grficos corresponden al mtodo desarrollado por Veitch-Karnaugh, un mtodo
tambin manual, ms fcil que el mtodo algebraico pero aplicable a pocas variables.

Los mapas de K, son una tcnica para la simplificacin de expresiones lgicas, inventada por
Veitch, y perfeccionada en 1950 por el fsico y matemtico Maurice Karnaugh en los laboratorios
Bell, es un mtodo que aprovecha la capacidad del cerebro humano para trabajar con patrones en
lugar de ecuaciones y otras formas de expresin analtica. Tambin son conocidos como los
mapas de K, K-Mapa o KV-Mapa.

Bsicamente consisten en una cuadrcula, en la cual se representan las tablas de verdad. De
manera tal que una tabla de verdad de 16 filas, tendr un correspondiente mapa de K con 16
cajones, cada uno de los cuales alberga un 0 o un 1, un valor que depender del valor que tome la
funcin en cada fila.

Es importante anotar que las tablas de Karnaugh son prcticas para simplificar funciones hasta de
6 variables.


Referencias:

Prats A. (2007). Introduccin y conceptos generales de Electrnica Digital.
http://64.233.169.104/search?q=cache:AKvMhgtMuDUJ:www.dinel.us.es/util/bajar.php%3Ffile%3D
TE_1_rev.pdf%26x%3D46%26y%3D8%26r%3D0+Veitch+mapas+de+k&hl=es&ct=clnk&cd=2&gl=c
o

Mapa de Karnaugh. (2008, 15) de abril. Wikipedia, La enciclopedia libre. Fecha de consulta: 18:10,
abril 17, 2008 from
http://es.wikipedia.org/w/index.php?title=Mapa_de_Karnaugh&oldid=16638673.<BR< a> />