Está en la página 1de 10

a) Que es el Algebra de Boole?

Esta forma de clculo desarrollada por George Boole es un sistema


mediante el cual ciertos razonamientos lgicos pueden expresarse en
trminos matemticos. Los elementos del lgebra de Boole son un
conjunto de proposiciones, es decir, de hechos expresados mediante
oraciones del lenguaje natural. Tales proposiciones tienen como
propiedad ser verdaderas o falsas. Al mismo tiempo, y prescindiendo
de si son verdaderas o falsas, cada proposicin tiene lo que se llama
su proposicin complementaria, que no es sino la negacin de la
misma: la negacin de la proposicin P es la proposicin
complementaria P'.
Las consecuencias de estas proposiciones pueden descubrirse
realizando operaciones matemticas sobre los smbolos que las
representan. Las dos operaciones bsicas son la conjuncin y la
disyuncin. Su sentido es fcil de comprender si se piensa en las dos
partculas gramaticales correspondientes, la conjuncin copulativa "y"
(con idea de adicin o suma) y la conjuncin disyuntiva "o" (con idea
de exclusin). En el lenguaje natural, sin embargo, tales conjunciones
pueden tener otros valores, cosa que obviamente no ocurre en el
lgebra de Boole.
Como ejemplo simple, consideremos las dos proposiciones siguientes:
"hoy estar en casa" y "maana estar en casa". Representamos la
primera proposicin con el smbolo P y la segunda con el smbolo Q.
Las dos proposiciones pueden combinarse en una de dos formas: por
un lado, P o Q (hoy estar en casa o maana estar en casa), y, por
otro P y Q (hoy estar en casa y maana estar en casa).
Las reglas del lgebra de Boole pueden utilizarse para determinar las
consecuencias de las diversas combinaciones de estas proposiciones
en funcin de si las proposiciones son verdaderas (V) o falsas (F). As,
si ambas proposiciones son verdaderas, la combinacin P y Q es
tambin verdadera. Es decir, si la proposicin "hoy estar en casa" (P)
es verdadera, y la proposicin "maana estar en casa" (Q) tambin
es verdadera, entonces la combinacin "hoy estar en casa y maana
estar en casa" (P y Q) tambin debe ser verdadera.
Supongamos, en cambio, que P es verdadera y Q es falsa. Es decir, la
proposicin "hoy estar en casa" (P) es verdadera, pero la proposicin
"maana estar en casa" (Q) es falsa. En tal caso, la combinacin
"hoy estar en casa y maana estar en casa" (P y Q) debe ser falsa.
Como puede imaginarse, la mayora de las cuestiones que aborda el
lgebra de Boole son mucho ms arduas que este ejemplo simple.
Con el paso del tiempo, los matemticos han desarrollado complejas
tcnicas para formalizar y calcular procesos lgicos muy complicados.

Dos elementos del lgebra de Boole la convierten en una forma


matemtica muy importante para su aplicacin prctica. En primer
lugar, las proposiciones expresadas en el lenguaje diario (como "hoy
estar en casa") pueden convertirse en expresiones matemticas,
como letras y nmeros. En segundo lugar, esos smbolos
generalmente tienen uno de dos valores: las proposiciones pueden
ser afirmativas o negativas (complementarias); las operaciones son
conjuncin o disyuncin; y no slo las proposiciones, sino tambin el
resultado de sus combinaciones (P, Q, P y Q, P o Q), son verdaderas o
falsas. Esto significa que pueden expresarse por medio de un sistema
binario: verdadero o falso; s o no; 0 o 1.
El sistema matemtico binario es el sistema numrico ms utilizado
en los ordenadores. Los sistemas computarizados consisten en
ncleos magnticos que pueden ponerse en marcha o detenerse; los
nmeros 0 y 1 se usan para representar los dos estados posibles de
un ncleo magntico. Las operaciones que los microprocesadores
pueden llevar a cabo con la informacin binaria son muy simples
(negacin, conjuncin y disyuncin siguiendo el lgebra de Boole, y
tambin comparaciones y las cuatro operaciones aritmticas), pero la
combinacin de todas estas operaciones a grandsima velocidad
permite ejecutar tareas muy complejas. De este modo, los
procedimientos de clculo lgico del lgebra de Boole han pasado a
constituir la "inteligencia" de multitud de objetos cotidianos: cuando
los ingenieros disean los circuitos para los ordenadores personales,
calculadoras de bolsillo, lectores de discos compactos, telfonos
mviles y una gran cantidad de otros tipos de productos electrnicos,
no hacen sino capacitarlos para ejecutar operaciones y procesos
basados en los principios del lgebra de Boole.

b) Historia
George Boole

