Introduccin

En 1815 el matemtico y lgico irlands George Boole, desarroll un sistema matemtico para
formular proposiciones lgicas con smbolos, de manera que los problemas pueden ser escritos y
resueltos de una forma similar al lgebra tradicional, llamada lgebra de Boole.
Luego en 1938 Claude Shannon propuso que con esta lgebra es posible modelar los llamados
Sistemas Digitales.
El lgebra de Boole se aplica en el anlisis y el diseo de los sistemas digitales. Una variable
booleana es cualquier smbolo que en un instante determinado slo puede tomar uno de dos
valores: 0 y 1. Existen varios tipos de circuitos lgicos que se utilizan para implementar funciones
lgicas u operaciones lgicas. Estos circuitos son los elementos bsicos que constituyen los
bloques sobre los que se construyen sistemas digitales ms complejos, como por ejemplo una
computadora.






Marco terico
George Boole
(Lincoln, Reino Unido, 1815 - Ballintemple, actual Irlanda, 1864) Matemtico britnico. Proceda de
una familia venida a menos y tuvo que desestimar la idea de convertirse en monje al verse
obligado a mantener a sus padres.
A los diecisis aos enseaba matemtica en un colegio privado y ms tarde fund uno propio. A
los veinticuatro aos, tras la publicacin de su primer escrito, pudo ingresar en Cambridge, pero
desestim la oferta, de nuevo a causa de sus deberes respecto a su familia. En 1849 fue nombrado
profesor de matemticas del Queens College, en Cork, donde permaneci el resto de su vida.
El gran descubrimiento de Boole fue aplicar una serie de smbolos a operaciones lgicas y hacer
que estos smbolos y operaciones por eleccin cuidadosa tuvieran la misma estructura lgica
que el lgebra convencional. En el lgebra de Boole, los smbolos podan manipularse segn reglas
fijas que produciran resultados lgicos.
En 1854 public Investigacin sobre las leyes del pensamiento, libro que trataba por completo de
la lgica simblica y su lgebra. La influencia de esta lgica matemtica sobre las matemticas
modernas tendra una evolucin lenta: si en un primer momento no pareca ms que un intrincado
juego de palabras, ms adelante se vio que era de lo ms til, y hasta completamente
indispensable para conseguir la matemtica lgica. Boole se cas a la edad de cuarenta aos y
tuvo cinco hijas, a las que no lleg a ver adolescentes.
Algebra de Boole
Minitrmino: Es un producto booleano en la que cada variable aparece slo una vez; es decir, es
una expresin lgica que se compone de variables y los operadores lgicos AND y NOT. P. ejem.
ABC y ABC.
Maxitrmino: Es una expresin lgica que se compone de variables y los operadores lgicos OR y
NOT. P. ejem. A+B+C y A+B+C.
Proporciona una notacin para describir funciones lgicas y define un nmero de operaciones que
se pueden realizar con el fin de simplificarlas.
El lgebra de Boole define variables, constantes y funciones para describir sistemas binarios, y una
serie de teoremas que permiten manipular expresiones lgicas.
Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1 (VERDADERO).
Variables booleanas: Son magnitudes que pueden tomar diferentes valores en diferentes
momentos. Pueden representar seales de entrada o de salida y reciben nombres de
caracteres alfabticos como: A, B, X, Y. Slo pueden tomar los valores 0 o 1.
Funciones booleanas: Describen el comportamiento del sistema. Cada operacin lgica
(suma, multiplicacin, negacin, ...) posee una notacin en el lgebra booleana.
El Algebra de Boole es un sistema matemtico que utiliza variables y operadores lgicos. Las
variables pueden valer 0 o 1. Y las operaciones bsicas son OR (+) y AND(). Luego se definen las
expresiones de conmutacin como un nmero finito de variables y constantes, relacionadas
mediante los operadores (AND y OR). En la ausencia de parntesis, se utilizan las mismas reglas de
precedencia, que tienen los operadores suma (OR) y multiplicacin (AND) en el lgebra normal.
Variable, complemento y literal son los trminos utilizados en lgebra booleana.
Variable smbolo utilizado para
representar una cantidad lgica
Complemento el inverso de una
variable y se indica con una barra
sobre la variable
Literal una variable o el
complemento de una variable


Leyes y teoremas
En el lgebra de Boole se cumplen las siguientes Leyes:


Funciones de conmutacin
Las funciones de conmutacin se pueden expresar: de Forma Algebraica, mediante una
Tabla de Verdad o en Forma Cannica.
La manera ms didctica de representar una funcin de conmutacin es mediante una
Tabla de Verdad, ya que en ella se muestran los valores de salida para cada combinacin
de valor de entrada.
Las Tablas de Verdad permiten modelar los Sistemas Combinacionales.
Formas Normales
Dada una tabla de verdad tambin es posible obtener la forma algebraica.
Existen 2 mtodos para identificar la forma algebraica: la forma normal disyuntiva y la
forma normal conjuntiva.
En el caso de la forma normal disyuntiva, es necesario identificar los 1s que resultan de la
tabla de verdad y formar los trminos (conjunciones fundamentales) que los representan.
Para formar las conjunciones fundamentales, se usa la variable complementada si para esa
combinacin tiene un cero, o se deja sin complementar, si en la combinacin hay un 1.
Formas Cannicas
Para la representacin de la forma
cannica, se utilizan las posiciones de
los mintrminos en la Tabla de Verdad.
Por ejemplo:





En el caso de la forma normal conjuntiva, se opera de manera contraria a la vista
anteriormente.
En este caso es necesario identificar los 0s que resultan de la tabla de verdad y formar los
trminos (disyunciones fundamentales o maxitrminos) que los representan.
Para ello se utiliza la variable complementada si para esa combinacin tiene un 1, o se
deja sin complementar si en la combinacin hay un 0.

Mapas de Karnaugh.
Es un mtodo grfico de representacin de la informacin que se encuentra en la tabla de verdad.
Permite simplificar una funcin booleana de manera sencilla. En un mapa de Karnaugh cada
combinacin posible de entradas est representada por una caja dentro de una rejilla, y el valor
correspondiente de la salida se escribe dentro de la caja. Las cajas estn escritas de forma que al
cambiar de una a otra slo vara una de las entradas. La secuencia corresponde al cdigo Gray.



Bibliografa
http://arantxa.ii.uam.es/~ig/teoria/temas/IG_tema-5-2008-2009.pdf
http://www.alumnos.inf.utfsm.cl/~raraya/arq/material/Capitulo_3.pdf
http://www.uhu.es/rafael.lopezahumada/descargas/tema3_fund_0405.pdf
http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Matematicas_Discretas/Apuntes/Algebra_Bo
oleana.pdf
http://www.erikavilches.com/Anterior/TC1004.01.200811/diapositivas/Algebra%20Booleana.pdf
http://www.infor.uva.es/~jjalvarez/asignaturas/fundamentos/lectures/digital/Tema2_combinacio
nales.pdf
http://www.biografiasyvidas.com/biografia/b/boole.htm