Unidad2-Matematica Discreta

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 44

LECTURA BASE

Docente: Mgs. Pablo Landeta López


v 2.0 / 11-10-2021
Universidad Técnica del Norte – Modalidad en Línea

MATEMÁTICA DISCRETA

DOCUMENTO BASE DE
LECTURA DE LA UNIDAD
N.º 2
“LÓGICA DE CONJUNTOS”
Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
2
Universidad Técnica del Norte – Modalidad en Línea

Esquema ......................................................................................... 4
Ideas clave ...................................................................................... 5
Introducción .................................................................................. 5
Unidad 2.- Lógica de Conjuntos ........................................................... 6
Tema 1: Teoría de Conjuntos ........................................................... 6
Subtema 1: Tipos y Relaciones entre conjuntos ................................... 7
Subtema 2. Operaciones con conjuntos ............................................ 11
Subtema 3. Diagramas de Euler-Venn.............................................. 17
Tema 2: Álgebra Booleana y Funciones Lógicas ................................. 22
Subtema 1: Leyes y propiedades del Álgebra Booleana ....................... 22
Subtema 2: Compuertas Lógicas ..................................................... 28
Subtema 3: Mapas de Karnaugh ..................................................... 34
Recursos complementarios: ........................................................... 44
Referencias: ................................................................................ 44
Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
3
Esquema

MATEMÁTICA DISCRETA

Teoría y Sistema de Funciones y


Lógica Matemática Lógica de Conjuntos Numeración Algoritmos
1. Proposiciones y 1. Teoría de conjuntos 1. Teoría de números 1. Teoría de
conectivos lógicos 2. Álgebra Booleana y 2. Sistemas de funciones
2. Álgebra de Proposiciones Funciones Lógicas Numeración 2. Algoritmos
Material
Material Complementario Material Complementario Material Complementario
Complementario
Actividades Actividades Actividades
Actividades
Test Test Test Test
Ideas clave

Introducción

Las palabras conjunto y elemento son términos indefinidos de la teoría de


conjuntos tales como frase, verdadero y falso son términos indefinidos de la
lógica. El fundador de la teoría de conjuntos, Georg Cantor, sugirió imaginar
a un conjunto como una “colección M de todos los objetos definidos y
separados de nuestra intuición o de nuestro pensamiento.

Estos objetos se llaman los elementos de M. Cantor utilizó la letra M porque


es la primera letra de la palabra conjunto en alemán: Menge.

Material audiovisual
Relaciones entre conjuntos

https://bit.ly/3d8JSci

Diagramas de Venn

https://bit.ly/39ZI97l

Operaciones con conjuntos - Operaciones combinadas

https://bit.ly/3dYrrXc

ÁLGEBRA BOOLEANA (Introducción)

https://bit.ly/3dWDLqH

FUNCIÓN de las compuertas lógicas AND

https://bit.ly/3thm63u

MAPAS de KARNAUGH

https://bit.ly/3scdauP
Universidad Técnica del Norte – Modalidad en Línea

Matemática Discreta

Unidad 2.- Lógica de Conjuntos


Tema 1: Teoría de Conjuntos

Subtemas:

1. Tipos y Relaciones entre conjuntos


2. Operaciones con conjuntos
3. Diagramas de Euler-Venn

Objetivo

Realizar operaciones basadas en teorías de conjuntos y algebra booleana que


permita desarrollar la habilidad de resolver ejercicios lógicos aplicando lógica
de conjuntos.

Introducción

La teoría de conjuntos fue creada en el año 1895 por G. Cantor Matemático


alemán, describiendo a un conjunto como una agrupación o colección de
objetos que son definidos y visibles por medio de reglas. El lenguaje de
conjuntos permite estudiar estas agrupaciones de una manera organizada.
Se considera que la mayoría de las partes de la matemática es basada en la
teoría de conjuntos. En este tema se proporcionarán los diferentes tipos y
relaciones entre conjuntos, además de realizar operaciones entre ellos
demostrando su representación con los diagramas de Euler-Venn.
Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
6
Universidad Técnica del Norte – Modalidad en Línea

Desarrollo de subtemas:

Subtema 1: Tipos y Relaciones entre conjuntos


Tipos de conjuntos

Conjuntos finitos

Se denominan conjuntos finitos porque todos sus elementos pueden ser contabilizados.

Ejemplo:

{Letras del alfabeto} = {a, b, c, d, e, f, g, h…, x, y, z}

{Números enteros entre 20 y 25} = {21, 22, 23, 24}

Los puntos “…” en el primer conjunto representa a las letras que están a continuación
de la letra h. Se puede escribir todos los elementos del conjunto, pero se puede escribir
los tres puntos para ahorrar espacio en caso de que se encuentre totalmente claro lo
que significa.

Conjuntos infinitos

Se acepta que un conjunto sea infinito, lo importante es que debe de estar bien
definido.

Ejemplo:

{Números impares enteros} = {1, 3, 5, 7, 9, 11, 13, …}

{Números enteros positivos} = {1,2,3,4,5,6,7,8,9,10, …}

Un conjunto es infinito cuando no se puede escribir o listar todos sus elementos, ya que
es imposible. La representación de los tres puntos es una expresión para seguir la
secuencia del conjunto, es decir representa a todos los elementos que no fueron
listados.
Universidad Técnica del Norte (UTN)

Conjuntos disyuntivos

Dos conjuntos se denominan disyuntivos cuando no existen similitud en sus


elementos.

Ejemplo:

Matemática Discreta
Unidad 2: Lógica de Conjuntos
7
Universidad Técnica del Norte – Modalidad en Línea

A= {A, B, C, D} y B= {G, H, I, J} son conjuntos disyuntivos.

Conjunto vacío o nulo

Un conjunto vacío no contiene ningún elemento, se representa de la siguiente manera:


 o { }.

Conjunto unitario

Un conjunto unitario contiene un único elemento.

Ejemplo:

A= {1}

B= {primera letra del alfabeto}, resulta ser un conjunto unitario ya que su elemento es
“A”

Conjunto referencial o universo

Un conjunto universo tiene varios subconjuntos como parte de sus elementos se


simboliza como “U”

Por ejemplo:

El conjunto universo son todos los números naturales, entonces el conjunto de los
números enteros impares es un subconjunto del conjunto universo, el conjunto de los
números enteros pares es un subconjunto del conjunto universo, pero el conjunto de los
números decimales no es un subconjunto del conjunto universo.

Conjuntos superpuestos

Se denominan conjuntos superpuestos, cuando dos conjuntos contienen por lo menos


