Repblica Bolivariana de Venezuela Ministerio del Poder Popular para la Educacin Superior Universidad Nacional Experimental de Guayana Informtica

Seccin 1 Puerto Ordaz, Edo. Bolvar

Lgica
Profesor(a): Ing. Zaide Accary Bachilleres: Gutirrez Jhonaykker C.I. V-25.324.345 Pulgar Reinaldo C.I. V-23.500.283 Solano Johan C.I. V-25.934.196 Ciudad Guayana, 08 de julio de 2013

NDICE

Pgs. Introduccin Circuitos digitales Compuertas lgicas AND, OR y NOT Representacin grfica de las compuertas lgicas Reglas para la construccin de los circuitos Representacin de los circuitos en tablas de la verdad Conjuntos Notacin Conjuntos finitos Conjuntos infinitos Conjunto universal Subconjuntos Diagramacin de conjuntos (representacin grfica) Unin (definicin y representacin grfica) Interseccin (definicin y representacin grfica) Diferencia (definicin y representacin grfica) Complemento (definicin y representacin grfica) Ejemplos de conjuntos en la vida real Lgica para matemtica y en matemtica Leyes booleanas Simplificacin de una formula ejercicio Teoremas de la traduccin de la implicacin Lenguaje SP Vocabulario Termino ejercicio Formula ejercicio 04 05 05 06 07 08 09 09 09 09 10 10 10 11 11 11 11 12 12 13 14 18 19 19 20 20

Sub-formulas ejercicio Cuantificadores universales ejercicio Cuantificadores existenciales ejercicio Alcance de una formula Traduccin del lenguaje SP al castellano ejercicio Traduccin del castellano al lenguaje SP ejercicio Conclusin Bibliografa

21 22 22 23 23 23 25 26

INTRODUCCIN

Un circuito lgico es un dispositivo que tienen una o ms entradas y exactamente una salida. En cada instante cada entrada tiene un valor, 0 o 1; estos datos son procesados por el circuito para dar un valor en su salida, 0 o 1. Los valores 0 y 1 pueden representar ciertas situaciones fsicas como, por ejemplo, un voltaje nulo y no nulo en un conductor. Los circuitos lgicos se construyen a partir de ciertos circuitos elementales denominados compuertas lgicas, entre las cuales se diferencian OR, AND, NOT. Los circuitos electrnicos que trabajan con nmeros, y que con la tecnologa con la que estn realizados, estos nmeros estn representados en binario.

Cuando un elemento pertenece a un conjunto, estamos utilizando nada menos que tres conceptos primitivos bsicos: elemento, conjunto y pertenencia. Para indicar que es un elemento de un conjunto , se escribe no es elemento de

, que se lee B pertenece a . Si por el contrario , escribimos

, que se lee no pertenece a . Si bien conjunto es un

concepto primitivo, cada conjunto particular se puede definir por extensin (nombrando cada uno de sus elementos) o por comprensin (dando una propiedad que cumplen todos los elementos del conjunto y slo ellos).

Las leyes booleanas, constituyen un rea de las matemticas que ha pasado a ocupar un lugar prominente con la llegada de la computadora. En el nivel de lgica, 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. Estas funciones, en la etapa de diseo del hardware, son interpretadas como funciones de Boole.

CIRCUITOS DIGITALES

Un circuito digital es un dispositivo que tienen una o ms entradas y exactamente una salida. En cada instante cada entrada tiene un valor, 0 o 1; estos datos son procesados por el circuito para dar un valor en su salida, 0 o 1. Los valores 0 y 1 pueden representar ciertas situaciones fsicas como, por ejemplo, un voltaje nulo y no nulo en un conductor. Los circuitos digitales se construyen a partir de ciertos circuitos elementales denominados compuertas lgicas, las cuales se pueden diferenciar las compuertas AND, OR y NOT.

COMPUERTAS LGICAS AND, OR Y NOT

Compuerta lgica AND: En una compuerta AND con entradas salida resulta:

y , la

La compuerta AND tambin puede tener puede ( )

ms de dos entradas; donde la salida obtenerse ( ) (( asociando ) ) los factores:

Compuerta lgica OR: En una compuerta OR con entradas salida resulta:

, la

La compuerta OR tambin puede tener Puede ( )

ms de dos entradas; donde la salida obtenerse asociando los sumandos: ( ) (( ) )