Naci el 2 de noviembre de 1815 en Lincoln, Lincolnshire.


Autodidacta, aprendi por su cuenta latn y griego. Con 12 aos ya
era un experto en latn. Tradujo una oda de Horacio. Su primer
contacto con las matemticas lo tuvo gracias a su padre quin le dio
tambin la aficin para la construccin de instrumentos pticos. Con
16 aos comenz a ejercer como profesor auxiliar de colegio. En 1835
abri su propio colegio. Estudi los trabajos de Laplace y Lagrange y
se inici en el lgebra. Public la solucin de ecuaciones
diferenciales en el "Transaction of the Royal Society". Gracias a este
trabajo le concedieron la medalla de la Real Sociedad.
Fue nominado para una ctedra de matemticas en el Queens
College, Cork en 1849.
En el ao 1854 public Una investigacin de las leyes del
pensamiento sobre las cuales son basadas las teoras matemticas de
Lgica y Probabilidad.
Comienza el lgebra de la lgica llamada Algebra Booleana la cual
ahora encuentra aplicacin en la construccin de computadores,
circuitos elctricos, etc.
En 1859 se public el clculo de las diferencias finitas, "Tratado sobre
el Clculo de las Diferencias Finitas" (1860), y mtodos generales en
probabilidad.
Public alrededor de 50 escritos y fue uno de los primeros en
investigar las propiedades bsicas de los nmeros, tales como la
propiedad distributiva que fundamento los temas de lgebra.
Recibi grandes honores de las universidades de Dublin y Oxford y
fue elegido miembro acadmico de la Real Sociedad (1857).
George Boole falleci el 8 de diciembre de 1864
en Ballintemple, Irlanda.
A mediados del siglo XIX, George Boole , en sus libros: "The
Mathematical Analysis of Logic" (1847) y "An Investigation of te Laws
of Thought" (1854), desarroll la idea de que las proposiciones lgicas
podan ser tratadas mediante herramientas matemticas. Las

proposiciones lgicas (asertos, frases o predicados de la lgica


clsica) son aquellas que nicamente pueden tomar valores
Verdadero/Falso, o preguntas cuyas nicas respuestas posibles sean
S/No. Segn Boole, estas proposiciones pueden ser representadas
mediante smbolos y la teora que permite trabajar con estos
smbolos, sus entradas (variables) y sus salidas (respuestas) es la
Lgica Simblica desarrollada por l. Dicha lgica simblica cuenta
con operaciones lgicas que siguen el comportamiento de reglas
algebraicas. Por ello, al conjunto de reglas de la Lgica Simblica se le
denomina LGEBRA DE BOOLE.
A mediados del siglo XX el lgebra Booleana result de una gran
importancia prctica, importancia que se ha ido incrementando hasta
nuestros das, en el manejo de informacin digital (por eso hablamos
de Lgica Digital). Gracias a ella, Shannon (1930) pudo formular su
teora de la codificacin y John Von Neumann pudo enunciar el
modelo de arquitectura que define la estructura interna de los
ordenadores desde la primera generacin.
Todas las variables y constantes del lgebra booleana, admiten slo
uno de dos valores en sus entradas y salidas: S/No, 0/1 o
Verdadero/Falso. Estos valores bivalentes y opuestos pueden ser
representados por nmeros binarios de un dgito (bits), por lo cual el
lgebra booleana se puede entender cmo el lgebra del Sistema
Binario. Al igual que en lgebra
tradicional, tambin se trabaja con letras del alfabeto para denominar
variables y formar ecuaciones para obtener el resultado de ciertas
operaciones mediante una ecuacin o expresin booleana.
Evidentemente los resultados de las correspondientes operaciones
tambin sern binarios.
Todas las operaciones (representadas por smbolos determinados)
pueden ser materializadas mediante elementos fsicos de diferentes
tipos (mecnicos, elctricos, neumticos o electrnicos) que admiten
entradas binarias o lgicas y que devuelven una respuesta (salida)
tambin binaria o lgica. Ejemplos de dichos estados son:
Abierto/Cerrado (interruptor), Encendida/Apagada (bombilla),
Cargado/Descargado (condensador), Nivel Lgico 0/Nivel lgico 1
(salida lgica de un circuito semiconductor), etctera.
Los dispositivos con los cuales se implementan las funciones lgicas
son llamados puertas (o compuertas) y, habitualmente, son
dispositivos electrnicos basados en transistores. Estos dispositivos, y
otros que veremos a lo largo de esta unidad, son los que permiten el
diseo, y la ulterior implementacin, de los circuitos de cualquier
ordenador moderno, as como de muchos de los elementos fsicos que
permiten la existencia de las telecomunicaciones modernas, el control
de mquinas, etctera. De hecho, pensando en los ordenadores como
una jerarqua de niveles, la base o nivel inferior sera ocupada por la