un elemento en común.

Ejemplo:
Universidad Técnica del Norte (UTN)

Si, A= {10, 20, 30, 40} y B= {40, 50, 60, 70}, entonces son conjuntos superpuestos, su
elemento en común es el número 40.

Conjuntos congruentes

Se denominan conjuntos congruentes cuando los elementos de un conjunto tienen


exactamente la misma relación en distancia con los elementos del otro conjunto.
Matemática Discreta
Unidad 2: Lógica de Conjuntos
8
Universidad Técnica del Norte – Modalidad en Línea

Ejemplo:

M= {2, 4, 6, 8, 10} y N= {4, 6, 8, 10, 12}, la distancia entre: 2 y 4, 4 y 6, 6 y 8, 8 y 10, 10


y 12 es de 2 unidades, entonces M y N son conjuntos congruentes.

Conjuntos no congruentes

Se denominan conjuntos no congruentes cuando los elementos de un conjunto no tienen


una relación de distancia con los elementos del otro conjunto.

Ejemplo:

S= {1, 10, 35, 70, 105} y T= {2, 4, 6, 8, 10}, la distancia entre: 1 y 2, 10 y 4, 35 y 6, 70 y


8, 105 y 10 es totalmente diferente entre cada uno de los elementos, por ende, S y T
son conjuntos no congruentes.

Conjunto homogéneo

Un conjunto es homogéneo cuando todos sus elementos pertenecen a una misma clase,
categoría o tipo.

Ejemplo:

S= {3, 7, 19, 99, 499}, los elementos del conjunto S son de un mismo tipo, son números
entonces es un conjunto homogéneo.

Conjunto heterogéneo

Un conjunto es heterogéneo cuando los elementos que lo conforman son de diferente


tipo, categoría o clase.

Ejemplo:

T= {1, A, azul, uva, bus, radio}, los elementos del conjunto T son de diferentes tipos, no
hay una categoría en común que tengan todos los elementos, por ende, se denomina
Universidad Técnica del Norte (UTN)

un conjunto heterogéneo.

Relaciones entre conjuntos

Subconjuntos inclusión

Matemática Discreta
Unidad 2: Lógica de Conjuntos
9
Universidad Técnica del Norte – Modalidad en Línea

Un subconjunto forma parte de un conjunto, es decir es una parte o está incluido en otro
conjunto con muchos más elementos.

Para representar un subconjunto “A” de un conjunto “B”, de esta manera se simboliza


así: A  B y se va a leer de la siguiente forma (A es un subconjunto de B)

Ejemplo:

Si M= {1,3,5} y N= {1,2,3,4,5}, entonces M  N. Como se puede observar los elementos


de M se encuentran en el conjunto de N de esta manera también son sus elementos.

Para simbolizar que A no es un subconjunto de un conjunto B se utiliza el siguiente


símbolo ““, de esta manera significa que por lo menos uno de los elementos de A no
forma parte de los elementos de B.

Ejemplo:

Si M= {10, 20, 30, 40} y N= {20, 30, 40, 50, 60, 70}, entonces M  N. Como se puede
observar uno de los elementos de M no se encuentra en los elementos de N, por ende,
M no es un subconjunto de N.

Igualdad de conjuntos

Dos conjuntos son iguales cuando ambos tienen los mismos elementos.

Ejemplo:

Si A= {Días de la semana} y B = {lunes, martes, miércoles, jueves, viernes, sábado,


domingo}, entonces A = B.

Si M = {Vocales} y N= {a, e, i, o, u}, entonces M=N

El orden de los elementos no tiene importancia, es decir: {5,6,7,8,9} = {8,6,5,7,9} =


Universidad Técnica del Norte (UTN)

{9,5,8,7,6}

De esta manera teniendo los conjuntos {a, b, c} y {d, e, f}, estos conjuntos no son iguales,
porque sus elementos son distintos. Se expresa {a, b, c}  {d, e, f}.

Matemática Discreta
Unidad 2: Lógica de Conjuntos
10
Universidad Técnica del Norte – Modalidad en Línea

Equivalencia de conjuntos

Dos conjuntos son equivalentes solo cuando ambos cuentan con el mismo número de
elementos, n (M) = n (N). El símbolo para expresar su equivalencia es .

Ejemplo:

M= {5, 6, 7, 8}, n (M) = 4, M tiene 4 elementos

N= {a, b, c, d}, n (N) = 4, N tiene 4 elementos

Entonces, M  N

Relación de pertenencia

La relación de pertenencia se establece entre los elementos y los conjuntos, es decir,


se dice que un elemento le pertenece a un conjunto cuando dicho elemento forma parte
de ese conjunto. Se simboliza de la siguiente manera: a  S y se lee “ el elemento a
pertenece al conjunto S”, cuando el elemento no pertenece al conjunto se simboliza a 
S.

Ejemplo:

M= {a, e, i, o, u}; entonces a  M, e  M, i  M, o  M, u  M.

¿El elemento “c” pertenece o no al conjunto M? c  M.

Subtema 2. Operaciones con conjuntos


Unión de conjuntos

La unión de dos conjuntos tales sean M y N, es el conjunto del total de elementos que
Universidad Técnica del Norte (UTN)

pertenecen al conjunto M o pertenecen al conjunto N o a los dos, se lo expresa de lo


siguiente manera: M  N. La operación se la puede definir M  N= {x/ xM o xN} se
lee, la unión del conjunto M y del conjunto N es el conjunto de los elementos x tal que x
pertenece al conjunto M o x pertenece al conjunto N.

Representación gráfica
MN

Matemática Discreta
Unidad 2: Lógica de Conjuntos
11
Universidad Técnica del Norte – Modalidad en Línea

M N

Figura 1. Representa a la unión de los conjuntos M y N. (T, 2008).

Ejemplos:

1) Teniendo los conjuntos A= {5, 6, 7}, B= {6, 7, 8} y C= {7, 8, 9}, representar


AB, AC y BC.

AB= {5, 6, 7, 8}

AC= {5, 6, 7, 8, 9}

BC= {6, 7, 8, 9}

A B A C B C

5 6 8 5 7 8 6 7 9
6 9
7 8
7
Figura 2. Uniones de los conjuntos A B y C que se solicitan en el enunciado. Elaboración propia.

2) Dados los conjuntos M= {a, e, i, o, u} y N= {6, 7, 8, 9, 10}, representar MN

MN= {a, e, i, o, u, 6, 7, 8, 9, 10}

