Quinto Pazce
1
Teora de Conjuntos
CONJUNTOS:
A={a, b, c, d}
a A pertenencia
e A no pertenencia
DETERMINACIN:
a) POR EXTENSIN:
A={1, 2, 3, 4}
B={gato, perro}
D={tringulo, cuadrado}
2
b) COMPRENSIN:
D={ xN / x 2 +1 }
x+1
E={ xN /
x }
x +2
CLASES DE CONJUNTOS
a) Conjunto finito:
E= = A1 + A2 + A3 + An
3
b) CONJUNTO INFINITO
E= = A1 + A2 + A3 + +
c) CONJUNTO VACIO
A={} A = [ ]
A=
CREACION DE CONJUNTOS
Inicio
A = [ ];
Hacer
A = A + [ i ];
Fin;
Escribir ( A )
Fin-Inicio.
ELIMINACION DE CONJUNTOS
Inicio
A = { 1, 2, 3, 4, 5, 6, 7];
Hacer
A = A - [ i ];
Fin;
Escribir ( A )
Fin-Inicio.
CARDINAL DE UN CONJUNTO
Si A={ a, b, c, d}
5 SUBCONJUNTOS DE B
ABoB A B
A
A es subconjunto de B
A est incluido en B
x A x B
AB
todo E
F2={BA, BC, BE }
E
F3={CB, CD, CE }
D C
F4={DA, DC, DE}
6
Ejemplo2: Hallar todos los subconjuntos E que
sean , por el N de letras.
E1=para 1 fig.{a, e, f} = 3
E3=para 3 fig.{bcd,} = 1 a c d
E4=para 4 fig.{abce} =1
e f
E5=para 5 fig.{} =0
E6=para 6 fig.{abcdef}= 1
V B A R
3
Matemticas
4 Discretas- FISI 2017-1 Daniel A. Quinto Pazce
2
7 DIAGRAMAS
1
(A B) X2
X3U C = {d, x, w}, AB+B+BC+C
X1X2
X1 X2
X1
1 E2
E1
2 5
4 E3
E5 7 E4
1 A
1.1 A A 1.2
A A A A
NOTACIN DEWEY
1A
1.1.B
1.1.1.D
1.1.2.E
1.2.C
1.2.1F
1.2.2.G
9 NOTACIN VECTORIAL
ABDECFG CADENA
B C
D E F G
NOTACIN IDENTADA:
A
B
D
E
C
F
G
10
E1 1
E
E2 2
E
E2 E2
E1 2
E
EXOR=E 1 E2 =E1 E2
E1 E 2=E1E 2 E2 E1=E1 E2 1
E
E1 E 2=E1 E 2 E 2 E 1
E1 E 2= E 2 E1 + E 1 E 2
E1
E =E E = E
EXOR= E 1
2 1 2 1 E2
NOTA E2 E 1=E2 E1
11 Decimal
TABLA E1 E2 S DEL EXNOR
E1 E2 E10 E 2 1 EE E E1 EE2 S E1 E E2 1 E2
1E1 2 E
E 2 1 E 22
E1 E S
TABLA 0 0 0 0 1 E 12 E 2 DEL EXOR 0 1
0 0 0 0
1 0
2
1
3
1 0 0 0 1 0 1
E11 E20 S1 E 1=E22E1 3
1 E 2=E2 E
0
2 1 0 1 1 0 1 0 + 2 3
0 02 01 00 1
2 1 0 0
3 1 1 1 E1 E 2=E1 E
2=E 1E2
1 03 11 11 0
3 1 1 1
1 0 1
2
3 1 1 0
E1 E 1
E2
E 2
E 3 E3 E 3
Obtener el EXOR
12 E1 E 2 E3 =E1 E2 E3
= EXOR
E1 E3 E 2 E 3
Ejercicio
a) ( E1 E2 E3 ) ( E 1 E 2 E 3 ) ( E 1 E 2 )
b) E1 E 2 E3 =EXNOR
EXNOR
DIAGRAMA DE KARNAUGHT
E1 E2 S A B B B
0 1
0 0 0 A
1 0 1 2 3
A
2 1 0
3 1 1 Posicin decimal
en la tabla de
Karnaught
Dados 3 variables
15
Ejemplos:
a) A
B S
0 0
0 0
1 0
1 1
2 1
0 1
3 1
1 1
S= A B + A B + AB
S = A B + AB + A B + AB
S = B( A + A ) + A( B + B )
S = A+ B
c)
S= A +C
16
d)
S = B CD + BCD
S = B( CD + CD)
e)
Z= D+
AB C
AB
17 A B C D S
0 0 0 0 0
0 0 0 1 0
f) De acuerdo al siguiente enunciado simplifique:
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 CD
C C
CD CD
D
D
1 0 0 1 1 AB
AB
1 0 1 0 1 1
1 0 1 1 1 A
B 1
1 1 0 0 1
AB
1 1 0 1 1 1 1 1 1
1 1 1 0 1 A
B 1 1 1 1
1 1 1 1 1
SOLUCIN
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 dgito menos significativo. Disear un
modelo de conjuntos de salida produce 1 solo cuando el nmero binario sea 0011, y mayor que la
secuencia 0110.
18
CONJUNTOS EQUIPONENTES:
Cuando existe una biyeccin del uno sobre el otro y tiene el mismo nmero de elementos.
A = { a, b, c }
B = { 1, 2, 3 }
E E
E
A B C D E F
E
A A
A AA AB AC AD AE AF
B B
B BA BB BC BD BE BF
C C
C CA CB CC CD CE CF
D D
D DA DB DC DD DE DF
E EA EB EC ED EE EF E E
F FA FB FC FD FE FF F F
19
LEY DE MORGAN
Ejemplos
1) Sea A = { A1 }, 21 = 2 subconjuntos
A1
20
P(A) ={ , {A}}
21
P(A)={ , {A1}, {A2}, {A3}, {A4}, {A1, A2}, {A1, A3}, {A2, A4}, {A3, A4}, {A1, A4}, {A2, A3, A4},
{A1, A2, A4},{A1, A2, A3}, {A1, A3, A4}, {A1, A2, A3, A4} }
22
RECUBRIMIENTO DE CONJUNTOS
a)
b)
c)
Ejemplo
A1={a, c, d, e}
A2={b, c, d, e, f, g}
A3={a, b, c, f, g}
A4={b, c, d, e, g}
23
Ejemplo:
A1={1, 3, 5, } impares
A2={1, 2, 3, 5, 7, } primos
A3={0, 2, 4, 6, } pares
Se dice que los subconjuntos A={A1, An} forman una particin del conjunto A.
Si se cumple:
a)
b)
c)
CONJUNTO ORDENADO
24
Caso del sistema del cdigo ASCII, el sistema de cdigo Hamming, cdigo de Aiken,
cdigo de Gray, etc.
A1={0, 1, 2, 3, 4, , 100}
A2={a, b, c, d, e, , z}
Aa={(a1, a1), (a1, a2), (a1, a3), (a2, a2), (a2, a3), (a3, a3), (a4, a1), (a4, a2), (a4, a3), (a4, a4) }
Se dice que los subconjuntos A= {A1, A2, A3,, An} forman un conjunto bien ordenado
si sus elementos admiten una relacin menor y mayor.
Cuando la cadena del subconjunto (A) est completo y bien definido decimos que
existe un conjunto bien ordenado.
25
Por qu tiene que haber un primer elemento en el sub conjunto? Es por el principio de
induccin, y del buen orden de los naturales que nos garantiza que todo subconjunto
tiene un primer elemento.
Ejemplo1
SOLUCION:
Al generar los elementos de la cadena, tenemos que verificar que sus elementos
deben ser completos, y bien definidos, entonces se define el subconjunto A.
26
Matriz ordenado
27
A5 A3 A4 A1 A2
a5
a3
a4
a1
a2
particionado
comunicaciones
asignacin
aglomeracin
FIN DE LA CLASE
Ejercicios:
a) Sea el conjunto A1={a1, a2, a3, a4, a5, a6, a7, a8}
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
A2 A6 con la concatenacin se
logra:
Cadena A5 A4 A1 A3 A7 A2 A6
MATRIZ DE ELEMENTOS DESORDENADOS
A2
A1
A2 A3 A4 A5 A6 A7
DESORDENADOS
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
A1
A7 A2
A3
A6
A5 A4
FIGURA GEOMETRICA
A4
A1
A3
A7
A2
A6
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
A2 A7 A3 A1 A4 A5
A5 A4 A1 A3 A7 A2 A6
b c e e c b d A f
OTROS EJERCICIOS
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
a) A + A=1
1 1
A
A
b) A . A=0
1 1
A A
2. Disear un modelo lgico de conjuntos de tres entradas A, B, C que tenga como salida 1 slo
cuando la mayora de ellos sea tambin 1.
a) Z =A B D+ A BD
Z =A B( D+ D)
Z =A B
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
b) Z =( A+ B)( A+ B)
Z =( A ) ( A+ B )+( B)( A +B)
Z =A B+ AB+ B
Z =B( A + A +1)
Z =B
c) Z =ACD + A BCD
Z =CD( A+ A B)
Z =CD( A ( A+ B ))
Z =CD( AB)
Z =CD( A+ B)
d) Z =ABC + A B( AC )
Z =ABC + A B ( A +C )= ABC+ A B+ A B C
Z =A ( BC+ B+ B C ) =A (C ( B+ B ) + B)
Z =A (C+ B)
e) Z =ABC + AB C+ A B C
Z =AC ( B+ B ) + ABC
Z =AC + AB C=A (C +B C)
Z =A ( C ( B +C ) ) =A (CB )
Z =A (C+ B)
f) Z =A C ( A BD)+ A BCD + A BC
Z =A C ( A + B+ D ) + A B CD + A B C
Z =AB C+ A B C+ A C D+ A B CD
Z =B C+ AD (C + BC )
Z =B C+ AD (C + B)
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
g) Z =( ( ( A B ) C ) B)
Z =( ( A B ) C ) B=( ( A+ B ) C ) B
Z =( AC + BC ) B
Z =ACB +BC =BC( A+ 1)
Z =BC
3. Disear un modelo lgico de conjuntos de tres entradas A, B, C que tenga como salida 1 slo
cuando la mayora de ellos sea tambin 1.
A B C S
0 0 0 0
0 0 1 0
0 1 C 0 0
0 1 AB C 1 1
1 0 C 0 0
1 0 1 1
AB S= A ( B+C )+ BC
1 1 1 0 1
1 1 AB 1 1
1 1
AB
1
AB
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 CD 0
0 1 1 0 AB CD C D CD C D 0
0 1 1 1 1
1 0 0 0 AB 1
1 0 0 1 1
1 0 1 0 1
1 0 1 1 AB 1
1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 AB 1
1 1 1 1
1 1 1 1 1
AB 1 1 1 1
S= A+ BCD
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
a) Z =AB C+ A BC + ABC + A BC
C
AB C
C
Z =C
AB
AB
AB
AB
CD
AB CD CD
CD CD
AB
S= AB
AB
AB
AB
c) Z =A B C D+ A BCD+ AB C D+ ABCD
CD
AB CD CD
CD CD
AB
S=BD
AB
AB
AB
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
CD
AB CD CD
CD CD
AB
S= A D
AB
AB
AB
e) Z = ABCD + AB C D+ A BC D+ A B CD
CD
AB CD CD
CD CD
AB
AB S=B( AD + AD)
AB
AB
CD
AB CD CD
CD CD
AB
AB
AB
AB
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
S=B
E1 E2
a) E1
b) E2
c) E1E2
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
d) E1E2
e) E1E2
f) E1E2
g) E 1 E 2
h) E 1 E 2
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
i) E 1 E 2
j) E 1 E 2
k) E1E2
l) E1E2
a) E1E3
b)E2E3
C) E1 E2E3
CREACION DE CONJUNTOS
INICIO
A = [ ];
Para ( i = 1; i 10; i++)
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce
Hacer
A = A + [ i ];
Fin
Escribir (A);
FIN A = {1,2,3,4,5, ..10}
ELIMINACION DE CONJUNTOS
INICIO
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