Compuerta lgica NOT: En una compuerta NOT con entrada salida resulta:

, la

REPRESENTACIN GRFICA DE LAS COMPUERTAS LGICAS

Compuerta lgica AND: La compuerta AND se representa del siguiente modo: A Y B La compuerta AND tambin puede tener ms de dos entradas: A B C D

Compuerta lgica OR: La compuerta OR se representa del siguiente modo: A Y B La compuerta OR tambin puede tener ms de dos entradas: A B C D

Compuerta lgica NOT: La compuerta NOT se representa del siguiente modo: A Y

REGLAS PARA LA CONSTRUCCIN DE LOS CIRCUITOS

Estudio de las especificaciones iniciales; Para entender realmente qu es lo que hay que disear.

Obtencin de las tablas de verdad y expresiones booleanas necesarias; Aqu se describe qu funcin es la que se quiere implementar.

Simplificacin de las funciones booleanas. Hay que implementar la mejor funcin, de manera que se obtenga el mejor diseo posible, reduciendo el nmero de puertas lgicas empleadas, el nmero de circuitos integrados o minimizando el retraso entre la entrada y la salida.

Implementacin de las funciones booleanas utilizando puertas lgicas; Aqu se puede tener restricciones. Puede ser que por especificaciones del diseo slo se dispongan de puertas tipo AND. O puede ser que slo podamos utilizar puertas lgicas con el mnimo nmero de entradas. En ese caso habr que tomar la funcin ms simplificada y modificarla para adaptarla a este tipo de puertas. El resultado de esto es la obtencin de un esquema o plano del circuito.

Construccin; El ltimo paso es llevar ese plano o circuito a la realidad, construyendo fsicamente el diseo.

REPRESENTACIN DE LOS CIRCUITOS EN TABLAS DE VERDAD

Compuerta lgica AND: siguiente tabla:

donde el producto se define por la

A B 0 0 1 1 0 1 0 1 0 0 0 1

Compuerta lgica OR: siguiente tabla:

donde la suma se define por la

A B 0 0 1 1 0 1 0 1 0 1 1 1

Compuerta lgica NOT: siguiente tabla:

donde el complemento se define por la

A Y 1 0 0 1

CONJUNTO

Es una coleccin de objetos considerada como un objeto en s. Un conjunto est definido nicamente por los elementos que lo componen, y no por la manera en la que se lo representa.

NOTACIN

A los conjuntos se les representa o se les denota con letras maysculas y a los elementos con letras minsculas Los elementos

siempre se separan por comas o puntos y comas, y son encerrados entre llaves. En base a la cantidad de elementos que tenga un conjunto, estos se pueden clasificar en conjuntos finitos e infinitos.

CONJUNTOS FINITOS

Tienen un nmero conocido de elementos, es decir, se encuentran determinados por su longitud o cantidad, tambin es aquel cuyos elementos se puede contar en forma usual desde primero hasta el ltimo.

CONJUNTOS INFINITOS

Son aquellos en los cuales no podemos determinar su longitud adems son aquellos cuyos elementos al contarlos no se llega a un ltimo elemento del conjunto, es llamado tambin indeterminado.

CONJUNTO UNIVERSAL

Es el conjunto de todos los elementos considerados en una poblacin o universo, en un problema en especial. Se denota por la letra contiene todos los dems conjuntos. ; la cual

SUBCONJUNTOS

Se dice que un conjunto que es subconjunto de

