Está en la página 1de 25

LGEBRA DE BOOLEANA.

Presentado por: Wilmar Alexander Benavides Villota Johan Sebastin carrillo cruz 20112007094 20111007044

Universidad Distrital Francisco Jos de Caldas Bogot 2013 1

LGEBRA DE BOOLEANA.

Presentado por: Wilmar Alexander Benavides Villota Johan Sebastin carrillo cruz 20112007094 20111007044

Presentado a Ing. Carlos Martnez Alayon

Universidad Distrital Francisco Jos de Caldas Bogot 2013

TABLA DE CONTENIDO

1. INTRODUCCION 2. MARCO TEORICO 2.1 ALGEBRA BOOLEANA 2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 Teoremas fundamentales Axiomas necesarios Orden en el lgebra de Boole Principio de dualidad Estructuras algebraicas que son lgebra de Boole Teoremas fundamentales

4 5

3. ACTIVIDAD. 14 3.1 MATERIAL NECESARIO 3.2 PROCEDIMIENTO EXPERIMENTAL 3.3 CALCULOS TEORICOS 3.4 SIMULACIONES 3.5 RESULTADOS 3.6 CUESTIONARIO

CONCLUSIONES.. 25 BIBLIOGRAFIA.. 25

INTRODUCCION

En este laboratorio se utilizara el lgebra de Boole para comprobar las ecuaciones del algebra de Boole.

Se realizara el montaje de tres circuitos con los cuales se solucionaran preguntas acerca del algebra de Boole, y aplicando los axiomas y teoremas del algebra de Boole.

Se obtendrn datos para comprobar las tablas de verdad q se obtienen en el lgebra de Boole.

MARCO TEORICO

2.1 ALGEBRA BOOLEANA

Dado un conjunto: ha definido:

formado cuando menos por los elementos:

en el que se

Una operacin unaria interna, que llamaremos complemento:

En esta operacin definimos una aplicacin que, a cada elemento a de B, le asigna un b de B.

Para todo elemento a en B, se cumple que existe un nico b en B, tal que b es el complemento de a. La operacin binaria interna, que llamaremos suma:

Por la que definimos una aplicacin que, a cada par ordenado ( a, b) de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado de sumar a con b. La operacin binaria interna, que llamaremos producto:

Con lo que definimos una aplicacin que, a cada par ordenado ( a, b) de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado del producto a y b.

Dada la definicin del lgebra de Boole como una estructura algebraica genrica, segn el caso concreto de que se trate, la simbologa y los nombres de las operaciones pueden variar. 2.1.1 Axiomas necesarios son

Diremos que este conjunto y las operaciones as definidas: un lgebra de Boole, si cumple los siguientes axiomas: 1a: La ley asociativa de la suma:

1b: La ley asociativa del producto:

2a: Existencia del elemento neutro para la suma:

2b: Existencia del elemento neutro para el producto:

3a: La ley conmutativa de la suma:

3b: La ley conmutativa del producto:

4a: Ley distributiva de la suma respecto al producto:

4b: Ley distributiva del producto respecto a la suma:

5a: Existe elemento complemento para la suma:

5b: Existe elemento complemento para el producto:

2.1.2

Teoremas fundamentales

Partiendo de los cinco axiomas anteriores, se pueden deducir y demostrar los siguientes teoremas fundamentales: 6a: Ley de impotencia para la suma:

6b: Ley de impotencia para el producto:

7a: Ley de absorcin para la suma:

7b: Ley de absorcin para el producto:

8a: ley de identidad para la suma:

8b: ley de identidad para el producto:

9: Ley de involucin:

10: Ley del complemento:

11: Leyes de Morgan:

2.1.3

Orden en el lgebra de Boole

Sea: un lgebra de Boole, sean a, b dos elementos del conjunto, podremos decir entonces que a antecede a b y lo denotamos:

Si se cumple alguna de las siguientes condiciones: 7

Estas cuatro condiciones se consideran equivalentes y el cumplimiento de una de ellas implica necesariamente el cumplimiento de las dems. Definiendo un conjunto parcialmente ordenado. 2.1.4 Principio de dualidad

