REPBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIN UNIVERSITARIA

COLEGIO UNIVERSITARIO DE LOS TEQUES CECILIO ACOSTA

LGEBRA DE BOOLE Y
CIRCUITOS LGICOS

CHARALLAVE, JULIO DE 2014

NDICE

INTRODUCCIN.........................................................................................................3
CIRCUITOS LGICOS................................................................................................4
CONJUNTO DE PARTES DE BOOLE........................................................................5

CONJUNTO FINITO....................................................................................................5
RELACIONES ENTRE CONJUNTOS........................................................................6
CORRESPONDENCIAS Y APLICACIONES ENTRE CONJUNTOS.......................7
Relacin binaria.............................................................................................................7
Relacin de equivalencia...............................................................................................7
Relacin de orden..........................................................................................................8
Clase de equivalencia....................................................................................................9
Conjunto Cociente.........................................................................................................9
PROPOSICIONES:.....................................................................................................10
Proposicin SIMPLE:..................................................................................................10
Valor de verdad de una proposicin, (V) O (F)...........................................................10
Proposiciones Compuestas y Conectivos Lgicos......................................................10
POSIBILIDADES LGICAS.....................................................................................10
Negacin de una proposicin.......................................................................................11
La Conjuncin (p ^ q) smbolo lgico ^......................................................................12
La Disyuncin..............................................................................................................12
Disyuncin Exclusiva..................................................................................................13
Valor De Verdad Del Bicondicional............................................................................14
TABLAS DE VERDAD..............................................................................................15
AXIOMAS:.................................................................................................................15
LEYES DE LGEBRA PROPOSICIONAL..............................................................16
LEYES DE MORGAN................................................................................................18
Conectores Lgicos.....................................................................................................18
Casos:...........................................................................................................................18
CONCLUSIONES.......................................................................................................20
REFERENCIAS..........................................................................................................21

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 la construccin de circuitos electrnicos se deben implementar funciones
booleanas, de la misma manera que se debe emplear la lgica como parte de los diseos de
los mismo. Por tanto es importante el estudio a profundidad de las los circuitos lgicos y el
Algebra Booleana.

CIRCUITOS LGICOS
Un circuito lgico es aquel que maneja la informacin en forma de "1" y "0", dos
niveles lgicos de voltaje fijos. "1" nivel alto o "high" y "0" nivel bajo o "low".
Los circuitos lgicos estn compuestos por elementos digitales como la compuerta
AND (Y), compuerta OR (O), compuerta NOT (NO) y combinaciones poco o muy
complejas de los circuitos antes mencionados.
Estas combinaciones dan lugar a otros tipos de elementos digitales como los
compuertas, entre otros.
-

Compuerta NAND (No Y)

Compuerta NOR (No O)

Compuerta OR exclusiva (O exclusiva)

Mutiplexores o multiplexadores

Demultiplexores o demultiplexadores

Decodificadores

Codificadores

Memorias

Flip-flops

Microprocesadores

Microcontroladores

etc.

La electrnica moderna usa electrnica digital para realizar muchas funciones.

Aunque los circuitos electrnicos podran parecer muy complejos, en realidad se
construyen de un nmero muy grande de circuitos muy simples.
En un circuito lgico digital se transmite informacin binaria (ceros y unos) entre estos
circuitos y se consigue un circuito complejo con la combinacin de bloques de circuitos
simples.
La informacin binaria se representa en la forma de:
-

"0" "1",

"abierto" "cerrado" (interruptor),

"On" y "Off",

"falso" o "verdadero", etc.

