Академический Документы
Профессиональный Документы
Культура Документы
Quinto Pazce
Teora de Conjuntos 1
CONJUNTOS:
Es una coleccin de objetos del mismo tipo.
A={a, b, c, d}
a A pertenencia
e A no pertenencia
DETERMINACIN:
a) POR EXTENSIN:
Cuando se nombran cada uno de sus elementos.
A={1, 2, 3, 4}
B={gato, perro}
C={rosa, clavel, margarita}
D={tringulo, cuadrado}
E[3]={5, 6, 7}, vector
M[3][2]={{5, 6}, {1, 2}, {3, 4}} matriz.
b) COMPRENSIN: 2
CLASES DE CONJUNTOS
a) Conjunto finito:
Es el conjunto cuyos elementos se pueden
contar.
A={La provincia de Lima}
B={b1, b2, b3, ., bn}
n
E= A = A1 + A2 + A3 + An
i
i 1
b) CONJUNTO INFINITO 3
c) CONJUNTO VACIO
Es el conjunto que no tiene elementos.
A={} A = [ ]
A=
Todo conjunto vacio ( ) es subconjunto de
cualquier Conjunto.
CREACION DE CONJUNTOS
Inicio
A = [ ];
Para ( i = 1 ; i <= 10 ; i ++)
Hacer
A = A + [ i ];
FISI Daniel A. Quinto Pazce
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
Fin; 4
Escribir ( A )
Fin-Inicio.
ELIMINACION DE CONJUNTOS
Inicio
A = { 1, 2, 3, 4, 5, 6, 7];
Para ( i = 1 ; i <= 10 ; i ++)
Hacer
A = A - [ i ];
Fin;
Escribir ( A )
Fin-Inicio.
CARDINAL DE UN CONJUNTO
Es el nmero de elementos del conjunto A:
n(A) = card (A)
Si A={ a, b, c, d}
card (A) = n(A) = 4
SUBCONJUNTOS DE B 5
A B
todo E
B
V B A R
DIAGRAMAS C
7
B A
A C
*
a d y x w
b
X1 X2
X3
E3
E5 E4
1.1 B C 1.2
D E F G
1.1.1 1.1.2 1.2.1 1.2.2
NOTACIN DEWEY
1A
1.1.B
1.1.1.D
1.1.2.E
1.2.C
1.2.1F
1.2.2.G
NOTACIN VECTORIAL 9
A ( B ( D, E), C ( F, G ) )
A B D E C F G CADENA
A
B C
D E F G
NOTACIN IDENTADA:
A
B
D
E
C
F
G
E1 E1
E2 E2
EXOR = E1 E2 = E1 E2 EXOR
E1
E2 E2
E2
E1 E2 E1 E2 E2 E1 E1 E2 E1
E1 E2 E1 E2 E2 E1
E1 E2 E1 E2 E2 E1 E1 EE2 1
E1 E2 E E 2E E1
1 2
+ E2E1 EE21
EXNOR= E1 E2 E1 E2 = E1 E2 EXOR
NOTA E2 E1 E2 E1 ,
11
E1 E2 S
DECIMAL 0 0 0 0 E2 E2
E1 E2
1 0 1 1
E1
0 1
2 1 0 1
E1
3 1 1 1 2 3
E2 E2
E1 E2
E1
0 1
E1 E2 E1 E2 E1 E2 E1
2 3
12
E1 E2 S
0 0 0 0
E2 E2
E1 E2
1 0 1 0
E1
0 1
E 1 E2 E1
2 3
2 1 0 1
3 1 1 0
TABLA DEL EXOR
E1 E2 S
E 1 E2 = E2 E1 E2 E1
0 0 0 0
+
1 0 1 1
E 1 E2 = E1 E2 E1 E2
2 1 0 1
3 1 1 0
E1 E1
E2
E2
E3 E3 E3
Obtener el EXOR
E1 E2 E3 E1 E2 E3
= EXOR
E1 E3 E2 E3
Ejercicio 14
b) E1 E2 E3 = EXNOR
EXNOR
DIAGRAMA DE KARNAUGHT
Se utiliza: Formacin de la tabla de Karnaught, Para
luego simplificar a travs de la marca (circulacin).
Por Ejemplo dados 2 variables B
A B B
A B S A 0 1
0 0 0 A
2 3
1 0 1
Posicin decimal
En la tabla de
2 1 0 Karnaught
3 1 1
Dados 3 variables 15
A B C S C
__
AB C C
0 0 0 0 AB
0 1
1 0 0 1 AB
2 3
2 0 1 0 AB
6 7
3 0 1 1 AB
4 5
4 1 0 0
Posicin decimal
5 1 0 1 En la tabla de
Karnaught
6 1 1 0
7 1 1 1
A B C D S 16
0 0 0 0 0
1 0 0 0 1
Posicin decimal
2 0 0 1 0 En la tabla de
Karnaught
3 0 0 1 1 CD
AB CD C D CD CD
4 0 1 0 0 AB 0 1 3 2
5 0 1 0 1 AB 4 5 7 6
6 0 1 1 0 AB 12 13 15 14
AB 8 9 11 10
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 1 1 0 1
14 1 1 1 0
15 1 1 1 1
17
A B S
Ejemplos
0 0 0 0
a) B
A B B 1 0 1 1
A 1
2 1 0 1
A
1 1 3 1 1 1
c) BC
BC
BC BC BC
A
1 1 1 1
A
1 1
A
S A C
18
d) CD
AB CD C D CD CD
AB
AB 1 1
1 1
AB
AB
S BCD BCD
S B CD CD
CD
AB CD C D CD CD
e) 1 1
AB
AB
AB
AB 1 1
Z ABD ABC
A B C D S
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 1
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1 CD CD CD CD CD
1 0 1 0 1 AB
AB 1
1 0 1 1 1 AB 1
AB 1 1 1 1
1 1 0 0 1 AB 1 1 1 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 1
SOLUCION
S = A + CD
Se utiliza cuatro lneas de entradas A, B, C, D para representar un
nmero binario de cuatro dgitos de {0,1} en A como el dgito ms
significativo y D como el dgito menos significativo. Disear un modelo de
conjuntos cuya salida produce 1 slo cuando el nmero binario sea 0011,
y mayor que la secuencia 0110.
20
CONJUNTOS EQUIPOTENTES:
Cuando existe una biyeccin del uno sobre el otro y
tiene el mismo nmero de elementos.
A B
a 1
b 2
A={a, b, c}
c 3
B={1, 2, 3}
21
LEY DE MORGAN
A B A B
A B A B
n n
A A
i 1
i
i 1
i
n n
A A
i 1
i
i 1
i
P(A) ={ , {A}} 22
A1 A2
A1 A2
A1,A2,A3
A1,A2 A2,A3
A1,A3
A2
A1
A3
23
4
1. Sea A={A1,A2,A3, A4} , P(A) tiene 2 = 16
subconjuntos.
A1A2 A3 A4
A1A2 A3
A1A3 A4
A1A2 A4
A1A2
A1A3 A1A4
A1
A2A3 A4
A2A4
A2A3
A3A4
A4
A2 A3
24
RECUBRIMIENTO DE CONJUNTOS
Se dice que los subconjuntos A={A1, An}forman
un recubrimiento del conjunto A.
Si se cumple:
n
a) A A i
i 1
A
b) Ai Aj
An
c) Ai Aj A5
A4
A3 A7
A1 A7
A2
Ejemplo
Dado el conjunto A={a, b, c, d, e, f, g}, formar 4
recubrimientos.
A1={a, c, d, e}
A2={b, c, d, e, f, g}
A3={a, b, c, f, g}
A4={b, c, d, e, g}
Ejemplo: 25
PARTICIN DE CONJUNTO
Se dice que los subconjuntos A={A1, An}forman
una particin del conjunto A
Si se cumple : A
n
a) A A i An
i 1
A2
b) Ai Aj A3
c) Ai Aj
A1
CONJUNTO ORDENADO
Se dice que los subconjuntos A={A1, An}forman
un conjunto ordenado, si sus elementos admiten un
FISI Daniel A. Quinto Pazce
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
a1 a2
a4 a3
Aa={(a1, a1), (a1, a2), (a1, a3), (a2, a2), (a2, a3), (a3,
a3), (a4, a1), (a4, a2), (a4, a3), (a4, a4) }
a5 28
a4
a3
a2
a1
a1 a2 a3 a4 a5
a1
a5 a2
a4 a3
MATRIZ ORDENADOS
a2
a1
a4
a3
a5
a5 a3 a4 a1 a2
a5 a3 a4 a1 a2
a5
a3
a4
a1
a2
MODELO DE LOS SUBCONJUNTOS DE ELEMENTOS MENORES
Veamos la particin, siempre es un elemento importante para integrar y relacionar
una asignacin en todo proceso de carga computacional de un sistema operativo.
FISI Daniel A. Quinto Pazce
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
30
FIN DE LA CLASE
Ejercicios:
a) Sea el conjunto A1={a1, a2, a3, a4, a5, a6, a7, a8}
Hallar su grafo con todos los elementos menores de.
a7 a6 a4 a1 a2 a3 a5 a8
b)Sea el subconjunto de la cadena a4 a1 a3 a6 a2 a5},
encontrar todos los elementos menores.
c) Por el diagrama de Hasse de particin de una
matriz 5x5 dada, se pide encontrar todos los
elementos menores de la concatenacin de la cadena
de subconjuntos de A5 A7 y A2 A1.
31
5 5 6 6 2
5 4 7 6 3
5 4 1 3 2
2 6 3 3 7
2 2 4 7 7
DE SUBCONJUNTOS DESORDENADOS
32
FIGURA GEOMETRICA
33
34
b c e e c b d A f
OTROS EJERCICIOS
Se utiliza 4 lneas de entrada A, B, C, D para representar un nmero binario de 4 dgitos
de ceros y unos, con A como el digito ms significativo y D el menos significativo,
Disear un modelo lgico a travs de compuertas lgicas, cuyas salidas de la funcin
produce 1 solo cuando el numero binario sea mayor que la secuencia 0110. (Use el
diagrama de Karnaught para simplificar) y disee un chip de un sumador completo de 8
bits de 4 entradas para la ALU de un procesador en base de semisumadores.
35
A B C D S
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1
1 0 1 0 1
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 1
OTROS EJERCICIOS 37
a) A A 1
1 1
A A
b) A.A 0
1 1
A A
b) Z ( A B)( A B) 38
Z ( A)( A B) ( B)( A B)
Z AB AB B
Z B( A A 1)
Z B
c) Z ACD ABCD
Z CD ( A AB )
Z CD ( A( A B ))
Z CD ( AB )
Z CD ( A B )
d) Z ABC AB(AC )
Z ABC AB( A C ) ABC AB ABC
Z A( BC B BC ) A(C ( B B) B)
Z A(C B)
e) Z ABC ABC ABC
Z AC ( B B ) AB C
Z AC AB C A(C BC )
Z A(C ( B C )) A(CB )
Z A(C B )
g) Z ((( A B) C ) B) 39
Z (( A B) C ) B (( A B)C ) B
Z ( AC BC ) B
Z ACB BC BC ( A 1)
Z BC
A B C S
0 0 0 0
0 0 1 0
C
0 1 0 0 AB C C
0 1 1 1 AB
1 0 0 0 AB 1
1 0 1 1 AB 1 1 S A(B C) BC
1 1 0 1
1 1 1 1 AB
1
0 0 1 1 0 AB
0 1 0 0 0 1
AB
0 1 0 1 0
0 1 1 0 0 AB
1 1 1 1
0 1 1 1 1 1 1 1 1
1 0 0 0 1 AB
1 0 0 1 1
1 0 1 0 1
S A BCD
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 1
C 41
AB C C
AB
AB
Z C
AB
AB
CD
AB CD C D CD CD
AB
AB
S AB
AB
AB
CD
AB CD C D CD CD
AB
AB
S BD
AB
AB
42
CD
AB CD C D CD CD
AB
AB
S AD
AB
AB
CD
AB CD C D CD CD
AB
AB
S B( AD AD )
AB
AB
CD
43
AB CD C D CD CD
AB
AB
S B
AB
AB
E1
E2
a) E1
b) E2
c) E1 E2
44
d) E1 E2
e) E1 E2
f) E1 E2
g) E1 E2
h) E1 E2
45
i) E1 E2
j) E1 E2
k) E1 E2
l) E1 E2
E1 46
E1
E2
E2
E3 E3 E3
a) E1 E3
b) E2 E3
c) E1 E2 E3
CREACION DE CONJUNTOS
INICIO
A = [ ];
Para ( i = 1; i 10; i++)
FISI Daniel A. Quinto Pazce
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
Hacer 47
A = A + [ i ];
Fin
Escribir (A);
FIN A = {1, 2, 3, 4, 5, ..10}
ELIMINACION DE CONJUNTOS
INCIO
A = [1,2, 3, 4, 5, 6, 7, 8, 9, 10 ];
Para ( i = 1; i 10; i++)
Hacer
A = A - [ i ];
Fin
Escribir (A);
FIN A=[]
FIN DE LA PRCTICA