Teora de Conjuntos

CONJUNTOS: Es una coleccin de objetos del mismo tipo. A={a, b, c, d} pertenece, a A A

no pertenece, a

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} M[3][2]={{5, 6}, {1, 2}, {3, 4}}

b) COMPRENSIN: Cuando se expresa la propiedad o caractersticas de los elementos. A={Los animales domsticos} B={Las figuras geomtricas} C={ x D={ x E={ x
Z/ 5 x 7}

N/
N/

x2 1 } x 1
x } x 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}

E= Ai
i 1

b) CONJUNTO INFINITO Es el conjunto cuyos elementos son imposibles de contar. A={Las estrellas del firmamento} B={La arena del desierto} E= Ai
i 1

c) CONJUNTO VACIO Es el conjunto que no tiene elementos. A={} A= Todo conjunto vacio es subconjunto de cualquier Conjunto.

CARDINAL DE UN CONJUNTO Es el nmero de elementos del conjunto n(A) = card (A) A={ a, b, c, d} n(A) = 4

SUBCONJUNTOS Son relaciones de inclusin.

A B o

A es subconjunto de B A est incluido en B A est contenido en B A={Los meses del verano} B={Los meses del ao}

B E

todo

Ejemplo 1: Generar todos los subconjuntos que sea los vrtices adyacentes, en una figura geomtrica del trapecio A, B, C, D con interseccin de los diagonales en E. Ejemplo2: Hallar el numero de subconjuntos que sea cuadriltero. Ejemplo3: De una pila de 4 cubos donde cada cara tenga distinto color; hallar todos los subconjuntos de dicha pila de cubos cuyas caras opuestas tenga distinto color, los colores son: Verde (V), Rojo( R),, Amarillo (A ) y Blanco( B).

Figura geomtrica DIAGRAMAS 1.- DIAGRAMA DE VENN EULER

B A C

a b

(A B) U C = {d, x, w}

2.- DIAGRAMA SAGITAL 1 2 x2

X1X 2

x1

X1

X2

x3 3

3.- DIAGRAMA DE HASSE E1 E2 E3

E5

E4

4.- MEDIANTE EL DIAGRAMA DEL RBOL (DEWEY) 1 A

1.1

1.2

D 1.1.1

E 1.1.2

F 1.2.1

G 1.2.2 A

B D E F

C G

NOTACIN DEWEY 1A, 1.1.B, 1.1.1.D, 1.1.2.E, 1.2.C, 1.2.1F, 1.2.2.C

NOTACIN VECTORIAL A ( B ( D, E), C ( F, G ) )

NOTACIN IDENTADA: A B D E C F G DIAGRAMA DE VEITCH

E1

E1

E2

E2

Operaciones

E2 E1
E1

E2

E1
E2
1 3

E2 0 1 0 1

S 0 1 1 1

0 1 2 3

0 0 1 1
E2

0 2

E1

E1

E2

E1

E2

E2 E1
E1

E2
1 3

0 2

E1

E1

E2

E1 0 1 2 0 0 1 1

E2 0 1 0 1

S 0 0 0 1

E1

E2
E2 E1
E1 E2

3
E2
1 3

E1 0 1 2 0 0 1 1

E2 0 1 0 1

S 0 0 1 0

0 2

E1

E1

E2

E1

E2

E2
E2 E1
E1

E1 E2 E1
E2

EXOR

E1
E2
1 3

E2 0 1 0 1

S 0 1 1 0

0 1 2 3

0 0 1 1

0 2

E1

E1
E1 E1 E2 E2 E1

E2
E1 E2 E2 E2 E1 E2 E1 E1 E2

E1 E2

EXOR

EXNOR

EXNOR= E1

E2

E1 E2

E1
E2

E1

E2

E3
Apartir del grafico obtener el EXOR

E3

E3

E1

E2

E3

E1 E2 E3

E1
Ejercicio

E3

E2

E3

Represente mediante el diagrama de VEITCH a) E1 b) E1

E2

E3

E1
Exnor

E2

E3

E1

E2

E2

E3