Los circuitos lgicos se pueden representar de muchas maneras. En los circuitos de los
grficos anteriores la lmpara puede estar encendida o apagada ("on" o "off"), dependiendo
de la posicin del interruptor (apagado o encendido). Los posibles estados del interruptor o
interruptores que afectan un circuito se pueden representar en una tabla de verdad.
CONJUNTO DE PARTES DE BOOLE
Sea (P,) un conjunto parcialmente ordenado y sea S un subconjunto de P. Una cota
superior de S es un elemento c 2 P tal que s c para todo s 2 S. Una cota inferior de S es un
elemento d 2 P tal que d s para todo s 2 S. Una cota superior (inferior) c de S se denomina
el supremo (nfimo) de S si es menor o igual (mayor o igual) que cualquier otra cota
superior (cota inferior) de S. Si un subconjunto S de P admite supremo (nfimo) lo
denotaremos por sup S (inf S). En el caso que S tenga dos elementos, x, y, el supremo
(nfimo) de S sera denotado por x _ y (x ^ y).
Por lo tanto, un algebra de Boole es un conjunto parcialmente ordenado (B,) que
verifica las siguientes condiciones:
i.

B tiene un primer elemento denotado con 0 y un ltimo elemento denotado con 1,

esto es: si x B, entonces 0 x y x 1.

ii.

Todo par de elementos x, y de B admite supremo x V y e nfimo x ^ y.

iii.

Para todo x B, existe y B tal que x V y - 1 y x ^ y - 0.

iv.

Si x, y, z B, entonces x ^ (y V z) = (x ^ y) V (x ^ z).
CONJUNTO FINITO

En las ciencias de la computacin saber contar es algo muy importante, piense en la

importancia de este arte, llamado tambin combinatoria, para comparar la eficiencia de dos
algoritmos. Empezaremos contando los elementos de ciertos conjuntos, estos que se dejan
contar con nmeros naturales son los conjuntos finitos.
El nmero de elementos de un conjunto finito A se llama el cardinal de A y se nota |A|.
En este caso A se puede expresar as: A = {a1, a2, . . . , an}.

La manera natural de tratar los conjuntos finitos computacionalmente es por medio de

vectores que en sus componentes siempre llevan 0s o 1s, o lo que lo mismo, palabras
sobre el alfabeto = {0, 1}.
Si A es un conjunto dentro de un universo U con n N elementos, A queda
determinado por un vector A[i] de n componentes donde el valor de A[i] es 0 o 1 si el isimo elemento de U no est, o est en A.
Los vectores booleanos tambin se pueden entender como entradas a una mquina que
debe devolver valores de 0 o 1 segn las entradas.

RELACIONES ENTRE CONJUNTOS

Producto cartesiano
Dados dos conjuntos A y B, el producto cartesianos de estos dos conjuntos es el
conjunto formado por todos los pares ordenados (a,b) donde a es un elemento de A y b es
un elemento de B.
Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos. El producto cartesiano A x B
= {(a,1), (a,2), (b,1), (b,2), (c,1), (c,2)}
El cardinal (nmero de elementos) del producto cartesiano es el producto de los
cardinales de los dos conjuntos, |A x B| = |A| x |B|
Relacin
Dados dos conjuntos A y B una relacin es un subconjunto del producto cartesiano A x
B.
Un elemento a, que pertenece al conjunto A, est relacionado con un elemento b, que
pertenece al conjunto B, si el par (a, b) pertenece a un subconjunto G (llamado grafo) del
producto cartesiano A x B.
Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos. El producto cartesiano A x B
= {(a,1), (a,2), (b,1), (b,2), (c,1), (c,2)}. Una relacin sera R = {(a,1),(c,2)}.
A las relaciones tambin se les llama correspondencias.
CORRESPONDENCIAS Y APLICACIONES ENTRE CONJUNTOS
Relacin binaria
6