lgica digital (en el nivel ms alto del ordenador encontraramos los


actuales lenguajes de programacin de alto nivel).
En esta unidad se representan las puertas lgicas elementales,
algunas puertas complejas y algunos ejemplos de circuitos digitales
simples, as como algunas cuestiones de notacin. Por otra parte se
plantean actividades de trabajo, muchas de las cuales implican una
respuesta escrita en vuestro cuaderno de trabajo. El deseo del autor
es que os resulte sencillo y ameno adentraros en el mundo de la
lgica digital y despertaros la curiosidad, tanto por ella, como por la
matemtica que subyace en ella.

c) Leyes
1)Conmutatividad:
Formulas
A+B=B+A
AB =BA
Explicacin

Para la suma de dos variables se escribe:


A+B=B+A
El orden de las variables no hace diferencia
Para la multiplicacin de dos variables se escribe:
AB = BA
El orden en de las variables no hace diferencia
Demostracin
Tabla de Verdad

2) Asociatividad:
Formula
A + (B + C) = (A+ B) + C
A (B C) = (A B) C
Explicacin
Para la suma de tres variables se escribe:
A + (B + C) = (A + B) + C
Para la multiplicacin de tres variables se escribe:
A (BC) = (AB) C

Cuando se crean ms de dos variables, el resultado es el mismo sin


importar la agrupacin.
Cuando se crean dos o ms variables, no importa el orden en que se
agrupen las variables.
Demostracin
Tabla de Verdad

3) Distributividad:

Formula
X + (Y Z) = (X + Y) (X + Z)
X (Y + Z) = (X Y) + (X Z)
Explicacion
Se escribe para tres variables como:
A (B + C) = AB + AC
OReando dos o ms variables y ANDeando posteriormente el
resultado con una sola variable es equivalente a ANDear la variable
sola con cada una de las dos o ms variables y despues ORear los
productos.
El proceso inverso (factorizacin) tambin es expresado por esta ley.
Una variable comn se factoriza de los trminos.
Demostracion
Tabla de Verdad

4) Elementos Neutros (Identidad):


Formula
X+0=X
X1=X
Explicacin:
A + 0 = A. Una variable OR eada con 0 es siempre igual a la
variable.
X=A+0=A
A + 1 = 1. Una variable OR eada con 1 es siempre igual a 1.
X=A+1=A

A 0 = 0. Una variable AND eada con 0 es siempre igual a 0.


X=A*0=0
A 1 = A. Una variable AND eada con 1 es siempre igual a la variable.
X=A*1=A

Demostracion

5) Complemento:
X+X=1
XX=0
Explicacion
Una variable AND eada con su complemento es siempre igual a 0.
X=A*A=0

6) Dominacin:

X+1=1X0=0
Demostracin:
X + 1 = (X + 1) 1 = (X + 1) (X + X)
(X + 1) (X + X) = X + (1 X) = 1

7) Impotencia:
X+X=X
XX=X
8) Doble complemento:
X=X
9) Absorcin:
X+XY=X
X (Y + X) = X
Demostracin:
X + X Y = (X 1) + (X Y) = X (1 + Y) = X

10) De Morgan:
Formula
AB=A+B
A+B=AB
Explicacion
El complemento de un producto de variables es igual a la suma de los
complementos de las variables
En otras palabras: El complemento de dos o ms variables AND eadas
es equivalente al
OR de los complementos de las variables individuales.

El complemento de la suma de variables es igual al producto de los


complementos de
las variables.
En otras palabras: El complemento de dos o ms variables OReadas
es equivalente al
AND de los complementos de las variables individuales.

http://www.biografiasyvidas.com/biografia/b/boole.htm
http://www.buscabiografias.com/biografia/verDetalle/2120/George
%20Boole