DIAGRAMA DE KARNAUGHT
B A 0 1 2 3 0 0 1 1 B 0 1 0 1 A S A

a)

B
A

b)
A 0 1 2 3 4 5 6 7 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S C AB C C

AB

AB
AB

AB

REGLA PARA SIMPLIFICAR 1. Que sea simtrico y mltiplo par 2. Que sea horizontal y vertical simultaneo

c)
A 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 AB 0 1 0 1 0 1 0 1 AB CD S

CD C D

CD

CD

AB AB

AB

Ejemplos a)
B A

B
A
A

Simplificar
S AB AB AB

Por Propiedades

S S S

AB

AB

AB AB

AB B

BA A A B

b)
BC A

BC
A
A

BC

BC

BC

1 1

1 1

A C

c)
CD AB

CD C D

CD

CD

AB AB
AB

1 1

1 1

AB

S S

BCD BCD B CD CD

d)

CD AB

CD C D

CD

AB AB

CD 1

Z
AB

ABD

ABC

AB

Simplificar

A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

S 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1

CD AB

CD CD CD CD 1 1 1 1

AB AB AB 1 AB 1

1 1

1 1

Sol.

S = A + CD

CONJUNTOS EQUIPOTENTES: Cuando existe una biyeccin del uno sobre el otro y tiene el mismo nmero de elementos.

A a b c 1 2 3

B A={a, b, c}

B={1, 2, 3}

LEY DE MORGAN

A A
n

B B
i

A A
n i

B B

A A
i 1 i 1

Ai
i 1

A
i 1

CONJUNTO POTENCIA (DE LAS PARTES) Sea los subconjuntos A

1, A2 ,.... AN que forman conjunto potencia de A. Si,

A
Ejemplos

X/X

A
X P A

n(P(A))= tiene 2n subconjuntos o elementos

1) Sea A={A1}, 21=2 subconjuntos

A1

P(A)={ , {A}} 2) Sea A={A1, A2}, tiene P(A) 22=4 subconjuntos

A1 A2

A 1

A2
P(A)={ , {A1}, {A2}, {A1, A2}}

3. Sea A={A1,A2,A3} , P(A) tiene 23 = 8 subconjuntos.

A1,A2,A3

A1,A2
A1,A3

A2,A3

A21

A1

A31

1. Sea A={A1,A2,A3, A4} , P(A) tiene 24 = 16 subconjuntos.

A1A2 A3 A4 A1A2 A3 A1A2 A4 A1A2 A1A3 A1A4

A1A3 A4

A1
A2A3 A4 A2A3 A2A4 A3A4 A4

A2

A3

RECUBRIMIENTO DE CONJUNTOS Se dice que los subconjuntos A1, A2, A3, A4 forman un recubrimiento de conjunto Si a) A b) Ai An A4 A5 A3 A1 A2 A7 A7
n

A
i 1

Ejemplo: Sea A={0, 1, 2, , n} A1={1, 3, 5, } impares primos A2={1, 2, 3, 5, 7, }

A3={0, 2, 4, 6, } pares PARTICIN DE CONJUNTO Se dice que los subconjuntos A1, , An forman una particin del conjunto A Si a) A b) Ai c) Ai
n

A
i 1

An A2 A3

Aj

Aj
A1

CONJUNTO ORDENADO Se dice que lo subconjuntos A1, A2, ,, An forman un conjunto ordenado, si sus elementos admiten un valor posicional o direccin de memoria. Interna Ej. El sistema de codificacin. 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}

a1

a2

a4

a3

As={(a1, a1), (a1, a2), (a1, a3), (a2, a2), (a2, a3), (a3, a3), (a4, a1), (a4, a2), (a4, a3), (a4, a4) }

CONJUNTO BIEN ORDENADO Se dice que los subconjuntos A1, A2, A3, , An forman un conjunto bien ordenado si sus elementos admiten una relacin menor y una relacin mayor. Ejemplo: Sea A1={a1, a2, a3, a4, a5}, Encontrar todos los elementos menores de: a5, a3, a4, a1, a2 Matriz de elementos en desordenados a4 a4 a3 a2 a1 a2 a3 a4 a5

