Está en la página 1de 47

Matemticas Discretas- FISI 2017-1 Daniel A.

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.

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

b) COMPRENSIN: 2

Cuando se expresa la propiedad o caractersticas


de los elementos del conjunto.
A={Los animales domsticos}
B={Las figuras geomtricas}
C={ x Z/ 5 x 7 }
x2 1
D={ x N/
x 1
}
x
E={ x N/
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}
n

E= A = A1 + A2 + A3 + An
i
i 1

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

b) CONJUNTO INFINITO 3

Es el conjunto, cuyos elementos no se puede


contar.
A={Las estrellas del firmamento}
B={La arena del desierto}
E= A = A1 + A2 + A3 + +
i
i 1

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

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

SUBCONJUNTOS DE B 5

Son relaciones de inclusin.


A B o
A es subconjunto de B
A est incluido en B
A est contenido en B o A est cont. e igual a B
A={Los meses del verano}
B={Los meses del ao}

A B
todo E

A Ejemplo 1: Generar todos los subconjuntos F de


la figura geomtrica del trapecio, de vrtices A,
B, C, D; con interseccin de los diagonales en E
que sean adyacentes. A B
F1={AB, AD, AE}
E
F2={BA, BC, BE }
F3={CB, CD, CE } D C
F4={DA, DC, DE}
F5={EA, EB, EC, ED} F= ={ F1, F2, F3, F4, F5}
FISI Daniel A. Quinto Pazce
Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

Ejemplo2: Hallar todos los subconjuntos E que 6

sean cuadrilteros, por el N de letras.


E1=para 1 fig.{a, e, f} =3
E2=para 2 fig.{bc, ef,} =2 b
E3=para 3 fig.{bcd,} =1 a cd
E4=para 4 fig.{abce} =1 e
E5=para 5 fig.{} =0
f
E6=para 6 fig.{abcdef}=1
Total = 8 subconjuntos E = { E1, E2, E3, E4, E5,E6}
Ejemplo3: Hallar todos los subconjuntos de una
pila de 4 cubos, donde cada cara opuesta del cubo
tenga distinto color; los colores son: Verde (V),
Rojo( R), Amarillo (A ) y Blanco( B). Ejemplo.
Tomemos slo un caso de la pila de cubos.

B
V B A R

Un caso: E1= {VA, BR, BV}, completar E2,..E4


E = { E1, E2, E3, E4}

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

DIAGRAMAS C
7

1.- DIAGRAMA DE VENN EULER *


B
*

B A
A C

*
a d y x w
b

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

2.- DIAGRAMA SAGITAL


2
1
X1 X 2 X2
X1

X1 X2

X3

V={X1, X2, X3 }, A={a1, a6} 3

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

3.- DIAGRAMA DE HASSE


E1 E2

E3

E5 E4

4.- DIAGRAMA DE DEWEY


RBOL DE (DEWEY)
1 A

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

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

Diagrama de barras (estadstica)

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

DIAGRAMA DE VEITCH o de Banderas 10

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 ,

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

TABLA DEL EXNOR E1 E2 S


E1 E2
E1
E2
E2 E2
0 0 0 1
E1 1 0 1 0
E1
2 1 0 0
E1 E2 3 1 1 1

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

Dados de los datos de la figura: 13

E1 E1

E2

E2

E3 E3 E3

Obtener el EXOR
E1 E2 E3 E1 E2 E3

= EXOR

E1 E3 E2 E3

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

Ejercicio 14

Represente mediante el diagrama de VEITCH


a) E1 E2 E3 E1 E2 E3 E1 E2

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

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

REGLA PARA SIMPLIFICAR CON KARNAUGHT


1. HACER LA MARCACIN CIRCULAR:
De forma simtrico y en mltiplo par
2. HACER LA SIMPLIFICACIN:
BUSCAR LA VARIABLE COMN ENTRE:
(1 horizontal y 2 vertical ) en simultneo

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

Al simplificar por Karnaught es:


S AB AB AB

Al simplificar Por Propiedades es:


S AB AB AB AB
S BA A AB B
S A B

b) Disear el modelo lgico +

c) BC
BC
BC BC BC
A
1 1 1 1
A

1 1
A

S A C

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

f) De acuerdo al enunciado simplifique. 19

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.

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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}

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

CONJUNTO POTENCIA O (DE LAS PARTES)


Sea los subconjuntos A={A1, A2 An} que forman
conjunto potencia de A.
Si, P (A) ={ X / X A }, donde X P A

n(P(A))= 2n = N de subconjuntos o elementos


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

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

P(A) ={ , {A}} 22

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


subconjuntos

A1 A2

A1 A2

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


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

A1,A2,A3

A1,A2 A2,A3
A1,A3

A2
A1
A3

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

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} }

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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}

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

Ejemplo: 25

Sea A={0, 1, 2, , n}, formar 3 recubrimientos


A1={1, 3, 5, } impares
A2={1, 2, 3, 5, 7, } primos
A3={0, 2, 4, 6, } pares

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

elemento menor, y est conectado. Caso del sistema 26

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}

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) }

CONJUNTO BIEN ORDENADO


Se dice que los subconjuntos A= {A1, A2, A3, , An}
forman un conjunto bien ordenado si sus elementos
admiten una relacin menor y mayor.

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

Cuando la cadena del subconjunto (A) est completo 27

