Está en la página 1de 12

PAUL FERNANDO CHAMBA MONAR

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:

Cerrado. El sistema booleano se considera cerrado con respecto a un


operador binario si para cada par de valores booleanos se produce un solo
resultado booleano.

Conmutativo. Se dice que un operador binario " " es conmutativo si A


B = B A para todos los posibles valores de A y B.

Asociativo. Se dice que un operador binario " " es asociativo si (A B)


C = A (B C) para todos los valores booleanos A, B, y C.

Distributivo. Dos operadores binarios " " y " % " son distributivos si A
(B % C) = (A B) % (A C) para todos los valores booleanos A, B, y C.

Identidad. Un valor booleano I se dice que es un


de identidad con respecto a un operador binario " " si A I = A.

Inverso. Un valor booleano I es un elemento inverso con respecto a un


operador booleano " " si A I = B, y B es diferente de A, es decir, B es el
valor opuesto de A.

elemento

Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego


de operadores y valores:
- Los dos posibles valores en el sistema booleano son cero y uno, a menudo
llamaremos a stos valores respectivamente como falso y verdadero.
- El smbolo representa la operacin lgica AND. Cuando se utilicen nombres
de variables de una sola letra se eliminar el smbolo , por lo tanto AB
representa la operacin lgica AND entre las variables A y B, a esto tambin le
llamamos el producto entre A y B.
- El smbolo "+" representa la operacin lgica OR, decimos que A+B es la
operacin lgica OR entre A y B, tambin llamada la suma de A y B.

- El complemento lgico, negacin NOT es un operador unitario, en


ste texto utilizaremos el smbolo " ' " para denotar la negacin lgica, por
ejemplo, A' denota la operacin lgica NOT de A.
- Si varios operadores diferentes aparecen en una sola expresin booleana, el
resultado de la expresin depende de la procedencia de los operadores, la cual
es de mayor a menor, parntesis, operador lgico NOT, operador lgico AND y
operador lgico OR. Tanto el operador lgico AND como el OR son asociativos
por la izquierda. Si dos operadores con la misma procedencia estn
adyacentes, entonces se evalan de izquierda a derecha. El operador lgico
NOT es asociativo por la derecha.
Utilizaremos adems los siguientes postulados:

P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT

P2 El elemento de identidad con respecto a es uno y con respecto a


+ es cero. No existe elemento de identidad para el operador NOT

P3 Los operadores y + son conmutativos.

P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) =


(AB)+(AC) y A+ (BC) = (A+B) (A+C).

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.

P6 y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C =


A+ (B+C).

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 7: (A + B)' = A' B'

Teorema 8: (A B)' = A' + B'

Teorema 9: A + A B = A

Teorema 10: A (A + B) = A

Teorema 11: A + A'B = A + B

Teorema 12: A' (A + B') = A'B'

Teorema 13: AB + AB' = A

