Algebra Booleana
1. Introduccin
Las lgebras booleanas, estudiadas por primera vez en detalle por George
Boole, constituyen un rea de las matemticas que ha pasado a ocupar un
lugar prominente con el advenimiento de la computadora digital. Son usadas
ampliamente en el diseo de circuitos de distribucin y computadoras, y sus
aplicaciones van en
aumento
en
muchas
otras
reas.
En
el nivel de lgica digital de una computadora, lo que comnmente se
llama hardware, y que est formado por los componentes electrnicos de
la mquina, se
trabaja
con
diferencias
de
tensin,
las
cuales
generan funciones que son calculadas por los circuitos que forman el nivel.
stas funciones, en la etapa de disea del hardware, son interpretadas como
funciones
de
boole.
2. Resea Histrica
A mediados del siglo XIX, George Boole (1815-1864), 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.
3. lgebra Booleana
El lgebra booleana es un sistema matemtico deductivo centrado en los
valores cero y uno (falso y verdadero). Un operador binario " " definido en
ste juego de valores acepta un par de entradas y produce un
solo valor booleano, por ejemplo, el operador booleano AND acepta dos
entradas
booleanas
y
produce
una sola salida
booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de
aqu se pueden deducir reglas adicionales, teoremas y otras propiedades del
sistema, el lgebra booleana a menudo emplea los siguientes postulados:
Distributivo. Dos operadores binarios " " y " % " son distributivos si A
(B % C) = (A B) % (A C) para todos los valores booleanos A, B, y C.
elemento
P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste
valor es el complemento lgico de A.
Es posible probar todos los teoremas del lgebra booleana utilizando stos
postulados, adems es buena idea familiarizarse con algunos de los teoremas
ms importantes de los cuales podemos mencionar los siguientes:
Teorema 1: A + A = A
Teorema 2: A A = A
Teorema 3: A + 0 = A
Teorema 4: A 1 = A
Teorema 5: A 0 = 0
Teorema 6: A + 1 = 1
Teorema 9: A + A B = A
Teorema 10: A (A + B) = A
Caractersticas:
Un lgebra de Boole es un conjunto en el que destacan las siguientes
caractersticas:
1- Se han definido dos funciones binarias (que necesitan dos parmetros) que
llamaremos
aditiva
(que
representaremos
por x
+ y) y multiplicativa (que representaremos por xy) y una funcin monaria (de un
solo parmetro) que representaremos por x'.
Funcin Booleana
Una funcin booleana es una aplicacin de A x A x A x....A en A, siendo A un
conjunto cuyos elementos son 0 y 1 y tiene estructura de lgebra de Boole.
Supongamos que cuatro amigos deciden ir al cine si lo quiere la mayora. Cada
uno puede votar si o no. Representemos el voto de cada uno por xi. La funcin
devolver s (1) cuando el nmero de votos afirmativos sea 3 y en caso
contrario devolver 0.
Resultado
1
1
1
0
1
0
0
0
1
0
0
0
0
0
0
0
como
la
suma
TEOREMA 1
Ley Distributiva
A (B+C) = AB+AC
TEOREMA 2
A+A = A
AA = A
A
0
1
A
0
1
TEOREMA 3
Redundancia
A+AB = A
A
0
0
1
1
A (A+B) = A
A
0
0
1
1
TEOREMA 4
0+A = A
Equivalente a una compuerta OR con una de sus terminales conectada a tierra
A
0
1
1A = A
Equivalente a una compuerta AND con una de sus terminales conectada a 1
A
0
1
1+A = 1
A
0
1
0A = 0
A
0
1
6. Bibliografa
http://es.software.yahoo.com/fot/ftxt/karmap.html
http://www.terra.es/personal/jftjft/ algebra/boole/algboole.htm
http://www.terra.es/personal/jftjft/algebra/ boole/introduccion.htm
http://es.dir.yahoo.com/ciencia_y_tecnologia/
matematicas/algebra/algebra_de_boole/
http://es.dir.yahoo.com/ciencia_y_tecnologia/
matematicas/algebra/algebra_de_boole
http://www.conocimientosweb.net/portal/directorio
http://www.zabalnet.com/intro/cursos/03_algebra.htm
http://www.inf.ufsc.br/ine5365/algboole.html
http://www.ncc.up.pt/~zp/aulas/9899/me/trabalhos/
alunos/circuitos_logicos/algboole.html
http://buscador.hispavista.es/logica--algebra-de-boole