El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le corresponder su dual, formada mediante el intercambio de los operadores suma con los de producto, y de los con los . Adicin 1 2 3 4 5 6 7 8 9 Producto

Otras formas de notacin del lgebra de Boole En Lgica binaria se suele emplear la notacin , comn en la tecnologa digital, siendo la forma ms usual y la ms cmoda de representar. Por ejemplo las leyes de Morgan se representan as:

Cuando el lgebra de Boole se emplea en electrnica, suele emplearse la misma denominacin que para las puerta lgica AND (Y), OR (O) y NOT (NO), amplindose en ocasiones con X-OR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y XNOR (equivalencia). las variables pueden representarse con letras maysculas o minsculas, y pueden tomar los valores {0, 1} Empleando esta notacin las leyes de Morgan se representan:

En su aplicacin a la lgica se emplea la notacin y las variables pueden tomar los valores {F, V}, falso o verdadero, equivalentes a {0, 1} Con la notacin lgica las leyes de Morgan seran as:

En

el

formato

de Teora

de

conjuntos el

lgebra

de

Boole

toma

el

aspecto: En esta notacin las leyes de Morgan seran as:

Otra forma en el lgebra de conjuntos del lgebra de Boole, las leyes de Morgan seran as:

Desde el punto de vista prctico existe una forma simplificada de representar expresiones booleanas. Se emplean apstrofos (') para indicar la negacin, la operacin suma (+) se representa de la forma normal en lgebra, y para el producto no se emplea ningn signo, las variables se representan, normalmente con una letra 9

mayscula, la sucesin de dos variables indica el producto entre ellas, no una variable nombrada con dos letras. La representacin de las leyes de Morgan con este sistema quedara as, con letra minscula para las variables:

y as, empleando letras maysculas para representar las variables:

Todas estas formas de representacin son correctas, se utilizan de hecho, y pueden verse al consultar bibliografa. La utilizacin de una u otra notacin no modifica el lgebra de Boole, solo su aspecto, y depende de la rama de las matemticas o la tecnologa en la que se est utilizando para emplear una u otra notacin. 2.1.5 Estructuras algebraicas que son lgebra de Boole

Hay numerosos casos de distintas anlisis de estructuras algebraicas que corresponden al lgebra de Boole, aunque en apariencia son muy diferentes, su estructura es la misma, vamos a ver algunos de ellos, con el propsito de hacer palpable las similitudes en la estructura y los distintos mbitos de aplicacin y distinta terminologa para referirse a las operaciones o a las variables, vemoslos. Lgica binaria Una serie de temas, aparentemente tan distintos, tiene dos cosas en comn, la lgica binaria basada en los ceros y los unos y el lgebra de Boole, posiblemente la forma ms conocida de este lgebra, que en ocasiones da lugar a la interpretacin que el lgebra de Boole es la lgica binaria exclusivamente, as el conjunto en este caso est formado por dos elementos {0,1}, o {F,V}, o {no, si}, dos valores contrapuestos, que son las dos posibles alternativas entre dos situaciones posibles, aqu, sin prdida de la generalidad, tomaremos el conjunto: {0,1} como ya hemos dicho:

Dnde:

10

La operacin unaria interna, que llamaremos negacin:

La operacin unaria interna negacin, definimos una aplicacin que a cada elemento a de {0,1}, le asigna un b de {0,1}.

Para todo elemento a en {0.1}, se cumple que existe un nico b en {0,1}, tal que b es la negacin de a. Como se ve en la tabla.

La operacin binaria interna, que llamaremos suma:

Con la operacin suma definimos una aplicacin que, a cada par ordenado ( a, b) de B por B, le asigna un c de B.

Para todo par ordenado (a,b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado de sumar a con b.

La operacin binaria interna, que llamaremos producto:

Con la operacin producto definimos una aplicacin que, a cada par ordenado ( a, b) de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado del producto a y b. Como se puede ver en la tabla.

11

Axiomas As es un lgebra de Boole al cumplir los siguientes axiomas:

1a: La ley asociativa de la suma:

1b: La ley asociativa del producto:

2a: Existencia del elemento neutro para la suma:

2b: Existencia del elemento neutro para el producto:

3a: La ley conmutativa de la suma:

3b: La ley conmutativa del producto:

4a: Ley distributiva de la suma respecto al producto:

4b: Ley distributiva del producto respecto a la suma:

5a: Existe elemento complementario para la suma:

5b: Existe elemento complementario para el producto:

Luego

es lgebra de Boole.

12

2.1.6

Teoremas fundamentales

Partiendo de estos axiomas se puede demostrar los siguientes teoremas: 6a: Ley de impotencia para la suma:

6b: Ley de impotencia para el producto:

7a: Ley de absorcin para la suma:

7b: Ley de absorcin para el producto:

8a: Ley de identidad para la suma:

8b: Ley de identidad para el producto:

9: Ley de involucin:

10: Ley del complemento:

11: Leyes de Morgan:

13

ACTIVIDAD

3.1 MATERIAL NECESARIO

Dos tablillas de conexiones (Protoboard).

Dos 74LS10, dos 74LS11, dos 74LS04, dos 74LS32, un 74LS21.

Se tiene el siguiente circuito lgico:

14

La tabla de verdad del circuito anterior es:

Y su circuito topolgico es el siguiente:

Sea Z la salida del circuito, simplificando la funcin lgica del circuito original utilizando el lgebra de Boole, tenemos:

15

El diagrama de la funcin del circuito reducido es:

Su tabla de verdad es:

Y su circuito topolgico es:

Construyendo el circuito reducido utilizando nicamente compuertas No-Y, utilizando el lgebra de Boole.

16

Su tabla de verdad es:

Circuito topolgico:

17

3.2 PROCEDIMIENTO EXPERIMENTAL 1. Armar los tres circuitos anteriores: El original, el reducido y el que est hecho a base de puras compuerta No-Y. 2. Reportar ventajas y desventajas de la utilizacin del lgebra de Boole. 3. Como recomendacin; el circuito reducido y el circuito hecho con puras compuertas No-Y, armarlo en una misma tablilla de conexiones, utilizando las mismas seales de DIP.

3.3 CALCULOS TEORICOS Al realizar los clculos tericos de la comprobacin de las compuertas lgicas encontramos la siguiente tabla para el circuito topolgico numero 1: X 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 Y 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 Z 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 W 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 X Y Z 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 X Y Z W 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Y Z W 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 SALIDA 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0

Se obtienen estos valores despus de hacer el respectivo procedimiento de cada columna, como lo es el negado de cada variable la multiplicacin entre las dems de cada casilla y por ltimo la suma entre resultados de casillas.

18

Para el circuito topolgico numero 2 tenemos: X 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 Y 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 Z 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 W 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 X Y Z 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 Y Z W 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 SALIDA 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0

Se obtienen estos valores despus de hacer el respectivo procedimiento de cada columna, como lo es el negado de cada variable la multiplicacin entre las dems de cada casilla y por ltimo la suma entre resultados de casillas. Para el circuito topolgico numero 3 tenemos: X 0 0 0 0 0 0 0 0 1 1 1 1 1 1 Y 0 0 0 0 1 1 1 1 0 0 0 0 1 1 Z 0 0 1 1 0 0 1 1 0 0 1 1 0 0 W 0 1 0 1 0 1 0 1 0 1 0 1 0 1 (X Y Z) 1 1 1 1 0 0 1 1 1 1 1 1 1 1 19 (Y Z W) 1 0 1 1 1 1 1 1 1 0 1 1 1 1 SALIDA 0 1 0 0 1 1 0 0 0 1 0 0 0 0

1 1

1 1

1 1

0 1

1 1

1 1

0 0

Se obtienen estos valores despus de hacer el respectivo procedimiento de cada columna, como lo es el negado de cada variable la multiplicacin entre las dems de cada casilla y por ltimo la multiplicacin entre resultados de casillas. 3.4 SIMULACIONES [1]. En la primera simulacin podemos ver el circuito topolgico nmero 1: Esta secuencia es 0,0,0,1 la cual nos da un 1 a la salida

Esta secuencia es 0,1,0,0 la cual nos da un 1 a la salida

20

Esta secuencia es 0,1,0,1 la cual nos da un 1 a la salida

Esta secuencia es 1,0,0,1 la cual nos da un 1 a la salida

[2]. En la segunda simulacin podemos ver el circuito topolgico nmero 2: Esta secuencia es 0,0,0,1 la cual nos da un 1 a la salida

21

Esta secuencia es 0,1,0,0 la cual nos da un 1 a la salida

Esta secuencia es 0,1,0,1 la cual nos da un 1 a la salida

Esta secuencia es 1,0,0,1 la cual nos da un 1 a la salida

22

[3]. En la tercera simulacin podemos ver el circuito topolgico nmero 3: Esta secuencia es 0,0,0,1 la cual nos da un 1 a la salida

Esta secuencia es 0,1,0,0 la cual nos da un 1 a la salida

23

Esta secuencia es 0,1,0,1 la cual nos da un 1 a la salida

3.5 RESULTADOS Al realizar el respectivo procedimiento se obtuvieron las tablas analizadas tericamente de esto se concluy: Que al hacer el reconocimiento de las tablas de resultados de los circuitos integrados, y realizando la comparacin con las tablas de verdad de las compuertas lgicas y el lgebra booleana, encontramos que sus resultados fueron verdicos y los esperados con respecto a los clculos tericos adems se encontr: La compuerta NOT (74LS04) acta como un negador es decir niega las entradas y enva el valor contrario a las salidas. Las compuertas AND (74LS11, 74LS21) actan como multiplicadores de varias variables y dependiendo sus valores de entrada sus salidas son 0 o 1. La compuerta OR (74LS32) acta como un sumador sumando varias variables y dependiendo sus valores de entrada sus salidas son 0 o 1. La compuerta NAND (74LS10) acta como un multiplicador negado, es decir multiplica las variables de entrada y niega su salida enviando as el valor contario.

3.6 CUESTIONARIO 1. Cul es el costo del circuito original? RTA: / El costo del circuito original o el nmero uno es de: 18.150 Pesos 2. Cul es el costo del circuito reducido? RTA: / El costo del circuito reducido o el circuito nmero 2 es de: 17.150 Pesos 24

3. Cul es el costo del circuito hecho slo con compuertas No-Y? RTA: / El costo del circuito reducido o el circuito nmero 3 es de: 15.750 Pesos 4. Qu ventajas se obtiene al utilizar el lgebra de Boole? RTA: / Las ventajas que encontramos es que podemos reducir el costo de nuestros circuitos obteniendo el mismo resultado. 5. Encontraste alguna diferencia en la seal de salida de los tres circuitos anteriores? RTA: / Las salidas eran las mismas para cada circuito, en cada una de las posiciones. 6. Si ocuparas alguno de los tres circuitos anteriores cul utilizaras? y por qu? RTA: / Ocupara el tercer circuito ya que es econmico y prctico para mltiples trabajos.

1. 2.

3. 4.

4 CONCLUSIONES Se pudieron comprobar las compuertas lgicas como lo son; and, or, not y nand. Se pudo tambin observar las diferencias entre compuertas ya que cada una de estas corresponde a una operacin, multiplicacin, suma entre otras, adems de la negacin de las mismas. Se observ tambin que al subir el voltaje de entrada los led encendan ms, su luz era ms visible. Se puede concluir tambin que gracias al algebra booleana podemos reducir el costo de nuestros circuitos, obteniendo el mismo resultado.

5 BIBLIOGRAFIA http://ocw.usal.es/eduCommons/ensenanzastecnicas/electronica/contenido/electronica/Tema6_AlgebraBOOLE.pdf http://html.rincondelvago.com/algebra-de-boole-y-puertas-logicas.html http://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole

25