y bien definido decimos que existe un conjunto bien


ordenado.
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 De Conjunto bien ordenado
Dado, A = {a1, a2, a3, a4, a5}, Encontrar todos los
elementos menores de la cadena: a5 a3 a4 a1 a2
SOLUCION:

1.MATRIZ DE SUBCONJUNTOS DESORDENADOS


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.

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

a5 28

a4

a3

a2
a1

a1 a2 a3 a4 a5

2.DIAGRAMA SAGITAL DESORDENADOS


SIEMPRE DEBE RESULTAR DE UNA FIGURA GEOMETRICA

a1

a5 a2

a4 a3

3.MATRIZ CON SUBCONJUNTOS BIEN ORDENADOS

MATRIZ ORDENADOS
a2
a1

a4

a3
a5
a5 a3 a4 a1 a2

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

4.DIAGRAMA SAGITAL DEL SUBCONJUNTO BIEN ORDENADO 29

a5 a3 a4 a1 a2

5.TODOS LOS ELEMENTOS MENORES:


a2 es el elemento menor del subconjunto A
a1 es el elemento menor de A-{a2}
a4 es el elemento menor de A-{a1, a2}
a3 es el elemento menor de A-{a4, a1, a2}
a5 es el elemento menor de A-{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.

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

CADENA IDENTIFICADA: DE LA MATRIZ


A5 A4 A1 A3 A7
A2 A6 con la concatenacin se logra:
Cadena A5 A4 A1 A3 A7 A2 A6
1. MATRIZ DE ELEMENTOS DESORDENADOS

2.GRAFO CON DEL DIAGRAMA SAGITAL

DE SUBCONJUNTOS DESORDENADOS

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

32

FIGURA GEOMETRICA

3.MATRIZ DE ELEMENTOS ORDENADOS

4.DIAGRAMA SAGITAL DEL SUBCONJUNTO


BIEN ORDENADO

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

33

5.TODOS LOS ELEMENTOS MENORES BIEN


ORDENADOS:
A6 es el menor de los subconjuntos de A
A2 es el menor de los subconjuntos de A-{ A6 }
A7 es el menor de los subconjuntos de A-{ A2, A6 }
A3 es el menor de los subconj. de A-{ A7, A2 ,A6}
A1 es el menor de los subconj. de A-{ A3, A7 ,A2, A6}
A4 es el menor de los subconj. de A-{ A1, A3, A7 ,A2, A6}
A5 es el menor de los sub. de A-{ A4,A1, A3, A7 ,A2, A6}

c) Determine todos los elementos


Menores de la relacin sombreada.

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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.

Solucin: TABLA DE VERDAD

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

Obtenemos las formulas, de las salidas 1 para


simplificar por propiedades:

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

S ABCD ABCD ABCD ABC D ABCD ABCD ABCD ABC D ABCD


36
S ABCD A( BCD BCD BC D BCD BCD BCD BC D BCD )
S ABCD A( BCD BCD BCD BC D BC D BCD BCD BCD )
S ABCD A(1 1 1 1)
S ABCD A
S (A BCD ) A
S A. A ABCD
S 0 ABCD
S ABCD
S A BCD

Ahora, se pide disear un modelo de compuertas.

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

OTROS EJERCICIOS 37

1. Utilice el diagrama de Venn Euler para


demostrar:

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 ABD ABD
Z AB( D D)
Z AB

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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 )

f) Z AC ( ABD ) ABCD ABC


Z AC ( A B D) ABCD A BC
Z A BC A BC AC D ABCD
Z BC A D(C BC )
Z BC A D(C B)

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

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
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

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

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

como el dgito menos significativo. 40

Disear un modelo de conjuntos cuya


salida produce 1 slo cuando el nmero
binario sea mayor que la secuencia
0110.
A B C D S
0 0 0 0 0
0 0 0 1 0 CD
AB CD
0 0 1 0 0 CD C D CD

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

5. Simplificar mediante el mapa de


Karnaught.

a) Z ABC ABC ABC ABC

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

C 41
AB C C
AB

AB
Z C
AB
AB

b) Z ABCD ABCD ABCD ABC D

CD
AB CD C D CD CD

AB

AB
S AB
AB
AB

c) Z ABCD ABCD ABCD ABCD

CD
AB CD C D CD CD

AB

AB
S BD
AB
AB

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

42
CD
AB CD C D CD CD

AB

AB
S AD
AB
AB

d) Z ABCD ABC D ABC D ABC D

e) Z ABCD ABC D ABCD ABCD

CD
AB CD C D CD CD

AB

AB
S B( AD AD )
AB
AB

e) Z ABCD ABCD ABCD ABC D ABCD ABCD ABCD ABC D

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

CD
43
AB CD C D CD CD

AB

AB
S B
AB
AB

6. A partir del diagrama de Veitch:

E1
E2

a) E1

b) E2

c) E1 E2

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

44

d) E1 E2

e) E1 E2

f) E1 E2

g) E1 E2

h) E1 E2

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

45

i) E1 E2

j) E1 E2

k) E1 E2

l) E1 E2

7. A partir del diagrama obtener:

FISI Daniel A. Quinto Pazce


Matemticas Discretas- FISI 2017-1 Daniel A. Quinto Pazce

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

FISI Daniel A. Quinto Pazce

También podría gustarte