Dado el producto cartesiano A x A, una relacin binaria es un subconjunto G (llamado

grafo) de este producto cartesiano.
Una relacin binaria que cumple que para todo elemento a del conjunto A, el elemento
(a,a) pertenece al grafo G tiene la propiedad reflexiva.
Una relacin binaria que cumple que para todo elemento a del conjunto A, el elemento
(a,a) no pertenece al grafo G tiene la propiedad irreflexiva o antireflexiva.
Una relacin binaria que cumple que para todo elemento a y b perteneciente al
conjunto A si (a,b) pertenece al grafo G entonces el elemento (b,a) tambin pertenece al
grafo G, tiene la propiedad simtrica.
Una relacin binaria tiene la propiedad antisimtrica si para todo elemento a y b
perteneciente al conjunto A si (a,b) pertenece al grafo G y el elemento (b,a) tambin
pertenece al grafo G, entonces a = b.
Una relacin binaria tiene la propiedad transitiva si para todo elemento a, b y c
perteneciente al conjunto A si (a,b) pertenece al grafo G y (b,c) tambin pertenece al grafo
G, entonces (a, c) pertenece al grafo G.
Relacin de equivalencia
Una relacin de equivalencia es una relacin binaria que tiene las propiedades:
Reflexiva: a R a
Simtrica: Si a R b, b R a
Transitiva: Si a R b y b R a, entonces a R c.
Ejemplo: La relacin a - b = 2.k (mltiplo de 2), siendo a y b nmeros enteros es una
relacin de equivalencia porque cumple las propiedades:
Reflexiva: a - a = 0 = 2.k (k = 0).
Simtrica: a - b = b - a porque b - a = -(a - b). Si a - b es mltiplo de 2, -(a - b)
tambin lo ser.
Transitiva: a - b = 2.k1 b - c = 2.k2 Sumando queda a - c = 2.k 3 Entonces a - c es
mltiplo de 2.
Al conjunto de los elementos del conjunto A que estn relacionados con l se llama
clase de equivalencia.

En el ejemplo anterior, la clase de equivalencia del nmero cero (uno de los elementos
del conjunto de los nmeros enteros) C(0) = {... -4, -2, 0, 2, 4, ...}, pues 0 - (-4) es mltiplo
de 2, 0 - (-2) es mltiplo de 2 ya s sucesivamente. La clase de equivalencia del nmero 1
ser C(1) = {... -5, -3, -1, 1, 3, 5, ...} pues la diferencia entre 1 y los nmeros indicados es
mltiplo de 2.
Del mismo modo podramos calcular las clases de equivalencia de ms nmeros.
El conjunto formado por las clases de equivalencia se llama conjunto cociente.
En el ejemplo anterior el conjunto cociente Z / 2 es el conjunto formado por las clases
de todos los elementos Z / 2 = {C(0), C(1), C(2), ... }.
Relacin de orden
Una relacin binaria es una relacin de orden que tiene las propiedades:
Reflexiva: a R a
Antisimtrica: Si a R b y b R a entonces a = b.
Transitiva: Si a R b y b R a, entonces a R c.
Si en un conjunto se puede establecer una relacin de orden el conjunto se dice
ordenado.
Las relaciones de orden se representan con el smbolo menor igual (a <= b)
En un conjunto ordenado, si b <= a para todo b, a se llama elemento mximo. Si el
mximo existe es nico.
En un conjunto ordenado, si a <= b para todo b, a se llama elemento mnimo. Si el
mnimo existe es nico.
En un conjunto ordenado, si a <= b implica a = b, a y b, se llaman elementos
maximales.
En un conjunto ordenado, si b <= a implica a = b, a y b, se llaman elementos
minimales.
Clase de equivalencia
Bajo la relacin de congruencia mdulo n, el conjunto de enteros es partido en n
conjuntos distintos llamados clases de equivalencia.

Estas clases de equivalencia son llamadas, a menudo, clases residuales mdulo n. Una
clase residual mdulo n consta de los enteros que son congruentes entre s mdulo n. Por
ejemplo, bajo la relacin de congruencia mdulo 5, las cinco clases residuales constan de
los enteros de la forma respectivamente

, donde k

es un entero, esto es, las cinco clases residuales son:

Cada clase residual mdulo n puede ser representada por uno cualquiera de sus
miembros; pero, por lo general, se representa cada clase residual por el menor entero no
negativo que pertenezca a esta clase. Hay que notar que dos enteros pertenecientes a
distintas clases residuales mdulo n son incongruentes mdulo n. Adems, todo entero
pertenece a una y slo una clase residual mdulo n.
Conjunto Cociente
Dada una relacin de equivalencia R en un conjunto A, se llama conjunto cociente de
A determinado por R al conjunto formado por todas las clases de equivalencia. Se le
representa por A/R. Es decir,
A/R={C[a]:aA}.

