Separata Matemática Discreta
Separata Matemática Discreta
Separata Matemática Discreta
MATEMATICA
DISCRETA
MATEMÁTICA DISCRETA 1
Contenido
LÓGICA PROPOSICIONAL ................................................................................................... 2
CUANTIFICADORES ............................................................................................................. 4
MÉTODOS DE DEMOSTRACIÓN ....................................................................................... 11
PRINCIPIO DE INDUCCIÓN MATEMÁTICA EN 𝐙 + .......................................................... 14
RECURSIVIDAD ................................................................................................................... 23
CARDINALIDAD ................................................................................................................... 21
CONGRUENCIA ................................................................................................................... 31
RELACIONES SQL .............................................................................................................. 34
TÉCNICAS DE CONTEO ..................................................................................................... 38
NÚMEROS DE STIRLING .................................................................................................... 42
GRAFOS ............................................................................................................................... 47
CIRCUITO Y TRAYECTORIA DE EULER ........................................................................... 59
COLOREADO DE GRAFOS................................................................................................. 66
ALGORITMO DE DIJKSTRA ................................................................................................ 68
CONVERSIONES POLACOS: ............................................................................................. 77
2023-0
MATEMÁTICA DISCRETA 2
LÓGICA PROPOSICIONAL
Se refiere al uso de las leyes lógicas e inferencias lógicas para deducir nuevas proposiciones
que pueden ser verdaderas o falsas.
Proposición: es un enunciado que afirma o niega, no puede ser una frase exclamativa o
interrogativa.
Siendo el cálculo proposicional el uso de dichas leyes lógicas e inferencias las cuales se
usan con las premisas, dando una tesis o conclusión lógica.
▪ P1: p → q (premisa)
▪ P4: r (premisa)
▪ P6: p ν (t ^ s) (premisa)
▪ P1: p ^ q (premisa)
▪ P7: r→(s ν t)
▪ P9: ~s (premisa)
▪ E3: (~p ν
▪ P1: r→ t (premisa)
▪ P2: ~t (premisa)
▪ P3: ~r
CUANTIFICADORES
P(x) es verdadera para todos los valores de x en el universo del discurso, el cuantificador
universal se denota como ∀ x P(x).
a) ∀ x P(x) Ξ ∃ x ~P(x)
b) ∃ x P(x) Ξ ∀ x ~P(x)
c) ∀ x ~P(x) Ξ ∃ x P(x)
d) ∃ x ~P(x) Ξ ∀ x P(x)
Ejemplos:
∃ x (C(x) ^ B(x))
∀ x (B(x)→A(x))
∵ ∃x(C(x) ^A(x))
MATEMÁTICA DISCRETA 5
Observación:
Basta que haya una proposición donde haya existencia la tesis o conclusión final debe
ser con existencia.
E2:
▪ ∀ x(P(x) ν Q(x))
▪ ∃ x ~P(x)
▪ ∀ x(~Q(x) ν R(x))
▪ ∀x(S(x)→~R(x))
∃ x ~S(x)
E3:
E4:
▪ P1: ∀x(stgo(x)→km(x))
▪ P2: ∃x(stgo(x)^~océano(x))
∃x (km(x)^~oceano(x))
PREDICADOS
Ejemplo:
Todas las personas de la ciudad de Ica están a menos de 10 km del océano. Alguien
de Ica no ha visto nunca el océano. Entonces quien está a menos de 10 km del océano
nunca lo ha visto.
Llevando a predicados.
Ica(x): x es de Ica
Km(x): está a menos de 10km del oceano
oceano(x): x ha visto el oceano
MATEMÁTICA DISCRETA 7
∀ x (Ica(x)→km(x))
∃ x (Ica(x)^~oceano(x))
∃ x (km(x)^~oceano(x))
Observa que cuando es para todo se pone una implicancia cuando es existencia se
pone la conjunción.
E2: Si la banda no pudiera tocar rock o las bebidas no llegasen a tiempo, la fiesta de
año nuevo tendría que cancelarse y Alicia se enojaría. Si la fiesta se cancelara habría
que devolver el dinero. No se devolvió el dinero. Por lo tanto, la banda pudo tocar
rock.
▪ P1: ~p ν ~q → r ^ s
▪ P2: r → d
▪ P3: ~d
E3:
A alguien del curso le gusta resolver problemas de geometría. Todas las personas a
las que le gusta resolver problemas de geometría se preocupan por saber
trigonometría. Por tanto, hay alguien en este curso que se preocupa por resolver
problemas de trigonometría.
▪ P1: ∃ x (P(x)^Q(x))
▪ P2: ∀ x (Q(x)→R(x))
∃ x (P(x)^R(x))
Si Juan toma el autobús, luego Juan pierde su cita. Si el autobús llega tarde, diseñar la expresión lógica
Formulación
𝑅 ⟶ (𝑄 → 𝑃)
𝑅 → (∼ 𝑄 ∨ 𝑃)
∼ 𝑅 ∨∼ 𝑄 ∨ 𝑃
MATEMÁTICA DISCRETA 9
∼𝑄
Q ∼𝑄∨𝑃
P 𝑆 =∼ 𝑅 ∨∼ 𝑄 ∨ 𝑃
∼𝑅
Simbología
• 𝐴∪𝐵 A
𝐴∪𝐵
• 𝐴∩𝐵 A
𝐴∩𝐵
• ̅̅̅̅̅̅̅
𝐴∪𝐵
• ̅̅̅̅̅̅̅
𝐴∩𝐵
MATEMÁTICA DISCRETA 10
((𝑝 ∧ 𝑞 ∧ 𝑟) ∨ (∼ 𝑝 ∧ 𝑞 ∧ 𝑟) ∨ (𝑝 ∧ 𝑞 ∧ 𝑟)) ∧ (𝑠 ∨ 𝑥)
((𝑝 ∧ 𝑞 ∧ 𝑟) ∨ (∼ 𝑝 ∧ 𝑞 ∧ 𝑟)) ∧ (𝑠 ∨ 𝑥)
[(𝑞 ∧ 𝑟) ∧ (𝑝 ∨∼ 𝑝)] ∧ (𝑠 ∨ 𝑥)
[(𝑞 ∧ 𝑟)] ∧ (𝑠 ∨ 𝑥)
MATEMÁTICA DISCRETA 11
MÉTODOS DE DEMOSTRACIÓN
❖ Método Directo
(𝑝 → 𝑞)
Se basa en el principio de la ley lógica implicancia o condicional, es decir, se parte del hecho
que es verdadero y se debe llegar a que la tesis “q” también es verdadera.
Ejemplo
𝑚2 = (2𝑘 + 1)2 = 2𝑘 2 + 2𝑘 + 1
= 2(𝑘 2 + 𝑘) + 1
Cerradura/completitud
Pero al ser 2(𝑘 2 + 𝑘) es par, lo reemplazamos 𝑘 2 + 𝑘 por 𝑘1 , 2𝑘1 + 1 es impar por ende si 𝑚
es impar 𝑚2 es impar.
❖ Método Indirecto
Se basa en la contra positiva es decir demostrar 𝑝 → 𝑞 es equivalente a demostrar ~𝑞 → ~𝑝.
p → q
~𝑞 → ~𝑝
Implica negar la tesis asumiéndola como verdad al llegar a una contradicción, entonces la
tesis asumida es falsa por ende es verdad la tesis inicial.
Por ejemplo:
√2 es irracional
Demostración
Negando la tesis decimos que √2 es racional; al ser racional puede expresarse como un
quebrado
Entonces:
𝑝
√2 =
𝑞
Elevando al cuadrado
𝑝2
2 = 2 → 2𝑞 2 = 𝑝2
𝑞
Por ende 𝑝2 es par, es decir tiene un divisor que es 2 y puede representarse p como 2k;
donde 𝑘 ∈ 𝑍 +
Reemplazando:
2𝑞 2 = (2𝑘)2 = 4𝑘 2
Pero se había asumido inicialmente que p y q eran primos entre sí; es decir solo el número
1 los dividía, pero observamos que tienen otro divisor 2; por ende no son primos entre si o
relativos, implica que la tesis asumida de que √2 era racional es falsa por ende
√2 𝑒𝑠 𝑖𝑟𝑟𝑎𝑐𝑖𝑜𝑛𝑎𝑙.
Todo conjunto que pertenece a los números enteros positivos tiene un elemento mínimo
llamado cota inferior.
Demostración:
MATEMÁTICA DISCRETA 13
𝑥1 debe ser el elemento minimo si negamos ello quiere decir que hay otro elemento minimo.
Tendría que ser 𝑥1 − 1 pero 𝑥1 − 1 ya no pertenece a dicho subconjunto, por ende hay una
contradicción.
1) 𝑃(0) 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑
2) 𝑃(𝑘) → 𝑃(𝑘+1) 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑
Demostración:
De igual manera usamos el método del absurdo y decimos que existe un conjunto que
pertenece a 𝑍 + tal que 𝑃(𝑥) 𝑒𝑠 𝑓𝑎𝑙𝑠𝑜.
Sea el conjunto x = { 𝑥 1, 𝑥2, … , 𝑥𝑘 } entonces por la propiedad del buen orden, x tiene un
elemento mínimo en este caso 𝑥1 y 𝑃(𝑥1 ) es falso, entonces:
Pero 𝑃(𝑥 1 −1 + 1) = 𝑃(𝑥1 ) es verdad, lo cual contradice que 𝑃(𝑥1 ) sea falso.
Por ende la existencia de que había un conjunto x en el cual su o sus elementos hacían que
𝑃(𝑥1 ) sea falso no se da.
E1:
• Demostrar que 𝑎2𝑛 − 1 es divisible por a+1.
Solución:
Si n=1
𝑎2 − 1 = (𝑎 − 1)( 𝑎 + 1)
(𝑎 − 1)( 𝑎 + 1)
=𝑎−1
( 𝑎 + 1)
𝑎2 − 1 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 𝑎 + 1
MATEMÁTICA DISCRETA 15
Si n=k
𝑎2𝑘 − 1, asumiendo que es verdad (Hipótesis inductiva) es divisible por a+1
Si n=k+1
𝑎2(𝑘+1) − 1 = 𝑎2𝑘+2 − 1
𝑎2 . 𝑎2𝑘 − 1
𝑎2 (𝑎2𝑘 − 1) + (𝑎2 − 1)
E2:
4° H.I 4°
MATEMÁTICA DISCRETA 16
∴ 6.7𝑚 − 2. 3𝑚 𝑒𝑠 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 4
E3:
Para n=0
Para n>0
= r(cos 𝜃 + 𝑖 sin 𝜃)
Para n=k+1
𝑘+1
(r(cos 𝜃 + 𝑖 sin 𝜃)) = r 𝑘+1 (cos 𝜃 + 𝑖 sin 𝜃)𝑘 (cos 𝜃 + 𝑖 sin 𝜃)1
Para n<0
Sea n= -m, m ∈ 𝑍+
Recordando el seno de un ángulo negativo sale el signo como negativo y del coseno siempre
es positivo.
PROPIEDADES
Ejemplo de telescópica:
∑ 5𝑘
𝑘=1
∑(5𝑘 − 5𝑘−1 ) = 5𝑛 − 50
𝑘=1
𝑛 𝑛
∑ 5𝑘 − ∑ 5𝑘−1 = 5𝑛 − 1
𝑘=1 𝑘=1
MATEMÁTICA DISCRETA 18
𝑛 𝑛
1
∑ 5 − ∑ 5𝑘 = 5𝑛 − 1
𝑘
5
𝑘=1 𝑘=1
𝑛
4
∑ 5𝑘 = 5𝑛 − 1
5
𝑘=1
𝑛
5 𝑛
∑ 5𝑘 = (5 − 1)
4
𝑘=1
DIAGRAMAS DE KARNAUGHT
MATEMÁTICA DISCRETA 19
A\BC 00 01 11 10
𝑓3 = (0,1,3,6)
0 1 1 1
𝑓3 = 𝐴𝐵̅ + 𝐴̅𝐶 + 𝐴𝐵𝐶̅ 1 1
A\BC 00 01 11 10
𝑓4 = (0,1, ,4,5,6)
0 1 1
𝑓4 = 𝐵̅ + 𝐴𝐶̅ 1 1 1 1
A\BC 00 01 11 10
𝑓6 = (3,4,5,6)
0 1
𝑓6 = 𝐴𝐵̅ + 𝐴𝐶̅ + 𝐴̅𝐵𝐶 1 1 1 1
6-13
0,1,2,3,16,17,18,19,10,14 AB\CDE 000 001 011 010 110 111 101 100
𝑓1 = ( )
, 15,13,24,30,31,29 00 1 1 1 1
01 1 1 1 1
11 1 1 1 1
10 1 1 1 1
CARDINALIDAD
Dados los conjuntos:
A, B la cardinalidad en A o B es
Demostración:
Ahora
|A| = r+m
Como α= β
|A1 U A2 U A3 U ,,, U An| = ∑𝑖 |𝐴𝑖| - ∑𝑖<j |𝐴𝑖 ∩ 𝐴𝑗| + ∑𝑖<j<k |𝐴𝑖 ∩ 𝐴𝑗 ∩ 𝐴𝑘| - …
E1.
Determine el número de enteros positivos “n” tales que 1 ≤ n ≤ 100 y “n” no es divisible entre
2,3 o 5
Una vez resuelto plantee el plantee el algoritmo para hallar cuales son estos números.
A = 2̇ 50 + 33 + 20 - 16 – 10 – 6 + 3 = 74
B = 3̇ 100 – 74 = 26
C = 5̇
i=1
While i<=100
Imprime i
end if
i=i+1
End while
E2.
|AUBUCUD| = |A| + |B |+ |C| + |D| - |A∩B| - |B∩C| - |C∩D| - |A∩D| + |A∩B∩C| + |A∩C∩D|
+ |B∩C∩D| - |A∩B∩C∩D|
RECURSIVIDAD
Es un proceso repetitivo de la función recursiva llamándose así mismo varias veces hasta
retornar al punto de partida.
1 𝑚=0
𝑓𝑎𝑐𝑡(𝑚) = {
𝑚 ∗ 𝑓𝑎𝑐𝑡(𝑚 − 1) 𝑠𝑖 𝑚 ≥ 1
fact(2) =2*fact(2-1)=2*fact(1)=2*1*fact(0)=2*1*1=2
E2.
Si se tiene
1+2+3+………+ m
Su función recursiva es
1 𝑠𝑖 𝑚 = 1
𝑆(𝑚) = {
𝑚 + 𝑆(𝑚 − 1) 𝑠𝑖 𝑚 > 1
S(3)=3+S(2)=3+2+S(1)=3+2+1=6
E3.
1 𝑚=0
𝑝𝑜𝑡(𝑥, 𝑚) = {
𝑥. 𝑝𝑜𝑡(𝑥, 𝑚 − 1) 𝑠𝑖 𝑚 > 0
MATEMÁTICA DISCRETA 24
Pot(3,2)=3*pot(3,1)=3*3*pot(3,0)=3*3*1=9
E4
MCD(x , y)
Mientras (x!=y)
If (x>y)
x=x-y
Else
y=y-x
End if
Fin mientras
Return x
Fin
Mcd(4,6)=
Y=6-4=2
X=4-2=2
Función Recursiva
𝑥 𝑥=𝑦
𝑀𝐶𝐷(𝑥, 𝑦) = {𝑀𝐶𝐷(𝑥 − 𝑦, 𝑦) 𝑥>𝑦
𝑀𝐶𝐷(𝑥, 𝑦 − 𝑥) 𝑥<𝑦
E 4.
Es Aᵉ Matriz exponencial
P1 Lee m//Dimensión
P2 for(i=1 to m)
for(j=1 to m)
lee A[i][j]
B[i][j] =A[i][j]
fin for
MATEMÁTICA DISCRETA 25
fin for
P4 for x=2 to e
For i=1 to m
For j=1 to m
P[i][j]=0
For k=1 to m
P[i][j] = P[i][j]+A[i][k]*B[k][j]
Fin for
Fin for
For i=1 to m
For j=1 to m
B[i][j] =P[i][j]
fin for
fin for
P5 //impresión
For i=1 to m
For j=1 to m
Imprime P[i][j]
Fin for
Fin for
MATEMÁTICA DISCRETA 26
𝐴 𝑒=1
𝑃𝑚(𝐴, 𝑒) {
𝐴𝑥 𝑃𝑚(𝐴, 𝑒 − 1) 𝑒 > 1
Accion Buscar()
Leer V
r=BuscaRecur(A,1,n,V)
si r=n+1
FinSi
Else
Fin
Accion BusSecRecur(A,i,n,V)
Inicio
si i<=n
si( A[i]=V)
retornar i
sino
finsi
finsi
Fin
No existe, 𝑖>𝑛
𝑓(A, i, N, V) = {
f(A, i + 1, n, V), 𝑖≤𝑛
MATEMÁTICA DISCRETA 27
Accion Buscar(A,N)
Inicio
pos=0
Leer Val
Escribir BusBin(A,pos,l-1)
Si pos=0
Sino
Finsi
Accion Busbin(A,izq,der,val)
Inicio
Si izq=der
Retornar izq
Sino
X=(izq+der)/2
Si val<A[x]
Sino
Retornar BusBin(A,der+1,j,val)
Finsi
Finsi
Fin
MATEMÁTICA DISCRETA 28
• A es el arreglo
• N es el tamaño del arreglo
• Val es el valor a buscar
E1.
n+1 si m = 0
ACK(m, n) { ACK(m − 1,1) si n=0
ACK(m − 1, ACK(m, n − 1)) 𝑠𝑖 𝑚 ≠ 0 𝑦 𝑛 ≠ 0
ACK(3,2)=?
Hallar: ACK(1,1) =?
ACK(1,1) = ACK(0,ACK(1,0))
=ACK(0,ACK(0,1))
=ACK(0,2)
=3
E2.
S(n,k) = S(n-1,k-1)+k*S(n-1,k)
Satisface:
S(n,1)=1, S(n,n)=1
S(3,2)=S(2,1)+2*S(2,2)=1+2*1=3
a bc c ab a cb a
Inicio
Leer n,k
Si(k=1) || (n==k)
Retornar 1
Sino
MATEMÁTICA DISCRETA 29
Finsi
Fin
LA FUNCION SERÍA :
Lo encontró Si lista[mitad] == v
RELACIÓN RECURSIVA
E1.
𝑆𝑛 =2*𝑆n-1+ 1, 𝑆0 =0
………….
= 2𝑛 𝑆0 + 2𝑛−1 + ⋯ … … + 22 + 2 + 1
= 2𝑛 ∗ 0 + 2𝑛−1 + ⋯ … … + 22 + 2 + 1
= 2𝑛 ∗ 0 + 2𝑛−1 + ⋯ … … + 22 + 2 + 1 s=2𝑛−1 + ⋯ … … + 22 + 2 + 1
E2.
Halle 𝑆16
= 𝑆4 + 𝑆2 + 𝑆2 + 𝑆1
= 𝑆2 + 𝑆1 + 𝑆1 + 𝑆0 + 𝑆1 + 𝑆0 + 𝑆1 = S
S1+S0+𝑆1 + 𝑆1 + 𝑆0 + 𝑆1 + 𝑆0 + 𝑆1 =5
E3.
𝑇𝑛 = 2 𝑇𝑛−1 + 1
𝑇0 = 0
𝑇1 = 1
𝑇2 = 3
=2𝑛 − 1
E4.
Dado 𝑆𝑛 = 3 𝑆𝑛−1 ; 𝑆0 = 1
Halle 𝑆6
𝑆6 = 3𝑆5
= 3 . 3𝑆4
= 3 . 3 .3 𝑆3
= 33 . 3 𝑆2
= 34 . 3 𝑆1
= 35 . 3 𝑆0
= 36 . 1 = 729
MATEMÁTICA DISCRETA 31
Fn=Fn-1+Fn-2
CONGRUENCIA
Es un término usado en la teoría de números para designar que dos números enteros a y b
tienen el mismo resto al dividirlos por un número natural m≠0, llamado el módulo, esto se
expresa utilizando la notación
𝑎 ≅ 𝑏(𝑚𝑜𝑑 𝑚)
𝑎 − 𝑏 = 𝑘𝑚
PROPIEDADES
1. Reflexividad
𝑎 ≅ 𝑎 ( 𝑚𝑜𝑑 𝑚)
2. Simetría
3. Transitividad
MATEMÁTICA DISCRETA 32
• 𝑎 + 𝑘 ≅ 𝑏 + 𝑘(mod m)
• 𝑘𝑎 ≅ 𝑘𝑏(𝑚𝑜𝑑 𝑚)
• 𝑎𝑘 ≅ 𝑏 𝑘 (𝑚𝑜𝑑 𝑚) , 𝑘 > 0
EJERCICIOS PROPUESTOS
E1.
Si 𝑎 ≅ 𝑏(𝑚𝑜𝑑 𝑚) ↔ 𝑎 − 𝑏 = 𝑘𝑚 , 𝑘 𝜖 ℤ
𝑎𝑘 = 𝑏 𝑘 (𝑚𝑜𝑑 𝑚) ↔ 𝑎𝑘 − 𝑏 𝑘 = 𝑘1 𝑚 … (𝐻𝐼) , 𝑘1 ∈ ℤ
• Para n=k+1
𝑎𝑘+1 = 𝑏 𝑘+1 (𝑚𝑜𝑑 𝑚)
𝑎𝑘+1 − 𝑏 𝑘+1= 𝑎𝑘 . 𝑎 − 𝑏 𝑘 . 𝑏 + 𝑎𝑘 . 𝑏 − 𝑎𝑘 . 𝑏
= 𝑎𝑘 (𝑎 − 𝑏) + 𝑏(𝑎𝑘 − 𝑏 𝑘 )
= 𝑎𝑘 (𝑘𝑚) + 𝑏(𝑘1 𝑚)
𝑎𝑘+1 − 𝑏 𝑘+1 = 𝑘3 𝑚 , 𝑘3 ∈ ℤ
𝑎𝑘 ≅ 𝑏 𝑘 ( 𝑚𝑜𝑑 𝑚)
E2.
𝑘𝑎 ≅ 𝑘𝑏(𝑚𝑜𝑑 𝑚)
𝑘𝑎 − 𝑘𝑏 = 𝑚𝑘1 , 𝑘1 ∈ ℤ
• 𝑛 =𝑘+1
(𝑘 + 1)𝑎 − (𝑘 + 1)𝑏 = 𝑚(𝑘 + 1)
= 𝑘1 𝑚 + 𝑘𝑚
MATEMÁTICA DISCRETA 33
= (𝑘1 + 𝑘)𝑚
= 𝑘2 𝑚 , ∃ 𝑘2 ∈ ℤ
𝑘𝑎𝑘 ≅ 𝑘𝑏 𝑘 (𝑚𝑜𝑑 𝑚)
E3.
𝐴 = {1,2,3}
𝐴𝑥𝐴 = {(1,1), (1,2), (1,3), (2,1), (2,2), (2,3), (3,1), (3,2), (3,3)}
1 0 0
𝑀𝑅1 = [1 0 0]
0 0 1
▪ No es reflexiva
0 1 0
𝑀𝑅2 = [0 1 0]
0 0 1
1 1 0
𝑀𝑅3 = [0 1 1]
0 0 1
▪ Es reflexiva
0 1 0
𝑀𝑅4 = [1 0 0]
0 1 1
▪ No es reflexiva
▪ No es simétrica
▪ No es transitiva
1 1 0
𝑀𝑅5 = [1 0 0]
0 0 0
▪ No es reflexiva
▪ Es simétrica
▪ Es transitiva
RELACIONES SQL
T1 T2
A B A B
1 2 1 3
3 1 2 2
2 1 3 2
Intersección
T1ᴖ T2
A B
2 2
MATEMÁTICA DISCRETA 35
Select t1.a, t2.b from t1, t2 where t1. a = t2 and t1.b = t2.b
T1 x T3
A B C D
1 2 1 2
1 2 3 2
3 1 1 2
2 2 1 2
2 2 3 2
DIFERENCIA
T1 - T2
A B
1 2
3 1
*En todas las relaciones intersección, producto cartesiano, diferencia se genera una nueva
relación.
NORMALIZACIÓN DE RELACIONES
145*8=1 160
bytes
DEPENDENCIA FUNCIONAL
• Hay que llevar los campos dependientes a otra relación, dicha relación tendrá una
llave principal que servirá de nexo, a su vez, con la relación que queda, agregándole
la misma llave que en esta relación se llamará foránea y debe ser del mismo tipo, y
longitud.
• Cuando la relación tiene una descripción que amerita ponerle un identificador o llave
se procede a hacerlo.
Ejemplo:
Nro_RUC Razón_social
DNI Nombres, apellidos, sexo
• Si existe por ejemplo nombre y apellido y no existe el DNI o código, debe agregarse
a la relación para luego descomponerla.
TABLA OPTIMIZADA
TÉCNICAS DE CONTEO
Concerniente a las técnicas para calcular posibilidades o maneras de realizar permutaciones
o combinaciones.
❖ Regla de la Suma
Cuando un suceso es independiente de otro y cada suceso tiene “n” maneras de realizarse
entonces la cantidad de posibilidades de “n” sucesos es igual a: 𝑛1 + 𝑛2 + ⋯ + 𝑛𝑘 𝑚𝑎𝑛𝑒𝑟𝑎𝑠.
Por ejemplo, si se tiene 4 candidatos demócratas y 3 republicanos ¿Cuántas posibilidades
hay de elegir un presidente de estos candidatos? Se observa que no hay ningún tipo de
dependencia, por ende la cantidad de posibilidades es: 4 + 3 = 7 𝑝𝑜𝑠𝑖𝑏𝑖𝑙𝑖𝑑𝑎𝑑𝑒𝑠
A B C
COMBINACIONES
𝑚!
𝐶𝑘𝑚 =
(𝑚 − 𝑘)! 𝑘!
PROPIEDADES
1) (𝑛1) = 𝑛
2) (𝑛𝑛) = 1
3) (𝑛0) = 1
4) (𝑛𝑘) = (𝑛−𝑘
𝑛
)
MATEMÁTICA DISCRETA 39
5) (𝑛𝑘) + (𝑘+1
𝑛
) = (𝑛+1
𝑘+1
)
Demostración:
𝑛! (𝑘 + 1) 𝑛! (𝑛 − 𝑘)
+
(𝑘 + 1)! (𝑛 − 𝑘)! (𝑛 − 𝑘)! (𝑘 + 1)!
𝑛! (𝑘 + 1 + 𝑛 − 𝑘) 𝑛! (𝑛 + 1) (𝑛 + 1)!
= = =
(𝑘 + 1)! (𝑛 − 𝑘)! (𝑘 + 1)! (𝑛 − 𝑘)! (𝑘 + 1)! (𝑛 − 𝑘)!
VARIACIONES
fórmula es:
𝑛!
𝑉𝑛,𝑘 =
(𝑛 − 𝑘)!
su fórmula es: 𝑛𝑘 .
E1.
El Banco de la Nación dispone de 6 casillas para generar su clave web compuesta por
10 10 10 10 10 10
#𝑃𝑜𝑠𝑖𝑏𝑖𝑙𝑖𝑑𝑎𝑑𝑒𝑠 = 106 .
E2.
MATEMÁTICA DISCRETA 40
número y una letra, si siempre debe existir aunque sea un número y una letra?
38 38 38 38 - 10 10 10 10 - 28 28 28 28
E3.
4 38 38 38 38
#𝑃𝑜𝑠𝑖𝑏𝑖𝑙𝑖𝑑𝑎𝑑𝑒𝑠 = 4 ∗ 384 .
E4.
clave debe tener uno letra mayúscula y debe tener al menos un carácter especial , las demás
28 10 38 38 38 38
#𝑃𝑜𝑠𝑖𝑏𝑖𝑙𝑖𝑑𝑎𝑑𝑒𝑠 = 28 ∗ 10 ∗ 384 .
Que vienen a ser muestras ordenadas de k elementos que pueden repetirse, no interesa el
orden, su fórmula es:
MATEMÁTICA DISCRETA 41
𝑛+𝑘−1
𝐶𝑅𝑛,𝑘 = ( )
𝑘
PERMUTACIONES CIRCULARES
mesa circular.
𝑃𝑐 = (𝑛 − 1)!
NÚMEROS DE STIRLING
Se utilizan para contabilizar las formas de repartir n elementos en k cajas diferentes sin que
haya ninguna vacía.
Si es en cajas distintas:
𝑘
𝑘
𝑆(𝑛,𝑘) 𝑘! = ∑(−1)𝑘−𝑖 ( ) 𝑖 𝑛
𝑖
𝑖=1
Ahora si se ubica en cajas iguales, las formas de repartir n elementos en k cajas iguales sin
que haya ninguna familia. Su fórmula es:
𝑘
1 𝑘
𝑆(𝑛,𝑘) = ∑(−1)𝑘−𝑖 ( ) 𝑖 𝑛
𝑘! 𝑖
𝑖=1
E1.
En una bodega hay 3 tipos diferentes de botellas ¿De cuántas formas se pueden elegir 2
botellas? Y ¿cuáles son esas combinaciones?
4∗3
𝐶23+2−1 = =6
1∗2
AB AC BC
AA BB CC
E2.
¿De cuántas formas se pueden sentar 3 parejas de casados alrededor de una mesa circular,
si no debe haber 2 mujeres juntas, ni 2 hombres juntos?
E3.
ESENÑANZA
7! 3!
𝑉= ∗
2! ∗ 2! 2!
E4.
5! 5! 5! 5!
=5 = 10 = 10 =5
4! 3! 2! 3! 2! 4!
5 + 10 + 10 + 5 = 30 𝑛ú𝑚𝑒𝑟𝑜𝑠.
E5.
¿Cuántos ordenamientos existen de la palabra “MATEMATICO” en los cuales las dos “A” no
están juntos, ni las dos “M”, ni las dos “T”?
MATEMATICO
10! 9! 9! 9!
− − −
2! 2! 2! 2! 2! 2! 2! 2! 2!
A= {x/x es un ordenamiento con “a” juntas}
Entonces:
9! 9! 9! 8! 8! 8! 7!
= + + − − − +
2! 2! 2! 2! 2! 2! 2! 2! 2! 1
3 ∗ 9! 3 ∗ 8!
= − + 7!
2! 2! 2!
10! 3 ∗ 9! 3 ∗ 8!
|𝐴̅ ∩ 𝐵̅ ∩ 𝐶̅ | = 𝑈 − |𝐴 ∪ 𝐵 ∪ 𝐶| = − + − 7!
2! 2! 2! 2! 2! 2!
MATEMÁTICA DISCRETA 44
E6.
1° _ _ 3 _ _ _ = 4*3*3*2=72
2° _ _ _ 3 _ _ =4*3*2*2=48
3° _ _ _ _ 3 6 =4*3*2*=24
72 + 48 + 24 = 144 𝑝𝑒𝑟𝑚𝑢𝑡𝑎𝑐𝑖𝑜𝑛𝑒𝑠.
E7.
El programa tv Ganadores El Día Domingo eligió a 15 finalistas (7 son del área metropolitana)
de estos 5 serían los ganadores de un viaje a Cancún ¿De cuántas maneras se pueden
elegir los ganadores de manera que se seleccione al menos un finalista que no sea del área
metropolitana?
C(8,1)*C(7,4)+C(8,2)*C(7,3)+C(8,3)*C(7,2)+C(8,4)*C(7,1)+C(8,5)=2982
E8.
Tres atletas toman parte de una competencia ¿De qué maneras pueden llegar a la meta?
i) Si llegan juntos
ii) Si llegan 2 juntos
iii) Si llegan 3 juntos
E9.
𝑆(5,3) = 7 + 3(6) = 25
MATEMÁTICA DISCRETA 46
Osea k!*S(n,k).
C(5,3)*C(2,1)*1
CASO 2:
C(5,2)*(C(3,2)+C(3,1))
CASO 3:
C(5,1)(C(4,3)+C(4,2)+C(4,1)
=150
GRAFOS
Un grafo está compuesto de vértices y aristas. Simbológicamente se representa como:
G (V, E)
Donde:
E = Edges (Aristas)
V= Vértices
V1 V2 V3
V1 V2 V3
lazo o bucle
El grado de un vértice en una gráfica no dirigida viene a ser las aristas incidentes en un
vértice determinado.
δ (V1) = 2
V
2
MATEMÁTICA DISCRETA 48
δ (V2) = 1
V
1 δ (V3) = 1
V
3
GRAFO DE SIMILITUD
A D
B E
La sumatoria de todos los grafos de los vértices de una gráfica es igual al doble de la cantidad
de aristas que posee la gráfica (no debe haber puntos o vértices disco nexos de la gráfica)
Demostración:
Por inducción:
V1---V2
Se observa Sumando
δ (v1)=1 2 = 2x (1)
δ (v2)=1
MATEMÁTICA DISCRETA 49
Se cumple!
HIPÓTESIS INDUCTIVA:
V1---V2------------------------------Vk-1---Vk
𝑘
∑ δ(Vi) = 2𝑒𝑟
𝑖=1
V1---V2------------------------------Vk-1---Vk---Vk+1
𝑘+1 𝑘
H.I
Por lo tanto:
𝑘
∑ δ(Vi) = 2𝑒𝑟
𝑖=1
Toda grafica cuyos vértices son de grado par posee circuitos de Euler.
V1
V2 V4
V3
MATEMÁTICA DISCRETA 50
δ(V3)=2
δ(V4)=2
C E
M1: A-B-C-D-E-B |
M2: A-B-E-D-C-B |
La trayectoria de Euler consiste en barrer todas las aristas una sola vez, ahora cuando
partiendo del inicio barre todas las aristas llegando al inicio o punto de partida se dice que
hay circuito de Euler (no hay que pasar 2 veces por la misma arista).
La demostración de que todos los vértices de grado par hacen que la gráfica tenga circuito
de Euler, se demuestra por inducción.
Para 2 nodos:
V1 V2 δ(V1)=2
δ(V2)=2
MATEMÁTICA DISCRETA 51
Hay C.E
HIPÓTESIS INDUCTIVA
n=k nodos
V1---V2----------------Vk-1---Vk
Para n=k nodos; esto es agregamos un nodo de grado par a discreción conexo a la
gráfica.
V1---V2----------------Vk-1---Vk---Vk+1
Por lo tanto:
Si todos los vértices son de grado par entonces existe circuito de Euler.
Teorema:
δ(V2)=3 V
δ(V4)=3 1
V V
2 3
V V
5 4
δ(V1)=3 V V
δ(V2)=3 1 6
δ(V2)=3 V V
2 5
MATEMÁTICA DISCRETA 52
δ(V5)=3
V V
3 4
Demostración:
Dada la gráfica compuesta de n nodos se hace una partición con dos grafos de similitud, la
primera tendrá nodos de grado par y la segunda nodos de grado impar.
--------------------------------------------------G----------------------------------------------------
V
V V
V V 3
3 3
3 3
V
3
V
V V 3 V V
3 3 V
3 3
V V 3
3 3
V
3 V V
V 3 3
3
V
3
Partición:
G1 ∩ G2 = ∅
G1 ∪ G2 = G
Ahora por el teorema del “apretón de manos” o Handshaking.la sumatoria de todos los nodos
es 2 veces la cantidad de aristas
𝑛
∑ δ(Vi) = 2𝑒
𝑖=1
MATEMÁTICA DISCRETA 53
n r s
Traza:
V2
V1 V3
Matriz de Incidencia:
a
e1 e2 e3 e4 e5
𝑒1 a 1 1 1 0 0
b 1 0 0 1 0
b 𝑒2 𝑒3 c 0 1 1 1 1
𝑒4
𝑒5
a b c d
Grados de
aristas 2 3 1 1 7
que entran
MATEMÁTICA DISCRETA 54
Grados de
aristas 1 1 3 2 7
que salen
B
A
C D
X
2
X ∑ δ(Vi) = 14 = 2(7)
1
X x1 x2 x3 x4
4 Int 2 3 1 3
Ext 3 3 2 1
X
∑ ρ(Vi) = 18 = 2(9)
3
RECORRIDOS
A B
D C
A B CD
MA = A 0111
B 1000
C 1001
D 1010
E1.
0 1 1 1
𝑀𝐴 = [1 0 0 0] → 𝑀4 = 𝑀2 ∗ 𝑀2 =
𝐴 𝐴 𝐴
1 0 0 1
1 0 1 0
Trayectorias:
B-A-B-A-D
B-A-C-A-D
B-A-D-A-D
B-A-D-C-D
C D
B-C-A-B-D
B-D-A-B-D
A B CD
B→D =2
MATEMÁTICA DISCRETA 56
MATEMÁTICA DISCRETA 57
V :Vertices
E : Aristas
• Grafo simple no dirigido: No está compuesto con lazos ni con aristas paralelas.
*El grado de un vértice vienen a ser las aristas incidentes en un vértice determinado.
La sumatoria de grados de los n vértices es igual a dos veces la cantidad de aristas que
posee la gráfica (Teorema HANDSHAKING).
(V ) = 2e
i =1
i
Se observa:
(V1 ) = 1
2 = 2(1)
(V2 ) = 1
(V ) = 2e
i =1
i k
Para n=k+1
k +1 k
(V ) = (V ) + (V
i =1
i
i =1
i k +1 ) = 2ek + 2 = 2(ek + 1) = 2en +1
H .I .
n
(Vi ) = 2e
i =1
MATEMÁTICA DISCRETA 59
(V1 ) = 2
(V2 ) = 2
(V3 ) = 2
(V4 ) = 2
1 : A − B − C − D − E − B
2 : A − B − E − D − C − B
La trayectoria de Euler consiste en barrer todas las aristas una sola vez; ahora cuando
partiendo del inicio barro todas las aristas llegando al inicio o punto de partida se dice que
hay circuito de Euler (NO HAY QUE PASAR DOS VECES POR LA MISMA ARISTA).
• La demostración de que todos los vértices de grado par hacen que la gráfica tenga
circuito de Euler se realiza por inducción:
(V1 ) = 2
(V2 ) = 2 Hay C.E.
MATEMÁTICA DISCRETA 60
Para n=k+1 nodos, agregamos un nodo de grado par a discreción conexo a la gráfica.
Matriz de incidencia
a
e1
b e2
e3
e4
e5
E1 E2 E3 E4 E5
A 1 1 1 0 0
B 1 0 0 1 0
C 0 1 1 1 1
a b
c d
MATEMÁTICA DISCRETA 61
a b c d
Grados 2 3 1 1 7
internos
(aristas
que
entran)
Grados 1 1 3 2 7
externos
(aristas
que salen)
X1 X2
11
X3 X4
X1 X2 X3 X4
Int 2 3 1 3 =9
ext 3 3 2 1 =9
Recorridos
A B
D C
0 1 1 1
𝑀𝐴 = [1 0 0 0]
1 0 0 1
1 0 1 0
Longitud se refiere a la cantidad de veces que es recorrida una arista. Encontrar el número
de trayectorias de longitud 4 entre los nodos B y D
0 1 1 1 4
𝑀𝐴 = [1 0 0 0] = 𝑀 2 ∗ 𝑀 2
𝐴 𝐴
1 0 0 1
1 0 1 0
for( k=1 to n)
for( i=1 to n)
for( j=1 to n)
if M[i][j]> M[i][k]+M[k][j]
MATEMÁTICA DISCRETA 63
M[i][j]= M[i][k]+M[k][j]
end if
fin for
fin for
// n es el número de nodos
2
5 7
1 3
15
0 5 15
𝑀=[5 0 7]
15 7 0
Veamos al pasar por el algoritmo de Floy Warshall en qué iteración cambia, haciéndose de
1 a 3, 12 en lugar de 15
si(M[1][3]>M[1][2]+M[2][3])
(15>5+7)
M[1][3]=M[1][2]+M[2][3]
Fin si
Algoritmo de Warshall o cerradura transitiva para saber si existe camino entre un nodo y
otro en gràficas dirigidas
MATEMÁTICA DISCRETA 64
for k=1 to n
for i=1 to n
for j=1 to n
M[i][j]=M[i][j]||M[i][k]&&M[k][j]
Fin for
Fin for
Fin for
1 3
0 1 0
𝑀 = [0 0 1]
1 0 0
Quiere decir que inicialmente se pone por ejemplo que no hay camino entre el nodo 1 y3,
pero luego de pasar por Warshall, la matriz resultante saldrá
1 1 1
𝑀 = [1 1 1]
1 1 1
Es decir, hay camino entre todos los nodos incluido consigo mismo
MATEMÁTICA DISCRETA 65
M[1][3]=M[1][3]||M[1][2]&&M[2][3]
0||1&&1
0||1
M[1][3]=1
1
3
6
4
If M[i][j]>M[i][k]+M[k][j]
M[i][j]=M[i][k]+M[k][j]
MATEMÁTICA DISCRETA 66
COLOREADO DE GRAFOS
Es una técnica para utilizar la cantidad mínima de “colores” para un problema de intercalar
ya sea en transporte o propiamente coloreado.
RB
RP
RA RF
RC RE
1 ≤i ≤5
B 2 A C
4 6
1 3 5 7 A
A B
C
3 contenedores
C
B A
A 1 3 5 7
2 4 6
C A B
3 contenedores
MATEMÁTICA DISCRETA 68
ALGORITMO DE DIJKSTRA
Funcionalidad:
9
6 5
14 6
2
1 6
3 4
9 11
10
7 15
Hallar la distancia mínima entre todos los nodos, elija el nodo 1 como nodo inicial y arme el
conjunto E
MATEMÁTICA DISCRETA 69
12 2
14 5
7 4
2 3 4
4
5 1
5
4 6 1 3 8
2
1 7 2 1
5 5 9
2
4 2 13 5
11 8
4 4
6 8
8 7 7
4 1
E = {1, 7, 6, 2, 8, 5, 3, 9, 4}
Hallar la distancia mínima entre todos los nodos, elija el nodo 2 como nodo inicial y arme el
conjunto E
5 2
2 5 7
2 7 5
3
2 5 2
4
5 7
1 3 4
1
4 4
3 2 2 2
2
2
2
2
4 6 8
8 6
6 4
4 3
E = {2, 3, 1, 4, 5, 6, 7, 8}
Definición de Árbol
Teorema 1
MATEMÁTICA DISCRETA 70
Si a y b son 2 vértices distintos de un árbol T=(V,E) entonces existe un camino único que
conecta dichos vértices.
Demostración:
Por la definición de árbol no puede tener aristas paralelas y tampoco tiene bucles.
Por el absurdo si existe otro camino entre a y b entonces entraría en conflicto con la definición
porque sería o tendría arista paralela por ende solo hay un camino único entre a y b.
Teorema 2
|𝑉| = |𝐸| + 1
Demostración:
B 1
2
2=1+1
3=2+1 Cumple
A 2 3
2 V1 Cumple 2
V2
A B
|𝑉| = |𝐸| + 1
Definición:
Un árbol con raíz se dice que es un árbol m-ario, m>= o un m-árbol cuando todo vértice
interno tiene como máximo m hijos.
Un árbol con raíz se dice que es un árbol m-ario completo si todo vértice interno tiene
exactamente m hijos.
Definición:
Un m-árbol con raíz y de altura h se dice que está equilibrado cuando todas sus hijas están
situadas en el nivel h o en el h-1
Teorema 3
|𝑉| = 𝑚𝑖 + 1 Vértices
𝑖 Vértices → 𝑚𝑖 hijos
|𝑉| = 𝑚𝑖 + 1 ←Raíz
|𝑉| = |𝐸| + 1
Nivel 0
Nivel 1
Nivel 2
𝐸 = 𝐸1 + 𝐸2 + 1
4=2+2
4 = Hijos + Hojas
Teorema 4
𝑛−1 𝑛𝑚 − (𝑛 − 1)
=𝑖 =𝑙
𝑚 𝑚
𝑛𝑚 − 𝑛 + 1
=𝑙
𝑚
𝑛(𝑚 − 1) + 1
=𝑙
𝑚
𝑛 = 𝑚𝑖 + 1
𝑛 =𝑙+𝑖
𝑙 = 𝑛 − 𝑖 = 𝑚𝑖 + 1 − 𝑖
𝑙 = (𝑚 − 1)𝑖 + 1
Teorema
|𝑉| = 2𝑛+1 − 1
Demostración:
MATEMÁTICA DISCRETA 73
Para h=0
𝑇(0) = 20+1 − 1 = 1
Para h=k
Para h=k+1
𝑇(𝑘) = 2𝑘+2 − 1
𝑇(0) = 1
𝑇(1) = 3
𝑇(2) = 7
En el nivel siguiente aumenta en razón al nivel anterior por ende en el nivel k+1 aumentan
2 k+1
a)
𝑆𝑖 \ a b
𝑆0 𝑆1 , 𝑆3 𝑆2
𝑆1 𝑆1 , 𝑆2 𝑆3
𝑆2 𝑆2 𝑆3
𝑆3 ∅ ∅
𝑆𝑖 \ a b
a
b
𝑆1
𝑆0 a
b
a
a
𝑆2
𝑆3
a
b
MATEMÁTICA DISCRETA 74
a
𝑆1 , 𝑆3 a
𝑆3
𝑆1 , 𝑆2 a
a
a
𝑆3 𝑆3 a
a
a
𝐺 = (𝑆𝑇, 𝑆𝑁, 𝑛0 , 𝑅)
𝑆𝑇 = {0,1,2,3,4,5,6,7,8,9, . , −, +, 𝑖}
𝑛0 = 𝑖𝑚𝑎𝑔𝑖𝑛𝑎𝑟𝑖𝑜
𝑟1 : < 𝑖𝑚𝑎𝑔𝑖𝑛𝑎𝑟𝑖𝑜 >∷=< 𝑟𝑒𝑎𝑙 >< 𝑠𝑖𝑚𝑏𝑜𝑙𝑜 > | < 𝑒𝑛𝑡 >< 𝑠𝑖𝑚𝑏𝑜𝑙𝑜 > | < 𝑓𝑟𝑎𝑐 >< 𝑠𝑖𝑚𝑏𝑜𝑙𝑜 > |
< 𝑑𝑖𝑔 >< 𝑠𝑖𝑚𝑏𝑜𝑙𝑜 > | < 𝑟𝑒𝑎𝑙 >< 𝑠𝑖𝑚𝑏𝑜𝑙𝑜 >< 𝑠𝑖𝑔𝑛𝑜 >< 𝑟𝑒𝑎𝑙 > | < 𝑟𝑒𝑎𝑙 >
< 𝑠𝑖𝑔𝑛 >< 𝑟𝑒𝑎𝑙 >< 𝑠𝑖𝑚𝑏𝑜𝑙𝑜 >
𝑟3 : < 𝑒𝑛𝑡 >∷=< 𝑑𝑖𝑔 > | < 𝑑𝑖𝑔 >< 𝑒𝑛𝑡 >
Solución:
<var>
[ <un corchete>
]
MATEMÁTICA DISCRETA 76
a) 𝐺 = {(𝑆, 𝐴, 𝐵, 𝐶), (𝑎, 𝑏, 𝑐), (𝑆), (𝑆 → 𝑎𝐴}), (𝐴 → (𝑎𝐴, 𝑎𝐵), 𝐵 → (𝑏𝐵, 𝑐𝐵, 𝐶), 𝐶 →
(𝑐𝐶, 𝑐)}
𝐿{𝑎𝑟 𝑏𝑚 𝑐 𝑛 ; 𝑚, 𝑛, 𝑟 ≥ 1}
b c d
A B C
𝑛
𝑏 𝑚 𝑐 𝑟(𝑏𝑐) 𝑑
;𝑛 ≥ 1
𝐵 → 𝑐𝐶, 𝐵 → 𝐶, 𝐶 → 𝑐𝐶, 𝐶 → 𝑐
a b c
a b c c
S A B C Z
b b
MATEMÁTICA DISCRETA 77
CONVERSIONES POLACAS:
Tanembau , cairo, cormen
Entrefijos postfijo
A+B AB+
A+B-C AB+C-
(A+B)*(C-D) AB+CD-*
A-B/(C*D)$E ABCDE$*/-
A$B*C-D+E/f/(G+H) AB$C*D-EF/GH+/+
Entrefijo Prefijo
A+B +AB
A+B-C -+ABC
A$B*C-D+E/F/(G+H) +-*$ABCD//EF+GH
((A+B)+C-(D+E))$(F+G) $-*+ABC-DE+FG
A-B/(C*D)$E -A/B*C$DE
Entrefijo Postfijo
A+(B*C) ABC*+
(A+B)*C AB+C*
A+B*C =A+(BC*)=ABC*+
1 A A
2 + A +
3 B AB +
4 * AB +*
5 C ABC +*
6 ABC* +
7 ABC*+
Ejercicios
Postfijo
(AB$)*C+D/(EH+)
(AB$C*)+(DEH+/)
AB$C*DEH+/+
PREFIJO
($AB)*C+D/(+EH)
(*$ABC)+(/D+EH)
+*ABC/D+E
623*-382/+*2$3+?
2*3-6*3+8/2+23=12
((A+B)*(C-D))*E=AB+CD-*E*
1 ( (
2 ( ((
3 A A ((
4 + A ((+
5 B AB ((+
6 ) AB+ (
7 * AB+ (*
8 ( AB+ (*(
9 C AB+C (*(
10 - AB+C (*(-
11 D AB+CD (*(-
12 ) AB+CD- (*
13 ) AB+CD-*
14 * AB+CD-* *
15 E AB+CD-*E *
16 AB+CD-*E*
AB+CD-*E*
1 ( (
2 ( ((
3 ( (((
4 A ((( A
5 * (((* A
6 B (((* AB
7 ) (( AB*
MATEMÁTICA DISCRETA 80
8 * ((* AB*
9 ( ((*( AB*
10 C ((*( AB*C
11 / ((*(/ AB*C
12 D ((*(/ AB*CD
13 ) ((* AB*CD/
14 ) ( AB*CD/*
15 / (/ AB*CD/*
16 E (/ AB+CD/*E
17 ) AB+CD/*E/
Máquina de Mealy:
Ejemplo:
X=1/s=0
X=1/s=0 X=0/s=0
X=0/s=0 X=0/s=0
I0 I1 I2
X=1/s=1