ALGEBRA BOOLEANA

ALGEBRA BOOLEANA
INTRODUCCION AL ALGEBRA DE BOOLE
El concepto moderno de algebra abstracta fue desarrollado por el matemático ingles GEORGE BOOLE en
 
su estudio de los sistemas abstractos generales, opuestos a los casos particulares de tales sistemas. En su obra
publicada en 1854, An Investigation of the Lows of thonght, creo un sistema de lógica matemática en
términos que ahora llamado algebra booleana.
¿QUE ES EL ALGEBRA DE BOOLE?
El ALGEBRA DE BOOLE es un sistema matemático que utiliza variables y operadores lógicos. Las
variables pueden valer 0 o 1 y las operaciones básicas son OR(+) y AND(.) las funciones de conmutación
se pueden expresar: de forma algebraica mediante una tabla de verdad en forma
 
 ¿QUIEN ERA GEORGE BOOLE Y QUE HACIA?
El padre de George Boole, John Boole (1779-1848), fue un comerciante de
escasos recursos. Estuvo especialmente interesado en las matemáticas y la
lógica. John dio a su hijo sus primeras lecciones, pero el extraordinario
talento matemático de George Boole no se manifestó durante la juventud, ya
que al principio mostraba mayor interés por las humanidades; en su
adolescencia, aprendió latín, griego, alemán, italiano y francés. Con estas
lenguas, fue capaz de leer una gran variedad de teología cristiana.
 
Boole no consideraba la lógica como una rama de las matemáticas, como
podría interpretarse por el título de su folleto anterior, pero señaló una
profunda analogía entre los símbolos del álgebra y la representación
simbólica, en su opinión, necesaria para representar formas lógicas y
silogismos, haciendo coincidir la lógica formal con la matemática limitada al
uso de operaciones con ceros y unos. Para unificar distintos sistemas de
operadores lógicos, Boole organizó el universo de todos estos objetos
imaginables; creando una notación simbólica adecuada a sus propósitos,
con símbolos tales como x , y , z , v , u , etc, que utiliza para caracterizar los
atributos correspondientes a adjetivos y sustantivos comunes. Propuso que
las proposiciones lógicas se deben expresar en forma de ecuaciones
algebraicas, de forma que la manipulación algebraica de los símbolos en las
ecuaciones proporciona un método a prueba de fallos de la deducción
lógica, es decir, la lógica se reduce al álgebra. Mediante el uso de símbolos,
tales proposiciones se podrían reducir a la forma de ecuaciones, y la
conclusión silogística a partir de dos premisas se obtiene eliminando el
término medio de acuerdo con las reglas ordinarias algebraicas.
 ¿QUE COSA MANEJABA GEORGE BOOLE EN EL ALGEBRA?
 Con la idea de dos magnitudes, Boole desarrollo reglas al estilo matemático para relacionar estas dos magnitudes
que a su vez dan resultado en dos magnitudes. A este nuevo desarrollo matemático se llamó “algebra de Boole” o
algebra Booleana.
George Boole escribió un libro titulado “An Investigation of the Laws of Thought on Which are Founded the
Mathematical Theories of Logic and Probabilities” algo asi como “Una investigación de las leyes del pensamiento
sobre los cuales están fundados la teoría matemáticas de la lógica y las probabilidades. Un título largo pero
fundamental en el desarrollo de las matemáticas modernas.
Al principio, la algebra booleana parecía más un juego de palabras pero con el tiempo tomo su importancia y ha
sido la herramienta que ha permitido la construcción de los computadores. Ahora podemos decir que un
computador es una máquina que maneja algebra booleana.
La idea de Boole con su algebra fue asimilar las dos conjunciones “y” y “o” a operaciones matemáticas regidas por
la ley que las defines. En matemáticas tradicionales existen dos operadores: la suma y la resta regidas por unas
reglas que se presentan generalmente como unas tablas que conocemos como “las tablas de sumar” o de restar: 1+1
= 2, 1+2=3, 1+4=5,…, etc.
Pues bien, según Boole, “y” y “o” son operadores en su nueva algebra definidos por
  tablas que se llaman tablas de
 verdad y son relativamente simples:

PROPIEDADES DEL ALGEBRA

DE BOOLE
 
 Ley de idempotencia La idempotencia es la propiedad • Ley de para realizar una acción idempotencia determinada varias veces