PROPOSICIONES:
Son enunciados que en un contexto determinado o en una teora se pueden calificar
como verdaderas o falsas.
Para designar una proposicin se utilizaran las letras minsculas. (p, q, r)
Proposicin SIMPLE:
Es aquella que se forma sin utilizar trminos de enlace.

Ejemplo:

p: Hoy es jueves

Valor de verdad de una proposicin, (V) O (F).

Se pueden calificar como verdaderas o falsas.
Ejemplo: -4 es mayor que -3 (F)
2**r es la longitud de la circunferencia (V)
Proposiciones Compuestas y Conectivos Lgicos
Las proposiciones compuestas son aquellas que estn formadas por dos o ms
proposiciones simples ligadas por un conector

Es un rectngulo si y slo si tienen 4 ngulos rectos.

Los conectores y, o. entonces, si y slo si, permiten unir dos preposiciones simples.

POSIBILIDADES LGICAS.
Una proposicin simple p slo tiene dos posibilidades, o es verdadera o es falsa.

Dos proposiciones Simples forman una compuesta

10

Tres proposiciones tendrn 2 elevado a la 3 =8

En general el nmero de proposiciones simples que se tienen es n, entonces el

nmero de posibilidades es 2 elevado a la n.
Negacin de una proposicin
La negacin es el conectivo lgico que permite cambiar el valor de verdad de una
proposicin.
Si p es verdadero (V)
Su negacin p es falsa (F)
p se lee no p.
Ejemplo: Negar las siguientes proposiciones simples:
p: Todos los nmeros primos son pares.
q: No todos los tringulos son isceles.
r: -15+18=7
Solucin:
p: No todos los nmeros primos son pares.
q: Todos los tringulos son isceles.
r:-15+18+ 7
Observacin: Si una proposicin p es verdadera, su negacin es falsa y viceversa.
La Conjuncin (p ^ q) smbolo lgico ^.
La proposicin p ^q es verdadera nicamente si p y q son verdaderas, los dems casos
p y q es falsa.
Ejemplo: Juanita, podrs salir a la calle cuando arregles la cama y limpies los muebles.
Tabla de verdad de la conjuncin
11

La Disyuncin
Smbolo gramatical: o
Smbolo lgico: v
La disyuncin inclusiva es verdadera cuando al menos una de las proposiciones sea
verdadera y es falsa cuando todas las proposiciones simples sean falsas.
Ejemplo: Juanita, te dejo salir a jugar cuando arregles la cama o sacudas el polvo.

Tabla de verdad de la disyuncin

Disyuncin Exclusiva
La proposicin p v q cuando nicamente una de las proposiciones es verdadera y la
otra falsa.
El nmero 3 o es divisor de 6 o divisor de 10.
Tabla de verdad

12

mvn
V
La proposicin m es verdadera y la proposicin n es falsa luego m v n es verdadera.
Ejemplo: 18 es mltiplo de 6 18 es mltiplo de 5.
p (V) ; q (F) por lo tanto p v q es verdadera.
Valor De Verdad Del Bicondicional
Nos basaremos en el valor de verdad del condicional para poder determinar el valor de
verdad del bicondicional.
Si (p <=> q) ^(q <=> p) es equivalente a p <=> q.
La proposicin (p => q) ^(q => p) es lgicamente equivalente a (p <=> q) ^(q <=> p)

El bicondicional es verdadero cuando las proposiciones que interviene tienen el mismo

valor de verdad.

13

2. Sabiendo que p es falso, q es verdadero y r falso. Hallar el valor de verdad de las

siguientes proposiciones compuestas.
a) (p => q ) <=> (p ^q)
(F => F) <=> (F ^ V)
(V)

<=> F

F <=> F
V
b) p => (q ^ r)
c) p => (p ^ q)
d) (p ^ q) => (p v r)
e) (q ^ r) v (q v r)
f) (r ^ r ) v r
3. Escribir la proposicin dada en la forma si p entonces q determina su valor de
verdad.
a) Los pjaros son aves.
b) Slo las rectas no paralelas se cortan.
c) Slo las rectas perpendiculares forman ngulos rectos.
TABLAS DE VERDAD
Son utilizadas para establecer el valor de verdad de proposiciones compuestas.
Ejemplo: Hallar el valor de verdad de las siguientes proposiciones compuestas:
a) (p ^ q) v (q <=> p)
b) [(p => q) ^ p] => q