Teorema 14: (A' + B') (A' + B) = A'

Teorema 15: A + A' = 1

Teorema 16: A A' = 0

Los teoremas siete y ocho son conocidos como Teoremas de DeMorgan en


honor al matemtico que los descubri.

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'.

2- Se han definido dos elementos (que designaremos por 0 y 1)


3- Tiene las siguientes propiedades:
Conmutativa respecto a la primera funcin: x + y = y + x
Conmutativa respecto a la segunda funcin: xy = yx

Asociativa respecto a la primera funcin: (x + y) + z = x + (y +z)


Asociativa respecto a la segunda funcin: (xy)z = x(yz)
Distributiva respecto a la primera funcin: (x +y)z = xz + yz
Distributiva respecto a la segunda funcin: (xy) + z = (x + z)( y + z)
Identidad respecto a la primera funcin: x + 0 = x
Identidad respecto a la segunda funcin: x1 = x
Complemento respecto a la primera funcin: x + x' = 1
Complemento respecto a la segunda funcin: xx' = 0

Propiedades Del lgebra De Boole


Idempotente respecto a la primera funcin: x + x = x
Idempotente respecto a la segunda funcin: xx = x
Maximalidad del 1: x + 1 = 1
Minimalidad del 0: x0 = 0
Involucin: x'' = x
Inmersin respecto a la primera funcin: x + (xy) = x
Inmersin respecto a la segunda funcin: x(x + y) = x
Ley de Morgan respecto a la primera funcin: (x + y)' = x'y'
Ley de Morgan respecto a la segunda funcin: (xy)' = x' + y'

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.

Si x1 vota 1, x2 vota 0, x3 vota 0 y x4 vota 1 la funcin booleana devolver 0.


Producto mnimo (es el nmero posible de casos) es un producto en el que
aparecen todas las variables o sus negaciones.
El nmero posible de casos es 2n.
Siguiendo con el ejemplo anterior. Asignamos las letras A, B, C y D a los
amigos. Los posibles casos son:
Votos
ABCD
1111
1110
1101
1100
1011
1010
1001
1000
0111
0110
0101
0100
0011
0010
0001
0000

Resultado
1
1
1
0
1
0
0
0
1
0
0
0
0
0
0
0

Las funciones booleanas se pueden representar


de productos mnimos (minterms) iguales a 1.

como

la

suma

En nuestro ejemplo la funcin booleana ser:


f(A,B,C,D) = ABCD + ABCD' + ABC'D + AB'CD + A'BCD

4. lgebra Booleana y circuitos electrnicos


La relacin que existe entre la lgica booleana y los sistemas de cmputo es
fuerte, de hecho se da una relacin uno a uno entre las funciones booleanas y
los circuitos electrnicos de compuertas digitales. Para cada funcin booleana
es posible disear un circuito electrnico y viceversa, como las funciones
booleanas solo requieren de los operadores AND, OR y NOT podemos
construir nuestros circuitos utilizando exclusivamente stos operadores
utilizando las compuertas lgicas homnimas.

Un hecho interesante es que es posible implementar cualquier circuito


electrnico utilizando una sola compuerta, sta es la compuerta NAND.
Para probar que podemos construir cualquier funcin booleana utilizando slo
compuertas NAND, necesitamos demostrar cmo construir un inversor (NOT),
una compuerta AND y una compuerta OR a partir de una compuerta NAND, ya
que como se dijo, es posible implementar cualquier funcin booleana utilizando
slo los operadores booleanos AND, OR y NOT. Para construir un inversor
simplemente conectamos juntas las dos entradas de una compuerta NAND.
Una vez que tenemos un inversor, construir una compuerta AND es fcil, slo
invertimos la salida de una compuerta NAND, despus de todo, NOT ( NOT (A
AND B)) es equivalente a A AND B. Por supuesto, se requieren dos compuertas
NAND para construir una sola compuerta AND, nadie ha dicho que los circuitos
implementados slo utilizando compuertas NAND sean lo ptimo, solo se ha
dicho que es posible hacerlo. La otra compuerta que necesitamos sintetizar es
la compuerta lgica OR, sto es sencillo si utilizamos los teoremas de
DeMorgan, que ensntesis se logra en tres pasos, primero se reemplazan todos
los "" por "+" despus se invierte cada literal y por ltimo se niega la totalidad
de la expresin:
A OR B
A AND B.......................Primer paso para aplicar el teorema de DeMorgan
A' AND B'.....................Segundo paso para aplicar el teorema de DeMorgan
(A' AND B')'..................Tercer paso para aplicar el teorema de DeMorgan
(A' AND B')' = A' NAND B'.....Definicin de OR utilizando NAND
Si se tiene la necesidad de construir diferentes compuertas de la manera
descrita, bien hay dos buenas razones, la primera es que las compuertas
NAND son las ms econmicas y en segundo lugar es preferible construir
circuitos complejos utilizando los mismos bloques bsicos. Observe que es
posible construir cualquier circuito lgico utilizando slo compuertas de tipo
NOR (NOR = NOT(A OR B)). La correspondencia entre la lgica NAND y la
NOR es ortogonal entre la correspondencia de sus formas cannicas. Mientras
que la lgica NOR es til en muchos circuitos, la mayora de los diseadores
utilizan lgica NAND.

5. Los Teoremas Bsicos Del Algebra Booleana


Los Teoremas Bsicos del lgebra Booleana son:

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

Matemtica discreta Kolmant

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