3) Teniendo los conjuntos S= {Ana, Susana, Juana}, T= {Ana, Juana, María,


Esther}, V= {Susana, Diego, Junior, Ana} y W= {Pablo, Diego, Pedro, Mario},
representar ST, TV, VW, SV, TW y STV.

ST= {Ana, Susana, Juana, María, Esther}

TV= {Ana, Juana, María, Esther, Susana, Diego, Junior}


Universidad Técnica del Norte (UTN)

VW= {Susana, Diego, Junior, Ana, Pablo, Pedro, Mario}

SV= {Ana, Susana, Juana, Diego, Junior}

TW= {Ana, Juana, María, Esther, Pablo, Diego, Pedro, Mario}

STV= {Ana, Susana, Juana, María, Esther, Diego, Junior}

Matemática Discreta
Unidad 2: Lógica de Conjuntos
12
Universidad Técnica del Norte – Modalidad en Línea

Intersección de conjuntos

La intersección de dos conjuntos tales sean M y N, es el conjunto que se forma por los
elementos que los conjuntos tengan en común, es decir que pertenecen a los dos
conjuntos, se lo expresa de la siguiente manera: M  N. La operación se la puede definir
M  N= {x/ xM y xN} se lee, la intersección del conjunto M y del conjunto N es el
conjunto de los elementos x tal que x pertenece al conjunto M y x pertenece al conjunto
N.

Representación gráfica

M N
M N

Figura 3. Representa a la intersección de los conjuntos M y N. (T, 2008).

Para los ejemplos anteriores:

1) Teniendo los conjuntos A= {5, 6, 7}, B= {6, 7, 8} y C= {7, 8, 9}, representar


AB, AC y BC.

AB= {6, 7}

AC= {7}

BC= {7, 8}

A B A C B C

5 6 8 5 7 8 6 7 9
6 9
7 8
7
Figura 4. Intersecciones de los conjuntos A B y C que se solicitan en el enunciado. Elaboración propia.
Universidad Técnica del Norte (UTN)

2) Dados los conjuntos M= {a, e, i, o, u} y N= {6, 7, 8, 9, 10}, representar MN

MN= ; conjuntos disyuntivos

3) Teniendo los conjuntos S= {Ana, Susana, Juana}, T= {Ana, Juana, María,


Esther}, V= {Susana, Diego, Junior, Ana} y W= {Pablo, Diego, Pedro, Mario},
representar ST, TV, VW, SV, TW y STV.
Matemática Discreta
Unidad 2: Lógica de Conjuntos
13
Universidad Técnica del Norte – Modalidad en Línea

ST= {Ana, Juana}

TV= {Ana}

VW= {Diego}

SV= {Ana, Susana}

TW= ; conjuntos disyuntivos

STV= {Ana}

Diferencia de conjuntos

La diferencia de M y N o también denominado complemento relativo de N con respecto


a M, se trata del conjunto de los elementos que pertenezcan al conjunto M pero que no
pertenezcan al conjunto N, se expresa de la siguiente manera: M – N o M \ N. La
operación se la puede definir M - N= {x/ xM y xN} se lee, la diferencia del conjunto M
y del conjunto N es el conjunto de los elementos x tal que x pertenece al conjunto M y x
no pertenece al conjunto N.

Representación gráfica
M-N
M N

Figura 5. Diferencia de los conjuntos M y N. (T, 2008).

Ejemplos:

1) Teniendo los conjuntos M= {2, 4, 6, 8, 10} y N= {1, 2, 3, 4, 5, 6}, represente


M – N y N – M.

M – N= {8, 10}
Universidad Técnica del Norte (UTN)

N – M= {1, 3, 5}
M N M N
2 1 2 1
8 8
10 3 4 3
4 10
5 6 5
6
Figura 6. Diferencias de los conjuntos M y N que se solicitan en el enunciado. Elaboración propia.

Matemática Discreta
Unidad 2: Lógica de Conjuntos
14
Universidad Técnica del Norte – Modalidad en Línea

2) Dados los conjuntos S= {fresa, mora, manzana, uva, mandarina}, T= {mora,


guineo, pera, uva, guanábana, durazno} y V= {pera, fresa, naranja, coco,
sandia, durazno}, represente S – T, T – S, T – V, V – T, S – V, V – S, (S – T) –
V y (V – T)– S.

S – T= {fresa, manzana, mandarina}

T – S= {guineo, pera, guanábana, durazno}

T – V= {mora, guineo, uva, guanábana}

V – T= {fresa, naranja, coco, sandia}

S – V= {mora, manzana, uva, mandarina}

V – S= {pera, naranja, coco, sandia, durazno}

(S – T) – V= {manzana, mandarina}

(V – T) – S= {naranja, coco, sandia}

Complemento

Al tener el conjunto universo “U” y otro conjunto cualquiera “M”, el conjunto de los
elementos que pertenezcan al conjunto universo “U” pero que no pertenezcan al
conjunto “M” se denomina complemento del conjunto M y se expresa de la siguiente
manera: M’ o M o Mc. La operación se la puede definir M’= {x/ xU y xM} se lee, el
complemento del conjunto M es el conjunto de los elementos x tal que x pertenece al
conjunto universo y x no pertenece al conjunto M.

Representación gráfica
M'

M
Universidad Técnica del Norte (UTN)

Figura 7. Representa al complemento del conjunto M. (T, 2008).

Matemática Discreta
Unidad 2: Lógica de Conjuntos
15
Universidad Técnica del Norte – Modalidad en Línea

Ejemplo:

1) Teniendo el conjunto universo U= {lunes, martes, miércoles, jueves,


viernes, sábado, domingo} y el conjunto M= {viernes, sábado, domingo},
represente M’.

M’ = {lunes, martes, miércoles, jueves}

2) Dado el conjunto universo U= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, el conjunto S= {2,


4, 6, 8, 10} represente S’

S’= {1, 3, 5, 7, 9}

1
7
2 6
10
4 8
3 S
9

Figura 8. Complemento del conjunto S solicitado en el enunciado. Elaboración propia.

Diferencia simétrica

Teniendo dos conjuntos cualesquiera como M y N, el conjunto de los elementos que


pertenezcan al conjunto M o al conjunto N, pero que no pertenezcan a los dos, se
denomina diferencia simétrica de M y N, se expresa de la siguiente manera: M  N o M
+ N. Entonces M  N = (M – N)  (N – M).

Representación gráfica

MN
M N
Universidad Técnica del Norte (UTN)

Figura 9. representa a la diferencia simétrica de los conjuntos M y N. (T, 2008).

Ejemplos:

1) Teniendo los conjuntos M= {2, 4, 6, 8, 10} y N= {1, 2, 3, 4, 5, 6}, represente


M  N.

Matemática Discreta
Unidad 2: Lógica de Conjuntos
16
Universidad Técnica del Norte – Modalidad en Línea

M  N= {8, 10, 1, 3, 5,}

M N

8 2 1
4 3
10 5
6

Figura 10. Diferencia simétrica de los conjuntos M y N solicitada en el enunciado. Elaboración propia.

2) Dados los conjuntos S= {fresa, mora, manzana, uva, mandarina}, T= {mora,


guineo, pera, uva, guanábana, durazno} y V= {pera, fresa, naranja, coco,
sandia, durazno}, represente S  T, T  V, S  V y (S  T)  V.

S  T= {fresa, manzana, mandarina, guineo, pera, guanábana, durazno}

T  V= {mora, guineo, uva, guanábana, fresa, naranja, coco, sandia}

S  V= {mora, manzana, uva, mandarina, pera, naranja, coco, sandia,


durazno}

(S  T)  V= {manzana, mandarina, guineo, guanábana, naranja, coco,


sandía}

Subtema 3. Diagramas de Euler-Venn


Las operaciones de conjuntos pueden ser representadas gráficamente mediante
diagramas de Euler-Venn.

Problemas planteados

En un curso de matemática y física se inscribieron 200 alumnos, 76 no aprobaron


el curso, 27 aprobaron matemáticas y 18 aprobaron matemáticas y física.
¿Cuántos aprobaron solo física?
Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
17
Universidad Técnica del Norte – Modalidad en Línea

U= 200
9 + 18 + 𝑥 + 76 = 200
M F
103 + 𝑥 = 200

𝑥 = 200 − 103
9 18 97
𝑥 = 97

76
Figura 11. Diagrama de Venn con la respuesta, son 97 alumnos que aprobaron solo física. Elaboración propia.

En una encuesta realizada a 200 personas sobre 2 canales de televisión Tc y


Ecuavisa, 98 no observan Tc, 106 no observan Ecuavisa, 54 no observan ningún
canal. ¿Cuántas personas solo observan un canal?

U=200

T E 𝐸 = 98 − 54 = 44

𝑇 = 106 − 54 = 52

52 44 𝑆𝑜𝑙𝑜 𝑢𝑛 𝑐𝑢𝑟𝑠𝑜 = 52 + 44 = 96

54
Figura 12. Diagrama de Venn con la respuesta solicitada. Elaboración propia.

Se realizó una encuesta a 500 personas sobre sus preferencias al tomar leche,
café o té: 265 toman leche, 107 dijeron que toman café, 88 toman té, 41 personas
dijeron tomar leche y café, además ninguna de las personas que prefieren té toma
leche o café. Se pide:

1) Conocer cuántas personas toman 2 de los líquidos mencionados.


Universidad Técnica del Norte (UTN)

2) Conocer el número de personas que toman café.


3) Conocer el número de personas que toman leche.
4) Conocer cuántas personas no toman ninguno de los líquidos
mencionados.

Matemática Discreta
Unidad 2: Lógica de Conjuntos
18
Universidad Técnica del Norte – Modalidad en Línea

U= 500
1) 41 personas dijeron tomar
L= 265 C= 107 leche y café.
2) 107 − 41 = 66 personas.

224 41 66 3) 265 − 41 = 224 personas.


4) 224 + 41 + 66 + 88 + 𝑥 =
0
0 0 500
419 + 𝑥 = 500
88 𝑥 = 500 − 419
𝑥 = 81 personas
T= 88 81
Figura 13. Diagrama de Venn con las respuestas solicitadas. Elaboración propia.

Se realizó un curso vacacional para niños donde se ofertaron 3 deportes, futbol,


baloncesto y natación. Se tiene la siguiente información:

80 se inscribieron en futbol.

90 se inscribieron en baloncesto

80 se inscribieron en natación

30 se inscribieron en baloncesto y natación

25 se inscribieron en futbol y baloncesto

30 se inscribieron en futbol y natación

10 se inscribieron en los 3 deportes.

Se desea conocer ¿cuántos niños son en total?


Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
19
Universidad Técnica del Norte – Modalidad en Línea

U = 155
Futbol

F= 80 B= 90 30 + 10 + 25 = 65

80 − 65 = 15

15 25 35 Baloncesto
10
30 30 30 + 10 + 25 = 65

90 − 65 = 35
10
Natación

N= 80 30 + 10 + 30 = 70

80 − 70 = 10

Totalidad de niños

30 + 10 + 30 + 25 + 15 + 35 + 10 = 155

Figura 14. Diagrama de Venn con las respuestas solicitadas. Elaboración propia.

En una encuesta a 250 personas acerca de las marcas de gaseosas Pepsi, Coca
Cola y Big Cola, se tiene los siguientes datos:

140 consumen Coca Cola

60 consumen Pepsi

50 consumen Big Cola,

10 consumen Pepsi y Big Cola

25 consumen Coca Cola y Big Cola


Universidad Técnica del Norte (UTN)

13 consumen Coca Cola y Pepsi

5 consumen las 3 marcas

Se desea conocer:

¿Cuántas personas no consumen ninguna de las tres marcas?

Matemática Discreta
Unidad 2: Lógica de Conjuntos
20
Universidad Técnica del Norte – Modalidad en Línea

¿Cuántas personas consumen solo la marca Coca Cola?

Coca Cola

U=250 25 + 5 + 13 = 43

140 − 43 = 97

Pepsi
C= 140 P= 60
13 + 5 + 10 = 28
60 − 28 = 32
97 13 32
Big Cola
5 25 + 5 + 10 = 40
25 10
50 − 40 = 10

10 Total de personas

97 + 13 + 5 + 25 + 32 + 10 + 10=
192
B= 50 58 No consumen ninguna marca

250 − 192 = 58
Figura 15. Diagrama de Venn con las respuestas solicitadas. Elaboración propia.

En una academia de idiomas hay 116 alumnos que estudian inglés, 70 alemán y
80 francés. Si el total de alumnos es 152 y 20 de ellos estudian en los 3 idiomas
¿Cuántos estudian exactamente 2 idiomas?

U= 152

I= 116 A= 70
𝐼 + 𝐴 + 𝐹 = 152
Universidad Técnica del Norte (UTN)