est incluido ampliamente en un conjunto , y se escribe , si todo elemento a (

,o es

tambin elemento de

. Los subconjuntos se representan:

DIAGRAMACIN DE CONJUNTOS (REPRESENTACIN GRFICA)

Los conjuntos pueden ser representados haciendo uso de grficas como; crculos, elipses, rectngulos u otras figuras geomtricas de reas plana, dentro de los cuales se ubican los elementos que le pertenecen y fuera a los elementos que no pertenecen al conjunto. Un diagrama de Venn es una representacin pictrica de conjuntos en el plano. El conjunto universal se

representa por un rectngulo, cualquier otro conjunto se representa con un crculo. Una operacin se representa mediante el sombreado de los elementos del conjunto.

10

UNIN (DEFINICIN Y REPRESENTACIN)

Sean

dos conjuntos. Se llama unin de * +

y , y se escribe oa

,a

un nuevo conjunto cuyos elementos pertenecen a conjuntos se representa:

. La unin de dos

INTERSECCIN (DEFINICIN Y REPRESENTACIN)

Sean

dos conjuntos. Se llama interseccin de

, y se escribe y *

, a un nuevo conjunto formado por los elementos que pertenecen a a + . La interseccin de dos conjuntos se representa:

DIFERENCIA (DEFINICIN Y REPRESENTACIN)

Sean

dos conjuntos. Se llama diferencia de

, y se escribe y

, a un nuevo conjunto que tiene por elementos los que pertenecen a que no pertenecen a * +

. La diferencia de dos conjuntos se representa:

COMPLEMENTO (DEFINICIN Y REPRESENTACIN)

Sean los conjuntos respecto a

tal que

Se llama complemento de

con

y se escribe *

al conjunto formado por los elementos . El complemento de dos +

que pertenecen a

y que no pertenecen a

conjuntos se representa:

11

EJEMPLOS DE CONJUNTOS EN LA VIDA REAL

La idea de agrupar objetos de la misma naturaleza para clasificarlos en colecciones o conjuntos es parte de la vida diaria de los seres hum anos. Por ejemplo, el conjunto de libros de una biblioteca, el conjunto de rboles en un terreno, el conjunto de zapatos en un negocio de venta al pblico, el conjunto de utensilios en una cocina, etctera. En todos estos ejemplos, se utiliza la palabra conjunto como una coleccin de objetos. El concepto de conjunto, entonces, est referido a reunir o agrupar personas, animales, plantas o cosas, para estudiar o analizar las relaciones que se pueden dar con dichos grupos.

LGICA MATEMTICA Y EN MATEMTICA

La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con las ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin.

La lgica matemtica suele dividirse en cuatro sub-campos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica, lgica matemtica, lgica teortica y lgica formal.

12

LEYES BOOLEANAS

El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema booleano resulta en otra variable del sistema, y este resultado es nico, estas leyes son bsicamente las mismas que las del algebra ordinario.

Ley conmutativa: La ley conmutativa de la adicin para dos variables se describe algebraicamente como Esta ley establece

que no importa el orden en el que las variables estn alternadas. En la terminologa del algebra booleana, aplicada a los circuitos lgicos, la adicin y la operacin OR son lo mismo.

Ley asociativa: La ley asociativa de la adicin para tres variables se escribe algebraicamente ( ) ( ) Esta ley

establece que en la disyuncin de varias variables, el resultado es el mismo, sin importar el agrupamiento de las mismas. Ley asociativa en la multiplicacin para tres variables se escribe ( ) ( ) . Esta

ley establece que, al juntar varias variables no importa el orden en la que estas se agrupen.

Ley distributiva: La ley distributiva para tres variables se describe ( ) . Esta ley establece que al alternar varias

variables y unir el resultado con una sola variable es equivalente a unir la variable sola con cada una de las varias variables y alternar los conjuntos. El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema booleano resulta en otra variable del sistema, y este resultado es nico.

13

SIMPLIFICACIN DE UNA FORMULA EJERCICIOS

Las funciones booleanas se tienen que simplificar al mximo, para disear los circuitos con el menor nmero de componentes electrnicos. Existen 2 mtodos tiles para manipular y simplificar las expresiones booleanas; el primero es utilizando las propiedades y teoremas del algebra de Boole y el segundo utilizando el mtodo de Karnaugh.

El primer mtodo se basa en 12 reglas bsicas tiles para manipular y simplificar las expresiones booleanas;

Regla I: variable.

Una variable sumada con 0 es siempre igual a la

Regla II:

Una variable sumada con 1 es siempre igual a 1.

Regla III: 0.

Una variable multiplicada con 0 es siempre igual a

14

Regla IV: la variable.

Una variable multiplicada con 1 es siempre igual a

Regla V: igual a la variable.

Una variable sumada consigo misma es siempre

Regla VI: siempre igual a 1.

Una variable sumada con su complemento es

Regla VII:

Una variable multiplicada con ella misma es

siempre igual a la variable.

15

Regla VIII: siempre igual a 0.

Una variable multiplicada con su complemento es

Regla IX:

El doble complemento de una variable es siempre

igual a la variable.

Regla X: (

Esta regla se puede probar aplicando la ley ) Se aplica la ley distributiva Se aplica la regla 2: ( Se aplica la regla 4: )

distributiva, la regla 2 y la regla 4.

Regla XI: ( ( ) )

Esta regla se puede probar aplicando la

regla 10, la regla 7, la regla 8, la regla 6, la regla 4 y la ley distributiva. Se aplica la regla 10: Se aplica la regla 7: Se aplica la regla 8: ( ( )( ) Se aplica la ley distributiva ) Se aplica la regla 6: Se aplica la regla 4

16

Regla XII: ( ( ( ( ( ( ( ( )( )( )( )( )( )( )(

)( ) ) ) ) ) ) )

Esta regla se puede probar

aplicando la ley distributiva, la regla 7, la regla 4 y la regla 2. Se aplica ley distributiva Se aplica regla 7: ( ( ) ) Se aplica ley distributiva Se aplica regla 2: Se aplica ley distributiva Se aplica regla 2: Se aplica la regla 4:

El segundo mtodo es un mtodo grfico que garantiza lo obtencin de la funcin ms simplificada posible, a partir de una tabla de verdad;

A partir de la tabla de verdad se sacan las expresiones booleanas. A 0 0 1 1 ( B 0 1 0 1 ) Y 0 1 1 1 ( ) ( )

Colocar los 1 correspondientes en el diagrama por cada grupo de variables operadas por AND u operadas por OR.

1 1 1

17

Agrupar los 1 adyacentes (las agrupaciones se realizan en grupos de 2, 4, 8).

1 1 1

Eliminar las variables que aparezcan con su complemento.

1 1 1

Elimina Elimina

Enlazamos con OR los resultados obtenidos o con AND.

TEOREMAS DE LA TRADUCCIN DE LA IMPLICACIN Modus Tollendo Tollens (MTT): (( Modus Tollendo Ponens (MTP): (( Auto Implicacin (AI): ( ) ) ( ( ( )) )) )) ) ) ( )) ( )) Silogismo Hipottico (SH): ((( Introduccin de la Negacin (IN): (( Reductio Ad Absurdum (RAA): (( ( )) ) ) ( ( )) )) ) )

