Cuenta las variables distintas: la tabla de verdad tiene 2ⁿ filas, y la primera tiene todas ellas en 1.
Dale a cada subfórmula su propia columna y rellena las columnas de dentro hacia fuera.
Aplica la regla de cada conectivo: → solo es 0 en 1 → 0, y ↔ vale 1 cuando ambos lados coinciden.
Para las equivalencias, compara las columnas finales fila por fila; para un argumento, mira solo las filas en las que todas las premisas valen 1.
Para negar un enunciado cuantificado, desplaza ¬ hacia dentro, intercambia ∀ y ∃ y niega la fórmula interior.
Lógica digital: puertas, mapas K y biestables
Puertas básicas
A·B, A + B, A′, (A·B)′, (A + B)′, A ⊕ B
Reglas de Boole
X + X′ = 1, X·X′ = 0, X + XY = X, XY + XY′ = X
De Morgan
(X·Y)′ = X′ + Y′, (X + Y)′ = X′·Y′
Orden del mapa de Karnaugh
00, 01, 11, 10 (Gray code)
Grupo de 2ᵏ celdas
pierde k variables
Multiplexor de 4 a 1
F = A′B′I0 + A′BI1 + AB′I2 + ABI3
Biestables
D: Q⁺ = D, T: Q⁺ = T ⊕ Q, JK: Q⁺ = JQ′ + K′Q
Contadores
n bits: 2ⁿ estados; módulo N: el menor n con 2ⁿ ≥ N; fsal = fclk/N
Contador asíncrono
fmax = 1/(n·tpd)
Contadores en anillo y Johnson
n y 2n estados
Método
En un circuito, trabaja desde las entradas hasta la salida puerta por puerta y escribe el valor en cada hilo, o escribe su expresión y rellena la tabla de verdad.
Para simplificar, coloca los 1 (y las indiferencias como X) en un mapa de Karnaugh con filas y columnas en código Gray: 00, 01, 11, 10.
Cubre los 1 con los menos grupos posibles y lo más grandes posible, de 1, 2, 4, 8 o 16 celdas, envolviendo los bordes; cada grupo es un término producto formado por las variables que permanecen constantes. Agrupa los 0 para la forma POS.
En biestables y contadores, lee las entradas en cada flanco activo del reloj, anota el estado tras cada flanco y recuerda que un contador de n bits da la vuelta tras 2ⁿ estados.
Teoría de números y aritmética modular
División con resto
a = q·n + r, 0 ≤ r < n
Euclides
gcd(a, b) = gcd(b, a mod b)
Mínimo común múltiplo
lcm(a, b) = a·b/gcd(a, b)
Inversa
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Congruencia lineal
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Función φ de Euler
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
Fermat
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n
Método
Reduce primero cada número módulo n; los restos están entre 0 y n − 1.
Para un mcd, divide repetidamente con el algoritmo de Euclides; el último resto distinto de cero es el mcd.
Para un inverso, aplica el algoritmo extendido y quédate con el coeficiente de a; suma n si es negativo.
Resuelve a·x ≡ b multiplicando por a⁻¹; combina dos congruencias escribiendo x = r₁ + m₁k.
Para las potencias, escribe el exponente en binario y eleva al cuadrado repetidamente; en RSA, d = e⁻¹ mod φ(n) con φ(n) = (p − 1)(q − 1).
Teoría de grafos
Lema del apretón de manos
Σ deg(v) = 2|E|
Grafos completos
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Grafo regular
|E| = n·k/2
Árbol y bosque
|E| = n − 1, |E| = n − c
Hojas de un árbol
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
circuito: todos los grados pares; camino: exactamente 2 grados impares
Circuitos de Hamilton en Kn
(n − 1)!/2
Actualización de Dijkstra
d(v) = min(d(v), d(u) + w(u, v))
Recorridos de longitud L
(Mᴸ)ij
Método
Anota el grado de cada vértice; los grados suman el doble del número de aristas.
En las preguntas de Euler, comprueba que el grafo sea conexo y cuenta los vértices de grado impar.
En los árboles, usa n − 1 aristas y el lema del apretón de manos.
En Dijkstra, lleva una tabla de distancias provisionales y fija en cada ronda el vértice no fijado de menor distancia.
Para un árbol generador mínimo, ordena las aristas por peso y descarta toda arista que cierre un ciclo (Kruskal), o haz crecer un único árbol desde un vértice inicial (Prim).
Subredes IPv4
Hosts por subred
2(32 − prefix) − 2 (/31: 2, /32: 1)
Tamaño de bloque
256 − (mask octet)
Dirección de red
IP AND máscara
Dirección de difusión
IP OR (NOT máscara): todos los bits de host a 1
Subredes con n bits prestados
2n
2Problemas de práctica
1.Sistemas de numeraciónMedia
Escribe −79 como patrón de 8 bits en complemento a dos. Lee el patrón como un número binario sin signo: ¿cuál es su valor U en decimal?
N = −798 bit
U =
2.Sistemas de numeraciónDifícil
Una imagen sin comprimir tiene 800 × 600 píxeles con 16 bits por píxel. ¿Cuánta memoria M ocupa, en KiB (1 KiB = 1024 bytes)?
800 × 600 px16 bit/px1 KiB = 1024 B
M = KiB
3.Lógica proposicional y demostracionesMedia
¿Es q → (q ∧ p) una tautología, una contradicción o una contingencia? Haz clic en tu respuesta.
q → (q ∧ p)
1tautología
2contradicción
3contingencia
4.Lógica proposicional y demostracionesDifícil
¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera (r → p) ↔ (s ∧ q)? Llama a ese número N.
(r → p) ↔ (s ∧ q)
N =
5.Lógica digital: puertas, mapas K y biestablesMedia
Simplifica F = BC + A′B′C′ + B′C + AB′C a su forma mínima de suma de productos. ¿Cuántos literales, L, contiene la expresión simplificada?
F = BC + A′B′C′ + B′C + AB′C
L =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un biestable D activado por flanco de subida empieza con Q = 0 y recibe las entradas mostradas. Haz clic en el primer flanco de reloj en el que Q pasa de 1 a 0.
Q₀ = 0D
1flanco de reloj 1
2flanco de reloj 2
3flanco de reloj 3
4flanco de reloj 4
5flanco de reloj 5
6flanco de reloj 6
7.Teoría de números y aritmética modularMedia
Halla el menor entero positivo x con x ≡ 4 (mod 10) y x ≡ 3 (mod 13).
x ≡ 4 (mod 10)x ≡ 3 (mod 13)
x =
8.Teoría de números y aritmética modularDifícil
43 es primo. Usa el pequeño teorema de Fermat para hallar 2443726 mod 43.
p = 43k = 43726
2443726 mod 43 =
9.Algoritmos y complejidadMedia
¿Qué significa que un problema tenga subestructura óptima?
ATodos los subproblemas tienen el mismo tamaño
BEl problema puede resolverse en tiempo constante
CEl problema tiene exactamente una solución óptima, que comparten todos sus subproblemas
DUna solución óptima puede construirse a partir de soluciones óptimas de sus subproblemas
10.Algoritmos y complejidadDifícil
El problema de la mochila 0/1 resuelto con programación dinámica requiere un tiempo O(nW). ¿Por qué se llama pseudopolinómico?
AW es un número, así que el tiempo es exponencial en el número de bits empleados para escribir W
BPorque el algoritmo es aleatorizado y su tiempo de ejecución varía con cada entrada
CPorque solo funciona para W = 0
DPorque n siempre es pequeño
11.Estructuras de datosMedia
Una tabla hash de tamaño 7 usa h(k) = k mod 7 y sondeo lineal. Después de insertar 10, ¿dónde se almacena 17?
AEn el índice 3
BEn el índice 0
CEn el índice 6
DEn el índice 4
12.Estructuras de datosDifícil
Sin unión por rango ni compresión de caminos, ¿cuál es el coste en el peor caso de un solo find en una estructura union-find con n elementos?
AO(1)
BO(log n)
CO(n)
DO(α(n))
13.Teoría de grafosMedia
¿Cuántos circuitos de Hamilton distintos, H, tiene el grafo completo K5? Los circuitos que solo difieren en el vértice inicial o en el sentido cuentan como el mismo.
K5
H =
14.Teoría de grafosDifícil
El algoritmo de Prim construye un árbol generador mínimo a partir del vértice E. Haz clic en la arista que añade como arista número 3.
inicio: Ek = 3
1arista AB
2arista AC
3arista BC
4arista CE
5arista DE
6arista DF
7arista EF
8arista BE
15.Bases de datos y SQLMedia
¿Qué propiedad ACID significa que las transacciones concurrentes no ven los cambios no terminados de las demás?
AAislamiento
BDurabilidad
CAtomicidad
DDisponibilidad
16.Bases de datos y SQLDifícil
¿Cuál es un inconveniente conocido de descomponer tablas en FNBC frente a 3FN?
AAlgunas dependencias funcionales pueden dejar de poder comprobarse dentro de una sola tabla
BLa FNBC permite más redundancia que la 3FN
CLas tablas en FNBC no pueden tener claves primarias
DLa descomposición siempre pierde datos al volver a combinarlas
17.Redes de computadoresMedia
¿Qué tipo de registro DNS asocia un nombre de host con una dirección IPv6?
AMX
BAAAA
CCNAME
DA
18.Redes de computadoresDifícil
Las estaciones A y C alcanzan ambas el punto de acceso B pero no se oyen entre sí, por lo que sus tramas colisionan en B. ¿Cómo ayuda 802,11?
AAumentando el TTL de las tramas
BHaciendo que A y C usen detección de colisiones para dejar de enviar cuando las tramas se solapan
CCon intercambios RTS/CTS opcionales: el CTS del AP indica a todas las estaciones cercanas que esperen
DEncaminando las tramas de A a través de C
19.Subredes IPv4Media
La red 192.168.10.0/24 debe dividirse en al menos 10 subredes iguales. Si tomas prestados los menos bits posibles, ¿cuántos hosts utilizables H tiene cada subred?
192.168.10.0/2410 subnets
H =
20.Subredes IPv4Difícil
Un host tiene la dirección 10.20.224.115/30. ¿Cuál es el cuarto octeto x de su dirección de red?
10.20.224.115/30
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 177
Sistemas de numeración posicionales: cada dígito vale su valor por una potencia de la base. En binario las posiciones valen 1, 2, 4, 8, 16, …; en hexadecimal 1, 16, 256, …, con A–F para 10–15. En complemento a dos de 8 bits, el bit de la izquierda vale −128 en vez de +128; así se guardan los números negativos.
Invertir y sumar uno
79 = 0100 1111
invertido: 1011 0000
+1 → 1011 0001
Leerlo sin signo
1011 0001₂ = 256 − 79 = 177
Respuesta
U = 177
2.Sistemas de numeración
Respuesta: M = 937,5 KiB
Sistemas de numeración posicionales: cada dígito vale su valor por una potencia de la base. En binario las posiciones valen 1, 2, 4, 8, 16, …; en hexadecimal 1, 16, 256, …, con A–F para 10–15. En complemento a dos de 8 bits, el bit de la izquierda vale −128 en vez de +128; así se guardan los números negativos.
Bits y bytes
800·600·16 = 7680000 bit = 960000 B
Pasar a KiB
960000/1024 = 937,5 KiB
Respuesta
M = 937,5 KiB
3.Lógica proposicional y demostraciones
Respuesta: contingencia
Equivalencia lógica: dos fórmulas son equivalentes (≡) cuando tienen el mismo valor en todas las filas de la tabla de verdad. Una tautología vale 1 en todas las filas, una contradicción vale 0 en todas las filas, y una contingencia no es ninguna de las dos. Leyes útiles: De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b y ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (contrarrecíproca); ¬(a → b) ≡ a ∧ ¬b; y las leyes distributivas, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).
Tabla de verdad fila por fila
p = 1, q = 1: q ∧ p = 1, q → (q ∧ p) = 1
p = 1, q = 0: q ∧ p = 0, q → (q ∧ p) = 1
p = 0, q = 1: q ∧ p = 0, q → (q ∧ p) = 0
p = 0, q = 0: q ∧ p = 0, q → (q ∧ p) = 1
Clasifica
q → (q ∧ p): 1, 1, 0, 1
1 de cada 3 de las 4 filas, 0 en las demás: una contingencia.
Respuesta
contingencia
4.Lógica proposicional y demostraciones
Respuesta: N = 6
Tablas de verdad: una fórmula con n variables distintas tiene 2ⁿ filas, una por cada combinación de valores de verdad (1 = verdadero, 0 = falso). Trabaja de dentro hacia fuera y dale a cada subfórmula su propia columna. ¬a invierte el valor; a ∧ b vale 1 solo cuando ambos son 1; a ∨ b vale 0 solo cuando ambos son 0; a → b vale 0 solo cuando a = 1 y b = 0; a ↔ b vale 1 cuando ambos lados son iguales.
Columnas
r → p; s ∧ q; (r → p) ↔ (s ∧ q)
Divide según p
p = 1: 2
p = 0: 4
N = 2 + 4 = 6
Respuesta
N = 6
5.Lógica digital: puertas, mapas K y biestables
Respuesta: L = 3
Álgebra de Boole: las reglas que simplifican expresiones son X + X′ = 1 y X·X′ = 0, X + X = X, la absorción X + X·Y = X, la regla de combinación X·Y + X·Y′ = X, X + X′Y = X + Y y el teorema del consenso XY + X′Z + YZ = XY + X′Z. Las leyes de De Morgan convierten (X·Y)′ en X′ + Y′ y (X + Y)′ en X′·Y′. Un mapa de Karnaugh aplica estas reglas de forma gráfica: cada grupo de dos celdas vecinas es un uso de XY + XY′ = X.
Minitérminos de la expresión
BC → m(3, 7)
A′B′C′ → m(0)
B′C → m(1, 5)
AB′C → m(5)
Agrupa y lee
F = C + A′B′
Cuenta los literales
L = 3
Respuesta
L = 3
6.Lógica digital: puertas, mapas K y biestables
Respuesta: flanco de reloj 6
Biestables y contadores: un biestable cambia solo en el flanco activo del reloj. D copia su entrada (Q⁺ = D); T conmuta cuando T = 1; JK mantiene con 00, pone a 0 con 01, pone a 1 con 10 y conmuta con 11. Un contador binario de n bits tiene 2ⁿ estados y cuenta módulo 2ⁿ; un contador módulo N cuenta 0, 1, …, N − 1 y vuelve a 0, y necesita el menor n con 2ⁿ ≥ N biestables. Cada etapa de un contador asíncrono divide la frecuencia a la mitad, así que la última salida de un contador módulo N funciona a fclk/N. Un contador Johnson de n biestables tiene 2n estados y un contador en anillo, n.
Q tras cada flanco
Un biestable D copia D en cada flanco de subida: Q⁺ = D.
1: D = 0 → Q = 0
2: D = 1 → Q = 1
3: D = 1 → Q = 1
4: D = 1 → Q = 1
5: D = 1 → Q = 1
6: D = 0 → Q = 0
Primer cambio de 1 a 0
flanco de reloj 6
Respuesta
flanco de reloj 6
7.Teoría de números y aritmética modular
Respuesta: x = 94
Inversos y congruencias: a tiene inverso módulo n exactamente cuando mcd(a, n) = 1. El algoritmo de Euclides extendido escribe 1 = s·n + t·a, y entonces a⁻¹ ≡ t (mod n). Una congruencia a·x ≡ b (mod n) con mcd(a, n) = 1 tiene la solución x ≡ a⁻¹·b. Dos congruencias x ≡ r₁ (mod m₁) y x ≡ r₂ (mod m₂) con módulos coprimos tienen una solución módulo m₁·m₂ (teorema chino del resto). La φ(n) de Euler cuenta los números de 1 a n que son coprimos con n: φ(n) = n·∏(1 − 1/p).
Primera congruencia
x = 4 + 10k
Segunda congruencia
4 + 10k ≡ 3 (mod 13) → 10k ≡ 12 (mod 13)
k ≡ 4·12 ≡ 9 (mod 13)
Resultado
x = 4 + 10·9 = 94
x = 94
comprobación: 94 mod 10 = 4, 94 mod 13 = 3
Respuesta
x = 94
8.Teoría de números y aritmética modular
Respuesta: 2443726 mod 43 = 31
Potencias modulares y RSA: calcula aᵏ mod n por cuadrado repetido: escribe k en binario, eleva al cuadrado, reduce después de cada paso y multiplica las potencias cuyo bit es 1. Fermat: aᵖ⁻¹ ≡ 1 (mod p) para un primo p que no divide a a, así que el exponente se puede reducir módulo p − 1. RSA: elige los primos p y q, n = p·q y φ(n) = (p − 1)(q − 1); el exponente público e es coprimo con φ(n), y el exponente privado es d = e⁻¹ mod φ(n). Cifra con c = mᵉ mod n y descifra con m = cᵈ mod n.
Reduce el exponente
43726 mod 42 = 4
2443726 ≡ 244 (mod 43)
Potencia pequeña
244 mod 43 = 31
Respuesta
2443726 mod 43 = 31
9.Algoritmos y complejidad
Respuesta: D · Una solución óptima puede construirse a partir de soluciones óptimas de sus subproblemas
Por qué esta es la respuesta
La subestructura óptima es necesaria para que tanto los algoritmos voraces como la programación dinámica den respuestas correctas.
Respuesta
D · Una solución óptima puede construirse a partir de soluciones óptimas de sus subproblemas
10.Algoritmos y complejidad
Respuesta: A · W es un número, así que el tiempo es exponencial en el número de bits empleados para escribir W
Por qué esta es la respuesta
El tiempo de ejecución es polinómico en el valor de W pero exponencial en su longitud (log W bits); la mochila 0/1 es NP-completa.
Respuesta
A · W es un número, así que el tiempo es exponencial en el número de bits empleados para escribir W
11.Estructuras de datos
Respuesta: D · En el índice 4
Por qué esta es la respuesta
10 mod 7 = 3 y 17 mod 7 = 3; el índice 3 está ocupado, así que el sondeo lineal prueba la posición siguiente, el índice 4.
Respuesta
D · En el índice 4
12.Estructuras de datos
Respuesta: C · O(n)
Por qué esta es la respuesta
Las uniones ingenuas pueden enlazar los árboles formando una cadena larga, así que find puede tener que seguir n − 1 punteros al padre; las dos heurísticas lo acercan a un coste constante.
Respuesta
C · O(n)
13.Teoría de grafos
Respuesta: H = 12
Euler, Hamilton y árboles: un grafo conexo tiene un circuito euleriano (cada arista una vez, volviendo al inicio) cuando todos los vértices tienen grado par, y un camino euleriano que no es un circuito cuando exactamente dos vértices tienen grado impar; entonces el camino va de un vértice impar al otro. Un circuito hamiltoniano visita cada vértice una vez; Kn tiene (n − 1)!/2 de ellos. Un árbol de n vértices tiene n − 1 aristas, y un grafo conexo con m aristas conserva un árbol generador tras quitarle m − n + 1 aristas.
Contar
H = (5 − 1)!/2 = 24/2 = 12
Respuesta
H = 12
14.Teoría de grafos
Respuesta: arista BC
Caminos mínimos y árboles generadores: el algoritmo de Dijkstra fija un vértice por ronda: el vértice no fijado con la menor distancia provisional. Su distancia es entonces definitiva, y cada vecino v recibe d(v) = min(d(v), d(u) + w(u, v)). El algoritmo de Kruskal construye un árbol generador mínimo tomando las aristas de la más ligera a la más pesada y descartando toda arista que cierre un ciclo; el algoritmo de Prim hace crecer un único árbol desde un vértice inicial añadiendo siempre la arista más ligera que sale de él. Un árbol generador de n vértices tiene n − 1 aristas.
Algoritmo de Prim
1. EF (4)
2. BE (8)
3. BC (1)
4. AC (5)
5. DE (11)
arista número 3
BC
Respuesta
arista BC
15.Bases de datos y SQL
Respuesta: A · Aislamiento
Por qué esta es la respuesta
El aislamiento mantiene separadas las transacciones concurrentes; los niveles de aislamiento deciden con qué rigor se aplica.
Respuesta
A · Aislamiento
16.Bases de datos y SQL
Respuesta: A · Algunas dependencias funcionales pueden dejar de poder comprobarse dentro de una sola tabla
Por qué esta es la respuesta
Siempre existe una descomposición en FNBC sin pérdida, pero puede no preservar las dependencias; la 3FN siempre puede ser a la vez sin pérdida y preservadora de dependencias.
Respuesta
A · Algunas dependencias funcionales pueden dejar de poder comprobarse dentro de una sola tabla
17.Redes de computadores
Respuesta: B · AAAA
Por qué esta es la respuesta
Un registro A contiene una dirección IPv4 y un AAAA una dirección IPv6. MX indica los servidores de correo y CNAME da un alias.
Respuesta
B · AAAA
18.Redes de computadores
Respuesta: C · Con intercambios RTS/CTS opcionales: el CTS del AP indica a todas las estaciones cercanas que esperen
Por qué esta es la respuesta
Una estación envía Request to Send; el AP responde Clear to Send, que oyen todas las estaciones de su alcance, de modo que las estaciones ocultas se abstienen durante el tiempo reservado.
Respuesta
C · Con intercambios RTS/CTS opcionales: el CTS del AP indica a todas las estaciones cercanas que esperen
19.Subredes IPv4
Respuesta: H = 14
Subredes IPv4: una dirección tiene 32 bits. El prefijo /p indica cuántos bits iniciales identifican la red; los 32 − p bits restantes numeran los hosts. Una subred tiene 2³²⁻ᵖ direcciones, pero la primera (dirección de red) y la última (de difusión) no se pueden asignar a hosts, así que caben 2³²⁻ᵖ − 2 hosts. Excepciones: una /31 (enlace punto a punto, RFC 3021) usa sus 2 direcciones para hosts, y una /32 es una única dirección (un solo host o una interfaz de loopback).
Bits a tomar prestados
24 = 16 ≥ 10 → b = 4, /28
Hosts por subred
24 − 2 = 14
Respuesta
H = 14
20.Subredes IPv4
Respuesta: x = 112
Subredes IPv4: una dirección tiene 32 bits. El prefijo /p indica cuántos bits iniciales identifican la red; los 32 − p bits restantes numeran los hosts. Una subred tiene 2³²⁻ᵖ direcciones, pero la primera (dirección de red) y la última (de difusión) no se pueden asignar a hosts, así que caben 2³²⁻ᵖ − 2 hosts. Excepciones: una /31 (enlace punto a punto, RFC 3021) usa sus 2 direcciones para hosts, y una /32 es una única dirección (un solo host o una interfaz de loopback).