96 - x - y y 50 - y - z 116 + 50 − 𝑦 − 𝑧 + 𝑧 + 60 − 𝑥 − 𝑧 =
152 20
x z
226 − 152 = 𝑥 + 𝑦 + 𝑧
60 - x - z
74 = 𝑥 + 𝑦 + 𝑧
F= 80
Figura 16. Diagrama de Venn con las respuestas solicitadas. Elaboración propia.
Matemática Discreta
Unidad 2: Lógica de Conjuntos
21
Universidad Técnica del Norte – Modalidad en Línea

Tema 2: Álgebra Booleana y Funciones Lógicas

Subtemas:

4. Leyes y propiedades del Álgebra Booleana


5. Compuertas lógicas
6. Mapas de Karnaugh

Objetivo

Realizar operaciones basadas en algebra booleana que permita desarrollar la


habilidad de resolver ejercicios lógicos aplicando lógica de conjuntos.

Introducción

Para elaborar dispositivos electrónicos se necesitan circuitos, los mismos que


requieren el uso de compuertas lógicas, para ello, es necesario el álgebra
booleana para optimizar compuertas lógicas y así los circuitos sean eficientes
y fáciles de entender.

Desarrollo de subtemas:

Subtema 1: Leyes y propiedades del Álgebra Booleana

El álgebra booleana (llamada así en honor al matemático británico George


Bool), trata de simplificar ciertas fórmulas booleanas usando unas leyes
establecidas, permitiendo reducir el uso de compuertas lógicas en los circuitos
Universidad Técnica del Norte (UTN)

electrónicos.

El álgebra booleana establece:

Todo conjunto B que contenga operaciones binarias de unión (+) o


intersección (•) con 0 y 1 entre sus elementos y una operación unitaria ':

Matemática Discreta
Unidad 2: Lógica de Conjuntos
22
Universidad Técnica del Norte – Modalidad en Línea