AvB

14

AXIOMAS:
Son proposiciones que son verdaderas por definicin.
Ejemplo: El todo es mayor que las partes
En matemticas, la deduccin es un proceso concatenado de la forma:
Si A entonces B, si B entonces C, si C entonces D hasta llegar a una conclusin.
El algebra de Boole es un conjunto de elementos, B, dos operaciones binarias: +,
denominada suma o adicin y , llamada producto o multiplicacin, que satisfacen los
siguientes axiomas:
Axioma 1: Las operaciones + y son conmutativas:
a+b=b+a
ab=ba
Axioma 2: Las operaciones + y son asociativas:
(a + b) + c = a + (b + c)
(a b) c = a (b c)
Axioma 3: Las operaciones + y son distributivas:
a + (b c) = (a + b) (a + c)
a (b + c) = (a b) + (a c)
Axioma 4: Las operaciones + y tienen elemento identidad 0 y 1, respectivamente:
a+0=a
a1=a
Axioma 5: Cada elemento a B tiene un complementario que se denota por a :
(Operacin unitaria)
a + a = 0
a a = 1
LEYES DE LGEBRA PROPOSICIONAL
15

Las siguientes proposiciones constituyen unos axiomas conocidos como leyes

tautolgicas.
AXIOMA 1 Leyes de Idempotencia
Si p es una proposicin simple o compuesta, entonces:
a) (p v p) <=> p
b) (p ^ p) <=> p
Quiere decir que p v p y p ^ p se sustituye por p.
AXIOMA 2 Leyes de identidad para o y para y (^ , v).
a) p v (V) <=> V
b) p ^ (F) <=> F
c) p ^ (V) <=> P > El valor de verdad de la conjuncin y disyuncin v , ^
depende del valor de p.
AXIOMA 3 Leyes de conmutativas
Si p y q son proposiciones, entonces:
a) (p v q) <=> (q v p)
b) (p ^ q) <=> (q ^ p)
Se pueden escribir en cualquier orden.
AXIOMA 4 Ley asociativa
Si p , q , r son proposiciones cualesquiera, entonces:
a) (p ^ q ) ^ r <=> p ^ (q ^ r)
b) p v (q v r) <=> (p v q) v r.
AXIOMA 5 Ley distributiva
Si p , q, r son proposiciones cualesquiera, entonces:
a) [p ^ (q v r)] <=> [(p ^ q) v (p ^ r)]
b) [p v (q ^ r)] <=> [(p v q) ^ (p v r)]
AXIOMA 6 Ley de doble negacin.
Si p es una proposicin cualquiera, entonces:
(p) <=> v
Al negar dos veces una proposicin, obtenemos una afirmacin.
AXIOMA 7 Ley del tercero excluido.

16

(p v p) <=> V
P o no p siempre es verdadera. independientemente del valor de p.
AXIOMA 8 Ley de contradiccin
Si p es una proposicin cualquiera, entonces:
(p ^ p) <=> F
AXIOMA 9 Leyes de Morgan
Si p y q son proposiciones simples , o compuestas, entonces:
a) (p ^ q) <=> (p v q)
b) (p v q) <=> (p ^ q)
Negar una conjuncin o una disyuncin consiste en cambiar vo ^ y negar las
proposiciones dadas.
AXIOMA 10 Definicin alterna del condicional
Usando tablas de verdad podemos verificar que
p =>q <=> p v q
LEYES DE MORGAN
Son una parte de la Lgica proposicional, analtica, y fueron creadas por Augustus de
Morgan.
Estas declaran las reglas de equivalencia en las que se muestran que dos proposiciones
pueden ser lgicamente equivalentes.
Conectores Lgicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el uso de
conectivos lgicos. Algunos de ellos son:
^ y conjuncin
v o disyuncin
-> si , entonces implicacin
<-> si y slo si doble implicacin
no negacin
Las Leyes de Morgan permiten:
El cambio del operador de conjuncin en operador de disyuncin y viceversa.
17

Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan
pueden estar afirmadas o negadas (en todo o en sus partes).
Casos:
(P ^ Q) (P v Q)
Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de sus
miembros negados
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin conjuntiva con cada uno de sus
miembros negados
(P ^ Q) ( P v Q)
Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin disyuntiva negada en su totalidad y en sus
miembros.
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin conjuntiva negada en su totalidad y en sus
miembros.