Grafo con Diagrama Sagital con subconjunto desordenados a1 a1 a1

a1

a1

Diagrama Sagital del subconjunto bien ordenado

a5

a3

a4

a1

a2

Matriz con elementos bien ordenados

MATRIZ CON SUBCONJUNTOS BIEN ORDENADOS a2 a1 a4 a3 a5 a3 a4 a1 a2

Todos los elementos menores: a2 es el menor de A a1 es el menos de A-{a2} a4 es el menos de A-{a1, a2} a3 es el menos de A-{a4, a1, a2} a5 es el menos de A-{a3, a4, a1, a2} Ejercicio: 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 A1={a4, a1, a3, a4, a6, a2, a5}, encontrar todos los elementos menores.

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. Solucin: TABLA DE VERDAD A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C D S 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1

S S S S S S S S S S

ABCD ABCD ABCD ABCD ABCD (A A. A 0

ABCD A( BCD A( BCD A

ABCD BCD BCD

ABC D BC D BCD

ABCD BCD BC D

ABCD BCD

ABCD BC D BCD

ABC D BCD ) BCD )

ABCD

BCD BC D

BCD

A(1 1 1 1)

BCD ) A ABCD ABCD

ABCD A BCD

1. Utilice el diagrama de Venn Euler para demostrar: a) A A 1

A
b) A.A
0

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

ABD

ABD

Z Z
b) Z

AB( D AB

D)

Z Z Z Z
c)

( A B)( A B) ( A)( A B) ( B)( A B)

AB AB B B( A A 1) B

ACD

ABCD

Z Z Z Z

CD ( A CD ( A( A

AB ) B ))

CD ( AB ) CD ( A B )

d)

Z Z Z
e)

ABC AB(AC) ABC AB( A C )

ABC A(C ( B

AB B)

ABC B)

A( BC A(C

B B)

BC )

Z Z

ABC ABC ABC AC( B B) ABC

Z Z Z
f)

AC

ABC

A(C

BC )

A(C ( B C )) A(C B)

A(CB )

Z Z
Z Z Z

AC( ABD) ABCD ABC AC ( A B D) ABCD ABC

ABC BC BC ABC AD(C AD(C AC D BC ) B) ABCD

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. C AB C A B C S C 0 0 0 0 AB 0 0 1 0 0 1 0 0 AB 0 1 1 1 S C( A B) ABC 1 0 0 0 AB 1 0 1 1 1 1 0 1 AB 1 1 1 1

4. 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 mayor que la secuencia 0110.

A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

S 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1

CD
AB AB

CD C D

CD C D

AB AB AB

A ABCD

5. Simplificar mediante el mapa de Karnaught.

a) Z

ABC

ABC

ABC ABC

C
AB AB

AB AB AB

b) Z

ABCD

ABCD

ABCD ABCD

CD
AB AB

CD C D

CD C D

AB AB AB

AB

c) Z

ABCD

ABCD ABCD

ABCD

CD
AB AB

CD C D

CD C D

AB AB AB

BD

d) Z

ABCD

ABC D

ABCD

ABC D

CD
AB AB

CD C D

CD C D

AB AB AB

AD

e) Z

ABCD

ABC D

ABCD

ABCD

CD
AB AB

CD C D

CD C D

AB AB AB

B( AD AD)

e) Z

ABCD
CD
AB AB

ABCD

ABCD ABCD

ABCD

ABCD

ABCD ABCD

CD C D

CD C D

AB AB AB

6. A partir del diagrama de Veitch:

E1

E2

a)

E1

b)

E2

c)

E1

E2

d)

E1

E2

e)

E1

E2

f)

E1

E2

g)

E1

E2

h)

E1

E2

i)

E1

E2

j)

E1

E2

k)

E1

E2

l)

E1

E2

7. A partir del diagrama obtener:

E1 E2

E1

E2

E3

E3

E3

a) E1

E3

b) E 2

E3

c) E1

E2

E3