Leyes de Identidad {
𝒂+𝟎 =𝒂
𝒂•𝟏 =𝒂

Leyes Conmutativas {
𝑎+𝑏 =𝑏+𝑎
𝑎•𝑏 =𝑏•𝑎

Leyes Asociativas (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐)
{
(𝑎 • 𝑏) • 𝑐 = 𝑎 • (𝑏 • 𝑐)

Leyes Distributivas 𝑎 + (𝑏 • 𝑐) = (𝑎 + 𝑏) • (𝑎 + 𝑐)
{
𝑎 • (𝑏 + 𝑐) = (𝑎 • 𝑏) + (𝑎 • 𝑐)

Leyes de Complementos {𝑎 + 𝑎′ = 1
𝑎 • 𝑎′ = 0

Tabla 1. Leyes del álgebra booleana (T, 2008)

Propiedades adicionales del álgebra booleana

Leyes de idempotencia

𝒂 + 𝒂 = 𝒂 y 𝒂 • 𝒂 = 𝒂 para todo 𝒂 ∈ 𝑩

Demostración:

𝒂 = 𝒂 + 𝟎, ley de Identidad

= 𝒂 + 𝒂 • 𝒂′, ley de Complemento

= (𝒂 + 𝒂) • (𝒂 + 𝒂′ ), ley Distributiva

= (𝒂 + 𝒂) • 𝟏, ley de Complemento

= 𝒂 + 𝒂, ley de Identidad
Universidad Técnica del Norte (UTN)

En este caso 𝒂 = 𝒂 • 𝟏, ley de Identidad

= 𝒂 • (𝒂 + 𝒂′ ), ley de Complemento

= (𝒂 • 𝒂) + (𝒂 • 𝒂′ ), ley Distributiva

= (𝒂 • 𝒂) + 𝟎, ley de Complemento

Matemática Discreta
Unidad 2: Lógica de Conjuntos
23
Universidad Técnica del Norte – Modalidad en Línea

= 𝒂 • 𝒂, ley de Identidad

Leyes de dominancia

𝒂 + 𝟏 = 𝟏 y 𝒂 • 𝟎 = 𝟎 para todo 𝒂 ∈ 𝑩

Demostración:

𝒂 + 𝟏 = (𝒂 + 𝟏) • 𝟏, ley de Identidad

= (𝒂 + 𝟏) • (𝒂 + 𝒂′ ), ley de Complemento

= 𝒂 + 𝟏 • 𝒂′ , ley Distributiva

= 𝒂 + 𝒂′ • 𝟏, ley de Conmutativa

= 𝒂 + 𝒂′ , ley de Identidad

= 𝟏, ley de Complemento

En este caso 𝒂 • 𝟎 = 𝒂 • 𝟎 + 𝟎, ley de Identidad

= (𝒂 • 𝟎) + (𝒂 • 𝒂′ ), ley de Complemento

= 𝒂 • (𝟎 + 𝒂′ ), ley Distributiva

= 𝒂 • (𝒂′ + 𝟎), ley de Conmutativa

= 𝒂 • 𝒂′ , ley de Identidad

= 𝟎, ley de Complemento

Leyes de absorción

𝒂 • (𝒂 + 𝒃) = 𝒂 y 𝒂 + 𝒂 • 𝒃 = 𝒂 para todo 𝒂, 𝒃 ∈ 𝑩
Universidad Técnica del Norte (UTN)

Demostración:

𝒂 • (𝒂 + 𝒃) = (𝒂 + 𝟎) • (𝒂 + 𝒃), ley de Identidad

= 𝒂 + 𝟎 • 𝒃, ley Distributiva

= 𝒂 + 𝒃 • 𝟎, ley de Conmutativa

Matemática Discreta
Unidad 2: Lógica de Conjuntos
24
Universidad Técnica del Norte – Modalidad en Línea

= 𝒂 + 𝟎, ley de Dominancia

= 𝒂, ley de Complemento

En este caso 𝒂 + 𝒂 • 𝒃 = 𝒂 • 𝟏 + 𝒂 • 𝒃, ley de Identidad

= 𝒂 • (𝟏 + 𝒃), ley Distributiva

= 𝒂 • (𝒃 + 𝟏), ley Conmutativa

= 𝒂 • 𝟏, ley de Dominancia

= 𝒂, ley de Complemento

Leyes de De Morgan

(𝒂 + 𝒃)′ = 𝒂′ • 𝒃′ y (𝒂 • 𝒃)′ = 𝒂′ + 𝒃′ para todo 𝒂, 𝒃 ∈ 𝑩

Demostración:

(𝒂 + 𝒃) + 𝒂′ 𝒃′ = {(𝒂 + 𝒃) + 𝒂′ } • {(𝒂 + 𝒃) + 𝒃′ }, ley Distributiva

= {(𝒃 + 𝒂) + 𝒂′ } • {(𝒂 + 𝒃) + 𝒃′ }, ley Conmutativa

= {𝒃 + (𝒂 + 𝒂′ )} • {𝒂 + (𝒃 + 𝒃′ )}, ley Asociativa

= (𝒃 + 𝟏) • (𝒂 + 𝟏), ley de Complemento

= 𝟏 • 𝟏, ley de Dominancia

= 𝟏, ley de Identidad

En este caso (𝒂 + 𝒃) • 𝒂′ 𝒃′ = 𝒂′𝒃′ • (𝒂 + 𝒃), ley Conmutativa

= 𝒂′𝒃′ • 𝒂 + 𝒂′𝒃′, ley Distributiva


Universidad Técnica del Norte (UTN)

= 𝒂 • (𝒂′ 𝒃′ ) + 𝒂 • 𝒃′𝒃, ley Asociativa

= (𝒂 • 𝒂′ ) • 𝒃′ + 𝒂′ • (𝒃𝒃′ ), ley Asociativa y Conmutativa

= 𝟎 • 𝒃′ + 𝒂′ • 𝟎, ley de Complemento

= 𝒃′ • 𝟎 + 𝒂′ • 𝟎, ley Conmutativa

Matemática Discreta
Unidad 2: Lógica de Conjuntos
25
Universidad Técnica del Norte – Modalidad en Línea

= 𝟎 + 𝟎, ley de Dominancia

= 𝟎, ley de Identidad

Doble complemento o ley de involución

(𝒂′)′ = 𝒂 para todo 𝒂 ∈ 𝑩

Demostración:

𝒂 + 𝒂′ = 𝟏 y 𝒂 • 𝒂′ = 𝟎, ley de Complemento

Ley de cero y uno

𝟎′ = 𝟏 y 𝟏′ = 𝟎

Demostración:

𝟎′ = (𝒂𝒂′ )′, ley de complemento

= 𝒂′ + (𝒂′ )′, ley de Morgan

= 𝒂′ + 𝒂, ley de involución

= 𝒂 + 𝒂′, ley Conmutativa

= 𝟏, ley de Complemento

En este caso (𝟎′)′ = 𝟏′

Es decir 𝟎 = 𝟏′ o 𝟏′ = 𝟎
Universidad Técnica del Norte (UTN)

Ejemplos:

1. 𝑎 + 𝑎𝑏 Factor común

Matemática Discreta
Unidad 2: Lógica de Conjuntos
26
Universidad Técnica del Norte – Modalidad en Línea

𝑎 • (𝟏 + 𝒃) ley de Dominancia

𝒂•𝟏 ley de Identidad

𝒂 Resp.

2. 𝑎 • (𝑎 + 𝑏)

𝒂𝒂 + 𝑎𝑏 ley de Idempotencia

𝑎 + 𝑎𝑏 Factor común

𝑎 • (1 + 𝑏) ley de Dominancia

𝒂•𝟏 ley de Identidad

𝒂 Resp.

3. (𝑎 + 𝑏) • (𝑎 + 𝑐)

𝒂𝒂 + 𝑎𝑐 + 𝑏𝑎 + 𝑏𝑐 ley de Idempotencia

𝑎 + 𝑎𝑐 + 𝑏𝑎 + 𝑏𝑐 Factor común

𝑎(𝟏 + 𝒄 + 𝒃) + 𝑏𝑐 ley de Dominancia

𝒂 • 𝟏 + 𝑏𝑐 ley de Identidad

𝒂 + 𝒃𝒄 Resp.
Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
27
Universidad Técnica del Norte – Modalidad en Línea

Subtema 2: Compuertas Lógicas


Los dispositivos electrónicos cuentas con circuitos, los mismos que son
diseñados utilizando el álgebra de Boole al integrar compuertas lógicas:

Compuerta OR:

Recibe desde dos entradas las cuales el resultado de la salida será la suma
booleana de los valores de las entradas. La simbolización es la siguiente:

Figura 1. Compuerta OR (T, 2008)

Compuerta AND:

Recibe desde dos entradas las cuales el resultado de la salida será el producto
booleano de los valores de las entradas. La simbolización es la siguiente:

Figura 2. Compuerta AND (T, 2008)

Compuerta NOT o inversor:

Recibe sólo una entrada y la salida es el complemento de la misma. La


simbolización es la siguiente:
Universidad Técnica del Norte (UTN)

Figura 3. Compuerta NOT (T, 2008)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
28
Universidad Técnica del Norte – Modalidad en Línea

Combinación de compuertas

Uniendo las compuertas expuestas se forman circuitos combinacionales,


estos pueden representarse por separado,

Figura 4. Circuitos combinacionales, con las mismas entradas representadas por separado (T, 2008)

o usar ramificaciones que indiquen que se están usando las mismas entradas
en las compuertas:

Figura 5. Circuitos combinacionales, con las mismas entradas representadas con ramificaciones (T, 2008)

Ejercicio:

Determinar la salida del siguiente circuito:


Universidad Técnica del Norte (UTN)

Figura 1. Ejercicio, determinar la salida del circuito (T, 2008)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
29
Universidad Técnica del Norte – Modalidad en Línea

El circuito tiene tres entradas 𝒙𝟏 , 𝒙𝟐 y 𝒙𝟑 .

Las dos primeras son un producto, y el producto de los dos se suma con la
tercera entrada:

(𝒙𝟏 • 𝒙𝟐 ) + 𝒙𝟑

Teniendo la salida de la compuerta OR, se ejecuta la compuerta NOT, dando


como resultado final:

𝒚 = [(𝒙𝟏 • 𝒙𝟐 ) + 𝒙𝟑 ]′

Sumadores

Para realizar un sumador completo se requiere tres bits de entrada 𝒙, 𝒚 & 𝒛 y


dos bits de salida 𝒔 (bit de suma) y 𝒄 (bit de acarreo):

Entradas Salidas

x y z c s

1 1 1 1 1

1 1 0 1 0

1 0 1 1 0

1 0 0 0 1

0 1 1 1 0
Universidad Técnica del Norte (UTN)

0 1 0 0 1

0 0 1 0 1

0 0 0 0 0

Matemática Discreta
Unidad 2: Lógica de Conjuntos
30
Universidad Técnica del Norte – Modalidad en Línea

Tabla 2. Tabla de verdad de un sumador. (T, 2008)

De acuerdo con la tabla de verdad se obtiene:

𝑠 = 𝑥𝑦𝑧 + 𝑥𝑦 ′ 𝑧 ′ + 𝑥 ′ 𝑦𝑧 ′ + 𝑥 ′ 𝑦 ′ 𝑧
𝑐 = 𝑥𝑦𝑧 + 𝑥𝑦𝑧 ′ + 𝑥𝑦 ′ 𝑧 + 𝑥′𝑦𝑧

Si se observa que:

𝑐 = 𝑥𝑦𝑧 + 𝑥𝑦𝑧 ′ + 𝑥𝑦 ′ 𝑧 + 𝑥′𝑦𝑧

= (𝑥𝑦𝑧 + 𝑥𝑦𝑧 ′ ) + (𝑥𝑦𝑧 + 𝑥𝑦 ′ 𝑧) + (𝑥𝑦𝑧 + 𝑥 ′ 𝑦𝑧)

= 𝑥𝑦(𝑧 + 𝑧 ′ ) + 𝑧𝑥(𝑦 + 𝑦 ′ ) + 𝑦𝑧(𝑥 + 𝑥 ′ ) Ley del Complemento

= 𝒙𝒚 + 𝒚𝒛 + 𝒛𝒙 Resp.

El circuito sumador queda de la siguiente forma:


Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
31
Universidad Técnica del Norte – Modalidad en Línea

Figura 2. Circuito sumador (T, 2008)


Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
32
Universidad Técnica del Norte – Modalidad en Línea

Minimización de circuitos con funciones booleanas

Es de mucha importancia aplicar correctamente las funciones booleanas para


la simplificación de los circuitos, los mismos serán eficientes y fáciles de
entender.

Se considera lo siguiente 𝒙𝒚𝒛 + 𝒙𝒚𝒛′ para armar un circuito:

Figura 3. Circuito xyz + xyz’ (T, 2008)

Si se simplifica:

𝒙𝒚𝒛 + 𝒙𝒚𝒛′ = 𝑥𝑦(𝑧 + 𝑧 ′ )


= 𝑥𝑦(1)

= 𝒙𝒚 Resp.

El circuito final:

Figura 4. Circuito simplificado (T, 2008)


Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
33
Universidad Técnica del Norte – Modalidad en Línea

Subtema 3: Mapas de Karnaugh


Es un diagrama que consiste en 𝟐𝒏 cuadrados donde n es la cantidad de
variables que contenga la expresión. Se coloca un 1 en el cuadrado que
representa un minitérmino si éste se encuentra presente en la expresión
dada, caso contrario se coloca un 0.

La simplificación se obtiene al combinar cuadrados adyacentes que contengan


1 teniendo en cuenta lo siguiente:

El número de celdas en un grupo debe ser potencia de 2, esto es 2, 4, 8, 16,


etcétera.

Una celda que contenga un 1 puede incluirse en cualquier número de grupos.

Para minimizar la expresión al grado máximo posible, deben preferirse los


grupos más grandes que puedan formarse. Es decir, no deben considerarse
un grupo de dos celdas, si estas celdas pueden incluirse en un grupo de cuatro
celdas, etcétera.

Existen celdas adyacentes no sólo dentro del mapa K, sino también en los
extremos de cada columna y de cada fila; es decir, la celda superior en
cualquier columna es adyacente a la celda inferior en la misma columna. La
celda más a la izquierda en cualquier fila es adyacente a la celda más a la
derecha de esa fila.

Los mapas de Karnaugh de 2, 3 o 4 variables se realizan de la siguiente


forma:
Universidad Técnica del Norte (UTN)

Figura 5. Mapa de Karnaugh (método 1), con dos variables (T, 2008)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
34
Universidad Técnica del Norte – Modalidad en Línea

Figura 6. Mapa de Karnaugh (método 2), con dos variables (T, 2008)

Figura 7. Mapa de Karnaugh (método 1), con tres variables (T, 2008)

Figura 8. Mapa de Karnaugh (método 2), con tres variables (T, 2008)
Universidad Técnica del Norte (UTN)

Figura 9. Mapa de Karnaugh (método 1), con cuatro variables (T, 2008)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
35
Universidad Técnica del Norte – Modalidad en Línea

Figura 10. Mapa de Karnaugh (método 2), con cuatro variables (T, 2008)

Patrones de celdas adyacentes y grupos de números 1 que deben encerrarse

Figura 11. Mapas de K de tres variables con diferentes patrones posibles (T, 2008)
Universidad Técnica del Norte (UTN)

Figura 12. Mapas de K de cuatro variables con diferentes patrones posibles (T, 2008)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
36
Universidad Técnica del Norte – Modalidad en Línea

Procedimiento para la minimización de expresiones booleanas


utilizando mapas K

Un mapa K se construye colocando primero números 1 en aquellos cuadrados


o celdas correspondientes a los minitérminos presentes en la expresión y
números en las otras celdas.

Todos aquellos 1 que no pueden combinarse con cualesquiera otros 1 se


identifican y se enlazan.

Todos aquellos 1 que se combinan en un lazo de dos pero que no forman un


lazo de cuatro se enlazan.

Figura 13. Formas posibles de lazos simples de cuatro celdas para cuatro variables (T, 2008)
Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
37
Universidad Técnica del Norte – Modalidad en Línea

Figura 14. Formas posibles de lazos simples de ocho celdas para cuatro variables (T, 2008)

Todos aquellos 1 que se combinan en un lazo de cuatro, pero no forman un


lazo de ocho se enlazan.

El proceso se interrumpe cuando se han cubierto todos los 1.

La expresión simplificada es la suma de todos los términos que corresponden


a los diversos lazos.
Universidad Técnica del Norte (UTN)

Matemática Discreta
Unidad 2: Lógica de Conjuntos
38
Universidad Técnica del Norte – Modalidad en Línea

Ejemplos

Ejercicio 1:

𝒔 = 𝒙′ 𝒚𝒛 + 𝒙𝒚′ 𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛′

El ejercicio muestra una salida s con 3 variables lógicas, se procede a hacer


la tabla de verdad:

x y z

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

Tabla 3. Tabla de verdad del ejercicio 1. Elaboración propia.

De la expresión 𝒔 = 𝒙′ 𝒚𝒛 + 𝒙𝒚′ 𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛′ ubicamos los valores de x, y & z


con ceros y unos respectivamente:
Universidad Técnica del Norte (UTN)

𝟎𝟏𝟏 + 𝟏𝟎𝟏 + 𝟏𝟏𝟏 + 𝟏𝟏𝟎


𝒔 = 𝒙′ 𝒚𝒛 + 𝒙𝒚′ 𝒛 + 𝒙𝒚𝒛 + 𝒙𝒚𝒛′

La fila de la tabla de verdad que tenga los valores respectivos, se marca la


celda s con 1:

Matemática Discreta
Unidad 2: Lógica de Conjuntos
39
Universidad Técnica del Norte – Modalidad en Línea

x y z s

0 0 0 0

0 0 1 0

0 1 0 0

𝒙′ 𝒚𝒛 0 1 1 1

1 0 0 0

𝒙𝒚′ 𝒛 1 0 1 1

𝒙𝒚𝒛′ 1 1 0 1

𝒙𝒚𝒛 1 1 1 1

Tabla 4. Valores de las salidas para usarlos en el mapa de Karnaugh. Elaboración propia.

Con la tabla y sus valores puestos donde corresponde, se procede a realizar


el mapa de Karnaugh. Para ello, se debe revisar los pasos planteados en la
teoría:

yz

x y’z’ y’z yz yz’

x’ 0 0 1 0
Universidad Técnica del Norte (UTN)

x 0 1 1 1

Tabla 5. Mapa de Karnaugh resuelto. Elaboración propia.

Matemática Discreta
Unidad 2: Lógica de Conjuntos
40
Universidad Técnica del Norte – Modalidad en Línea

Para obtener la respuesta se escoge las variables cuyas celdas contengan 1


y los grupos estén con el mismo tipo de variable, o sea, que no sean positivas
y negativas a la vez.

El grupo verde de la fila x no cambia, es sólo positiva, entonces se la tiene


en cuenta;

Las columnas que cubren el grupo verde son y’z & yz, la variable y cambia,
entonces se descarta dejando sólo la z que mantiene su valor.

Dando como resultado para el grupo verde xz.

El grupo rojo cubre las variables x & x’, esto quiere decir que para este grupo
la variable x será descartada.

En la columna yz las variables no cambian dejándolas como resultado final


del grupo rojo.

El grupo azul de la fila x no cambia, es sólo positiva, entonces se la tiene en


cuenta;

Las columnas que cubren el grupo azul son yz & yz’, la variable z cambia,
entonces se descarta dejando sólo la y que mantiene su valor.

Dando como resultado para el grupo azul xy.

Por último, el resultado de cada grupo, se lo junta en una adición

𝒔 = 𝒙𝒛 + 𝒚𝒛 + 𝒙𝒚 Resp.

Ejercicio 2:

Problema: Un barrio cuenta con un sistema de 2 alarmas, y existen cuatro


controles remotos que las activan; la alarma 1 se activa cuando la mayoría
Universidad Técnica del Norte (UTN)

de los controles son presionados al mismo tiempo y la alarma 2 se activa sólo


cuando hay igual número de controles presionados y no presionados.

Matemática Discreta
Unidad 2: Lógica de Conjuntos
41
Universidad Técnica del Norte – Modalidad en Línea

w x y z A1 A2

0 0 0 0 0 0

0 0 0 1 0 0

0 0 1 0 0 0

0 0 1 1 0 1

0 1 0 0 0 0

0 1 0 1 0 1

0 1 1 0 0 1

0 1 1 1 1 0

1 0 0 0 0 0

1 0 0 1 0 1

1 0 1 0 0 1

1 0 1 1 1 0

1 1 0 0 0 1

1 1 0 1 1 0

1 1 1 0 1 0
Universidad Técnica del Norte (UTN)

1 1 1 1 1 0

Tabla 6. Tabla de verdad del ejercicio 2, con las respuestas de las salidas correspondientes. Elaboración propia.

Matemática Discreta
Unidad 2: Lógica de Conjuntos
42
Universidad Técnica del Norte – Modalidad en Línea

yz

wx y’z’ y’z yz yz’

w’x’ 0 0 0 0

w’x 0 0 1 0

wx 0 1 1 1

wx’ 0 0 1 0

Tabla 7. Mapa de Karnaugh para la salida 1

𝑨𝟏 = 𝒙𝒚𝒛 + 𝒘𝒚𝒛 + 𝒘𝒙𝒚 + 𝒘𝒙𝒛 Resp.

yz

wx y’z’ y’z yz yz’

w’x’ 1

w’x 1 1

wx 1
Universidad Técnica del Norte (UTN)

wx’ 1 1

Tabla 8. Mapa de Karnaugh para la salida 2

𝑨𝟐 = 𝒘′ 𝒙𝒚′ 𝒛 + 𝒘𝒙′ 𝒚′ 𝒛 + 𝒘′ 𝒙𝒚𝒛′ + 𝒘𝒙𝒚′ 𝒛′ + 𝒘𝒙′ 𝒚𝒛′ + 𝒘′𝒙′𝒚𝒛 Resp.

Matemática Discreta
Unidad 2: Lógica de Conjuntos
43
Universidad Técnica del Norte – Modalidad en Línea

Recursos complementarios:
Los siguientes recursos complementarios son sugerencias para que se pueda
ampliar la información sobre el tema trabajado, como parte de su proceso de
aprendizaje autónomo:

• Arroyo, G. (s.f.). Análisis mediante la teoría de conjuntos de algunos


aspectos de la subjetividad. Primera parte. ARAN EDICIONES, 242-
249. Obtenido de
https://www.researchgate.net/profile/Jose_M_Garcia-
Arroyo/publication/254864694_Analisis_mediante_la_teoria_de_conj
untos_de_algunos_aspectos_de_la_subjetividad_primera_parte/links/
0c960524951f47df58000000/Analisis-mediante-la-teoria-de-
conjuntos-de-alguno
• Kisbye, P., & Tiraboschi, A. (s.f.). Elementos de lógica y Teoría de
conjuntos. Obtenido de
https://www.famaf.unc.edu.ar/~ferrero/files/conjuntos.pdf
• Vidal, Tomás “Sistemas Digitales” Recuperado de:
http://profesores.elo.utfsm.cl/~tarredondo/info/digital-systems/2-
Funciones%20Booleanas.pdf
• López T., Bruno “Álgebra Booleana”. Recuperado de:
http://www.itnuevolaredo.edu.mx/takeyas/apuntes/matematicas_dis
cretas/apuntes/Algebra_Booleana.pdf

Referencias:

Espinosa Armenta, R. (2010). Matemáticas Discretas. ALFAOMEGA.


Universidad Técnica del Norte (UTN)

Richard, J. (2015). Matemáticas Discretas. PEARSON.

T, V. (2008). Matemáticas Discretas con Teoría de Gráficas y Combinatoria. MC GRAW HILL.

Matemática Discreta
Unidad 2: Lógica de Conjuntos
44

También podría gustarte