y aún • Ley de involución así conseguir el mismo resultado que se obtendría si se realizase • Ley conmutativa una sola vez. •
Ley asociativa • Ley distributiva • Ley de cancelación • Leyes de Morgan
 Ley de involución La involución nos dice que si a • Ley de idempotencia una negación se le da una negación, da como
resultado • Ley de involución un positivo. • Ley conmutativa • Ley asociativa • Ley distributiva • Ley de cancelación • Leyes de
Morgan
 Ley conmutativa La ley conmutativa sólo quiere • Ley de idempotencia decir que puedes intercambiar los números cuando
sumas o • Ley de involución cuando multiplicas y la respuesta • Ley conmutativa va a ser la misma. • Ley asociativa • Ley
distributiva • Ley de cancelación • Leyes de Morgan
 Ley asociativa La ley asociativas quieren • Ley de idempotencia decir que no importa cómo agrupes los números (o sea, • Ley
de involución qué calculas primero) cuando • Ley conmutativa sumas o cuando multiplicas. • Ley asociativa • Ley distributiva •
Ley de cancelación • Leyes de Morgan
 Ley distributiva La ley distributiva quiere decir • Ley de que la respuesta es la misma idempotencia cuando sumas varios
números y el resultado lo multiplicas por • Ley de involución algo, o haces cada multiplicación por separado y • Ley
conmutativa luego sumas los resultados • Ley asociativa • Ley distributiva • Ley de cancelación • Leyes de Morgan
 Ley de cancelación La ley cancelativa dice que • Ley de idempotencia en un ejercicio dado después de un proceso se cancela el
• Ley de involución termino independiente. • Ley conmutativa • Ley asociativa • Ley distributiva • Ley de cancelación • Leyes
de Morgan
 Leyes de Morgan Las leyes de Morgan declaran que la suma • Ley de de n variables globalmente negadas (o idempotencia
invertidas) es igual al producto de las n variables negadas individualmente; y que • Ley de involución inversamente, el producto
de n variables globalmente negadas es igual a la suma de • Ley conmutativa las n variables negadas individualmente. • Ley
asociativa • Ley distributiva • Ley de cancelación • Leyes de Morga
LEYES DEL ALGEBRA BOOLEANA

  
TABLA DE VERDAD DEL ALGEBRA BOOLEANA
 Antes de desarrollar la pregunta tengamos claro algunos
conceptos:
Tablas De Verdad
Son un medio para describir la manera en que la salida de
un circuito lógico depende de los niveles lógicos que haya
en la entrada del circuito.
En una tabla se muestra que ocurre al estado de salida con
cualquier grupo de condiciones de entrada, los
verdaderos valores de salida dependerán del tipo de
circuito lógico.
El número de combinaciones de entrada será igual a 2
para una tabla de verdad con "n" entradas.
Dos de los teoremas más importantes del álgebra
 booleana fueron enunciados por el matemático
DeMorgan. Los Teoremas de DeMorgan son de gran 
utilidad en la simplificación de expresiones en las cuales
se invierte un producto o suma de variables. Los dos
teoremas son:
 
Maurice Karnaugh
Nacio el 4 de octubre de 1924 en la ciudad de Nueva Yorkun físico
matemático estadunidense mejor conocido por el mapa de Karnaugh de
algebra de boole
Karnaugh trabajo en los laboratorios de Bell(1952-1966) desarrollando el
mapa de karnaugh (1954)asi como los patentes para la codificación y la
codificación de circuitos
MAPAS DE KARNAUG
Los Mapas de Karnaugh son unaherramienta muy utilizada para la
simplificación de circuitos lógicos. Cuando se tiene una función
lógicacon su tabla de verdad y se desea implementar esa función de
la maneramás económica posible se utiliza estemétodo.
Ejemplo: Se tiene la siguiente tabla de verdad para tres variables. Se
desarrolla la función lógica basada en ella. (primera forma canónica). Ver
que en la fórmula se incluyen solamente las variables (A, B, C) cuando F
cuando es igual a “1”. Si A en la tabla de verdad es “0” se pone A, si B =
“1” se pone B, Si C = “0” se pone C, etc.
 EJERCICIO
F: B4 B

1) Simplificar con las leyes

1) Tablas de verdad

E min términos = (4, 5, 7, 12,13)

red de puertas