18

CONCLUSIONES
lgebra de Boole (tambin llamada lgebra booleana) en informtica y matemtica, es
una estructura algebraica que esquematiza las operaciones lgicas Y, O , NO y SI (AND,
OR, NOT, IF), as como el conjunto de operaciones unin, interseccin y complemento.
Un circuito lgico es aquel que maneja la informacin en forma de "1" y "0", dos
niveles lgicos de voltaje fijos. "1" nivel alto o "high" y "0" nivel bajo o "low". Los
circuitos lgicos estn compuestos por elementos digitales como la compuerta AND (Y),
compuerta OR (O), compuerta NOT (NO) y combinaciones
Las proposiciones son enunciados que en un contexto determinado o en una teora se
pueden calificar como verdaderas o falsas. Existen de igual manera la proposiciones
lgicas, las cuales guardan ciertas condiciones para ser verdaderas o falsas. En ellas son
tiles las tablas de verdad, utilizadas para establecer el valor de verdad de proposiciones
compuestas.
Otro tipo de proposiciones son los Axiomas, las cuales son verdaderas por definicin,
por lo que las mismas se transforman en leyes.
Tales como las Leyes de lgebra Proposicional que son proposiciones o axiomas que
constituyen las leyes tautolgicas.
Adems las Leyes de Morgan, creadas por Augustus de Morgan, son una parte de la
Lgica proposicional, analtica, en la que se declaran las reglas de equivalencia en las que
se muestran que dos proposiciones pueden ser lgicamente equivalentes. Esto permite el
cambio del operador de conjuncin en operador de disyuncin y viceversa, y tambin las
proposiciones conjuntivas o disyuntivas.

19

REFERENCIAS

AlBoole.pdf Documento en lnea. Consultado en Julio de 2014. Disponible en:

http://emmanuel.jean.briand.free.fr/docencia/IMD/IMD2011/IMD_IS_Grupo5/TConj_
AlBoole.pdf
Algebras de Boole Boolean.pdf Documento en lnea. Consultado en Julio de 2014.
Disponible en:
http://www.matematica.uns.edu.ar/IXCongresoMonteiro/Comunicaciones/Boolean.pdf
Circuitos lgicos. Sistemas digitales | Electrnica Unicrom Documento en lnea.
Consultado en Julio de 2014. Disponible en:
http://www.unicrom.com/Tut_circuitoslogicos.asp
ERIC PACHECO /blog/ PROPOSICIONES, CONJUNCIONES, DISYUNCIONES,
IMPLICACIONES. | Documento en lnea. Consultado en Julio de 2014. Disponible
en:
http://ericmat.wordpress.com/2010/06/17/proposiciones-conjuncionesdisyunciones-implicaciones/
Rafael F. Isaacs G. (2004) Proposiciones, vectores binarios y Conjuntos finitos Documento
en lnea. Consultado en Julio de 2014. Disponible en:
http://matematicas.uis.edu.co/~risaacs/AMA/doc/Proposi.pdf
Relacin de equivalencia, conjunto cociente | Fernando Revilla Documento en lnea.
Consultado en Julio de 2014. Disponible en:
http://fernandorevilla.es/blog/2014/02/03/relacion-de-equivalencia-conjunto-cociente/
Relaciones en los conjuntos Documento en lnea. Consultado en Julio de 2014. Disponible
en: http://www.salonhogar.net/salones/matematicas/superior/Algebra/Teoria%20de
%20Conjuntos/RelCon.html

20