Académique Documents
Professionnel Documents
Culture Documents
Indice
1. Introduccin
2. Resea Histrica
3. lgebra Booleana
4. lgebra Booleana y circuitos electrnicos
5. Circuitos Combinacionales
6. Relacin entre la lgica combinacional y secuencial con la programacin
7. Los Teoremas Bsicos Del Algebra Booleana
8. Bibliografa
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.
En el presente trabajo se intenta dar una definicin de lo que es un lgebra de boole; se
tratan las funciones booleanas,
haciendo una correlacin con las frmulas proposicionales. Asimismo, se plantean dos
formas cannicas de las funciones booleanas, que son tiles para varios propsitos, tales
como el de determinar si dos expresiones representan o no la misma funcin. Pero para
otros propsitos son a menudo engorrosas, por tener ms operaciones que las
necesarias. Particularmente, cuando estamos construyendo los circuitos electrnicos con
que implementar funciones booleanas, el problema de determinar una expresin mnima
para una funcin es a menudo crucial. No resultan de la
misma eficiencia en dinero y tiempo, principalmente, dos funciones las cuales calculan lo
mismo pero donde una tiene menos variables y lo hace en menor tiempo. Como solucin
a este problema, se plantea un mtodo de simplificacin, que hace uso de
unos diagramas especiales llamados mapas o diagramas de Karnaugh, y el cual tiene la
limitacin de poder trabajar adecuadamente slo con pocas variables.
Se realizan estas presentaciones con el fin de demostrar la afinidad existente entre el
lgebra de boole y la lgica proposicional, y con el objeto de cimentar el procedimiento de
simplificacin presentado en la lgica de proposiciones.
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
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.
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.
- 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:
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.
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
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)
Y 3- Tiene las siguientes propiedades:
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 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 numero 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
Resultado
ABCD
1111
1
1110
1
1101
1
1100
0
1011
1
1010
0
1001
0
1000
0
0111
1
0110
0
0101
0
0100
0
0011
0
0010
0
0001
0
0000
0
Las funciones booleanas se pueden representar como la suma de productos mnimos
(minterms) iguales a 1.
En nuestro ejemplo la funcin booleana ser:
f(A,B,C,D) = ABCD + ABCD' + ABC'D + AB'CD + A'BCD
Diagramas De Karnaugh
Los diagramas de Karnaugh se utilizan para simplificar las funciones booleanas.
Se construye una tabla con las variables y sus valores posibles y se agrupan los 1
adyacentes, siempre que el nmero de 1 sea potencia de 2.
En esta pgina tienes un programa para minimizacin de funciones booleanas mediante
mapas de Karnaugh
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 en sntesis 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. Circuitos Combinacionales
Un circuito combinacional es un sistema que contiene operaciones booleanas bsicas
(AND, OR, NOT), algunas entradas y un juego de salidas, como cada salida corresponde
a una funcin lgica individual, un circuito combinacional a menudo implementa varias
funciones booleanas diferentes, es muy importante recordar ste echo, cada salida
representa una funcin booleana diferente.
Un ejemplo comn de un circuito combinacional es el decodificador de siete segmentos,
se trata de un circuito que acepta cuatro entradas y determina cul de los siete segmentos
se deben iluminar para representar la respectiva entrada, de acuerdo con lo dicho en
el prrafo anterior, se deben implementar siete funciones de salida diferentes, una para
cada segmento. Las cuatro entradas para cada una de stas funciones booleanas son los
cuatro bits de un nmero binario en el rango de 0 a 9. Sea D el bit de alto orden de ste
nmero y A el bit de bajo orden, cada funcin lgica debe producir un uno (para el
segmento encendido) para una entrada dada si tal segmento en particular debe ser
iluminado, por ejemplo, el segmento e debe iluminarse para los valores 0000, 0010, 0110
y 1000.
En la siguiente tabla se puede ver qu segmentos deben iluminarse de acuerdo al valor
de entrada, tenga en cuenta que slo se estn representando valores en el rango de 0 a
9, los decodificadores para las pantallas de siete segmentos comerciales tienen
capacidad para desplegar valores adicionales que corresponden a las letras A a la F para
representaciones hexadecimales, sin embargo la mecnica para iluminar los respectivos
segmentos es similar a la aqu representada para los valores numricos.
0
1
2
4
5
6
7
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
8. 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
Autor:
Arroyo Cabrera Csar Edad: 19 aos
Collantes Arana Alan A.
Montero Maco Oscar Enrique edad 18 aos
Ramos Layza Renzo Roberto
Sari Bustos Dany Richard
Tarrillo tarrillo Jos Isrrael.
Area Matematicas
Trujillo-Per
2003