Transitividad de la Equivalencia (TEQ): ((( Eliminacin de la Contradiccin (ECO): ((

18

LENGUAJE SP

Es un sistema formal en el cual se pueden escribir formulas indicando el valor de verdad de las mismas. En la representacin de una formula en lenguaje SP se pone de manifiesto las relaciones que lo hacen valido. Una interpretacin natural del vocabulario SP es asignar, a los smbolos que lo constituyen, palabras o frases de un idioma particular (por ejemplo el castellano), de tal modo que las frmulas se interpreten como oraciones en sentido completo del idioma en cuestin.

VOCABULARIO

El vocabulario de SP est constituido por un conjunto en donde los siguientes: 1. V1 es el conjunto de smbolos para variables, V1 = {x1,x2,x3,...,xn,...}. V1 siempre ser un conjunto infinito en correspondencia biunvoca con los naturales. 2. V2 es el conjunto de smbolos relacinales, V2 = {R1,R2,R3,...,Ra,...}, V2 siempre va a tener un smbolo para * + son los

relacional binario que se denota (la identidad). Para un smbolo Ra cualquiera de V2 el subndice denotara la aridad de dicho smbolo. 3. V3 es el conjunto de smbolos funcionales, V3= {F1,F2,F3,...,Fn,...}. El subndice a1 de un smbolo funcional F1 denota su unidad. 4. V4 es el conjunto de smbolos constantes, V4= {c1,c2,c3,...,cn,...}. 5. V5 es el conjunto de conectores, V5 = {,,,,}. 6. V6 es el conjunto de puntadores, V6= {(,),,}.

19

7. V7 es el conjunto de cuantificadores, V7= {v,( }. TERMINO EJERCICIO

Nos referimos a trminos cuando hablamos de constantes, nombres, frases, variables o smbolos de funcin. Si un trmino se forma mediante un nmero finito de aplicaciones de las siguientes reglas: 1. Toda variable y todo smbolo constante es un trmino. 2. Si es un smbolo de predicado de ( argumentos y son ) es un trmino.

trminos, entonces

El Clculo de Predicados cuyo lenguaje es {R12, R24, F11, F23, c1, c2}. Entonces XK es un trmino para cualquier XK

V1, esto es debido a la

regla 1. Por la misma regla c1 y c2 son tambin trminos. Por la regla 2

F11(x2) es un trmino; tambin F23(x1, c1, F11(x2)) es un trmino por la

regla 2 ya que x1, c1 y F11 (c1, c2) son trminos y F23 es un smbolo funcional. Tambin hay que tomar en cuenta que F11 (c1, c2) no es un trmino porque F11 es un smbolo funcional. Tampoco es un trmino la expresin R24 (x1, x2, F11 (x1), c1) porque a pesar de que x1, x2, F11 (x1) y

c1 son trminos, R24 es un smbolo relacional y no un smbolo

funcional.

FORMULA EJERCICIO

Modo ya establecido para explicar o pedir, ejecutar o resolver una cosa con palabras precisas y determinadas (nmeros, smbolos, letras). Las formulas se definen inductivamente;

20

1. Si t 2. Si 3. si

es un smbolo relacional de son trminos, entonces ( es una formula entonces y son formulas entonces (

argumentos (n ario) y si ) es una frmula. ) es una formula en donde * + )y(

es una formula.

representa cualquier conector binario, es decir 4. Si

es una formula y XK es cualquier variable entonces (V XK ) son formulas.

XK

Z = {R1, R2, F1, F2, c1, c2,}. Entonces c

x c

x F (c F

(c2)) y R2 (x1, x2, F2, (c1, x1, c2), F1 (F1 (c2))) son ejemplo de
frmulas atmicas ya que cada una de ellas es un smbolo relacional seguido de un numero de trminos igual a la aridad de smbolo. Por supuesto que estamos adoptando la siguiente convencin: en vez de escribir

(t t ) Tambin escribiremos t t en vez de

(t t ).

As por la clusula 3 c x

c x R (c F (c )) y R (x

x2, F2, (c1, x1, c2), F1 (F1 (c2))) son formulas. Aplicando la clusula
4 tenemos que V x (c x ) y ( x (c x ) son formulas. Aplicando la clusula 3 tenemos que R2 (x1, x2, F2, (c1, x1, c2), F1 (F1

(c )))

( x R (c F (c )) es una formula.

SUB-FORMULAS EJERCICIO

Si

es una frmula de la forma diremos que

en donde en en

7,

es decir,

es el alcance de

. Si Y es una variable que estn bajo el alcance de

ocurre en

diremos que las ocurrencias de

Tambin se define de manera inductiva; 1. 2. Si es una sub-formula de es de la forma . es una sub-formula de .

entonces

21

3. Si

es de la forma y

en donde * es cualquier conector binario, .

entonces

son sub-formulas de

4. Si es de la forma en donde * + entonces es una sub-formula de . 5. Si es una sub-formula de y es una sub-formula de entonces es una sub-formula de .

Considerando la frmula

X1 (R12 (X1, X2) & R12 (F11 (X1), X1)) &

.

X2 X3 (X2

X3

X1

X3) Entonces es una Sub frmula de . A

dems son Sub frmulas de

CUANTIFICADORES UNIVERSALES EJERCICIO El smbolo para el cuantificador universal es una . En general cuando encontramos las palabras todo, todos, cualquiera y cualquier es all cuando reconocemos un cuantificador universal. Todo abogado sabe las leyes. Puede traducirse as: X1(F1(X1)). Si interpretamos a F1 como sabe las leyes, y tomamos como dominio al conjunto de los abogados. CUANTIFICADORES EXISTENCIALES EJERCICIO

Se puede reconocer fcilmente al cuantificador existencial en verbos como existe y hay, en adjetivos como algo y alguien.

Existen

lgicos

que

son

escritores.

Puede

traducirse

as:

X1(R1;1(X1) R1;2(X1)). En la que R;1 se interpreta como es lgico,

22

R;2 se interpreta como ...es escritor y el domino es el conjunto de

seres humanos

ALCANCE DE UNA FORMULA

Si

es una frmula de la forma diremos que es el alcance de

en donde en en

7,

es decir,

. Si es una variable que estn bajo el alcance de

ocurre en .

diremos que las ocurrencias de

TRADUCCIN DEL LENGUAJE SP AL CASTELLANO EJERCICIO

Para elaborar una traduccin, hay que comenzar con observar la frmula que nos estn dando para que sea desarrollada y despus llevarla a una oracin definitiva. X2 (R2;1(X1,X2)R2;1(X2,X1)): Una persona est casada con

X1

otra si y solo si esta ltima est casada con la primera. En donde se puede asignar valores u oraciones a las variables de tal modo que las formulas se interpreten como oraciones con sentido completo del idioma en cuestin. TRADUCCIN DEL CASTELLANO AL LENGUAJE SP EJERCICIO

Para elaborar una traduccin, hay que comenzar fijando el lenguaje explicando lo que significa cada smbolo, luego fijar el dominio. Ambas cosas se hacen tratando de hacer resaltar la estructura de la oracin.

23

(X1(X1(R21(X1) R12(C1, X1)): Mara posee un libro. Como lenguaje

podemos escoger Z=R21, R12, C1, en donde R12 se interpreta como posee, R21 como es un libro y C1 como Mara. En la que el dominio es Mara y el conjunto de los libros.

24

CONCLUSIN

Los dgitos binarios pueden estar en dos estados 0 o 1, sobre los que se definen las operaciones + y , del Algebra de Boole, y que no hay confundir con las operaciones de suma y producto. Se han visto una serie de propiedades y teoremas que permiten trabajar con expresiones booleanas. Tambin es posible obtener una tabla de verdad a partir de una expresin booleana. Para simplificar una funcin podemos utilizar las propiedades del Algebra de Boole, o tambin podemos utilizar el mtodo de Karnaugh, que si lo aplicamos correctamente, conseguiremos obtener la funcin ms simplificada posible. Las funciones as obtenidas se podrn implementar de diversas maneras.

Para la construccin de los circuitos combinacionales, se emplean las puertas lgicas, que permiten realizar electrnicamente las operaciones del Algebra de Boole. Cualquier circuito combinacional se puede construir a partir de las puertas bsicas, combinndolas adecuadamente.

Podemos entender por conjunto a la agrupacin, asociacin, coleccin, reunin, unin de integrantes homogneos y heterogneos, los cuales pueden ser naturaleza real o imaginaria. Pueden estar integrados por letras, nmeros, meses de un ao, astros, pases mares etc., a los integrantes en general se les llama elementos del conjunto.

El lenguaje SP es un sistema formal en el cual se pueden escribir formulas indicando el valor de verdad de las mismas. En la representacin de una formula en lenguaje SP se pone de manifiesto las relaciones que lo hacen valido.

25

BIBLIOGRAFA

http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logi ca/legris/apuntes/ap-circuitos.pdf [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 02:23pm 22/06/2013].

http://www.iearobotics.com/personal/juan/docencia/apuntes-ssdd0.3.7.pdf [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 02:45pm 22/06/2013].

http://www.profesormolina.com.ar/electronica/componentes/int/comp_l og.htm [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 02:51pm 22/06/2013].

https://sites.google.com/site/sistemasdemultiplexado/principios-deelectrnica-digital-y-puertas-lgicas/1-4-circuitos-combinacionalespuertas-logicas [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 03:02pm 22/06/2013].

http://ima.ucv.cl/pdf/ag1/ap.pdf [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 01:09pm 23/06/2013].

http://www.x.edu.uy/inet/Conjunto,%20Relaciones,%20Funciones%20 y%20L%F3gica.pdf [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 01:28pm 23/06/2013].

http://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r48023.PD F [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 01:39pm 23/06/2013].

26

http://www.monografias.com/trabajos-pdf4/teoria-de-conjuntos/teoriade-conjuntos.pdf [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 01:42pm 23/06/2013].

http://electronicaymedidas.onlinewebshop.net/algebra/LEYES.htm [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 10:37am 24/06/2013].

http://arantxa.ii.uam.es/~ig/practicas/enunciados/prac3/leyesBoole.pdf [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 10:46am 24/06/2013].

http://www.erikavilches.com/Anterior/TC1004.01.200811/diapositivas/A lgebra%20Booleana.pdf [Pgina Web En Lnea] [Disponible]

[Hora/Fecha de Consulta: 10:53am 24/06/2013]. http://www.ladelec.com/teoria/electronica-digital/173-diagramas-dekarnaugh [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 11:08am 24/06/2013]. http://www.buenastareas.com/ensayos/Lenguaje-Sp/1494876.html [Pgina Web En Lnea] [Disponible] [Hora/Fecha de Consulta: 03:13pm 29/06/2013].

27