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
Pon los bits para que almacenen −34 en complemento a dos de 8 bits. Leído como un número sin signo, ¿cuál es el valor U del patrón?
N = −348 bit
U =
2.Sistemas de numeraciónDifícil
Una imagen sin comprimir tiene 256 × 256 píxeles con 8 bits por píxel. ¿Cuánta memoria M ocupa, en KiB (1 KiB = 1024 bytes)?
256 × 256 px8 bit/px1 KiB = 1024 B
M = KiB
3.Lógica proposicional y demostracionesMedia
¿En cuántas de las 8 filas de su tabla de verdad es verdadera (b ∧ (c ∧ a)) ∨ (¬c ∧ b)? Llama a ese número N.
(b ∧ (c ∧ a)) ∨ (¬c ∧ b)
N =
4.Lógica proposicional y demostracionesDifícil
¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera (s → q) → ((¬s ∨ r) → (q ∧ p))? Llama a ese número N.
(s → q) → ((¬s ∨ r) → (q ∧ p))
N =
5.Lógica digital: puertas, mapas K y biestablesMedia
Usa el mapa de Karnaugh para hallar la forma mínima de suma de productos (SOP) de F(A, B, C, D) = Σm(1, 2, 5, 6, 9, 10, 15). ¿Cuántos términos producto, N, tiene?
F(A, B, C, D) = Σm(1, 2, 5, 6, 9, 10, 15)
N =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un contador Johnson de 4 bits Q₃Q₂Q₁Q₀ empieza en 0000. En cada flanco de reloj los bits se desplazan una posición hacia la derecha (Q₃ → Q₂ → Q₁ → Q₀) y Q₃ recibe la inversa de Q₀. Da el estado Q = Q₃Q₂Q₁Q₀ como número decimal tras 9 flancos de reloj.
Q₃Q₂Q₁Q₀ = 00009
Q =
7.Teoría de números y aritmética modularMedia
Halla el inverso de 9 módulo 25: el número x con 0 < x < 25 y 9·x ≡ 1 (mod 25).
a = 9n = 25
9−1 mod 25 =
8.Teoría de números y aritmética modularDifícil
Cifra el mensaje m = 924 con la clave pública RSA (n, e) = (1333, 19). Halla el texto cifrado c.
n = 1333e = 19m = 924
c =
9.Algoritmos y complejidadMedia
¿Cuál es la complejidad temporal de quicksort en el peor caso?
AO(n²)
BO(n log n)
CO(log n)
DO(n)
10.Algoritmos y complejidadDifícil
¿Cómo se clasifica el problema del viajante?
AEs indecidible
BEstá en P porque el algoritmo de Dijkstra lo resuelve visitando cada ciudad una vez
CLa versión de decisión es NP-completa y la de optimización es NP-difícil
DLa versión de decisión está en P, pero la de optimización es NP-completa
11.Estructuras de datosMedia
¿Cuál es la complejidad temporal de buscar una clave en un árbol binario de búsqueda balanceado?
AO(1)
BO(n log n)
CO(log n)
DO(n)
12.Estructuras de datosDifícil
¿Por qué podría un servidor elegir su función hash al azar de entre una familia universal?
APara garantizar que dos claves nunca puedan colisionar, sean cuales sean las claves que envíe un atacante
BPara que la tabla hash quede ordenada
CPara que sea muy improbable que un atacante pueda elegir muchas claves que colisionen todas
DPara eliminar la necesidad de redimensionar la tabla
13.Teoría de grafosMedia
¿Cuántos circuitos de Hamilton distintos, H, tiene el grafo completo K4? Los circuitos que solo difieren en el vértice inicial o en el sentido cuentan como el mismo.
K4
H =
14.Teoría de grafosDifícil
Usa el algoritmo de Dijkstra para hallar la longitud d(F) del camino más corto de A a F en el grafo ponderado.
inicio: Afin: F
d(F) =
15.Bases de datos y SQLMedia
La tercera forma normal (3FN) elimina:
ALas dependencias transitivas entre atributos no clave
BLas claves compuestas
CLos valores atómicos
DLos índices redundantes sobre columnas que no forman parte de una clave
16.Bases de datos y SQLDifícil
¿Por qué una consulta con WHERE YEAR(order_date) = 2025 podría no usar un índice sobre order_date?
AAplicar una función a la columna impide una búsqueda simple por rango en el índice
BLos índices nunca funcionan con fechas
CYEAR no es SQL válido
DUn índice sobre order_date solo se usa para cláusulas ORDER BY, nunca para WHERE
17.Redes de computadoresMedia
¿Cuánto se tarda en poner un paquete de 1500 bytes en un enlace de 12 Mbit/s (retardo de transmisión)?
A1 ms
B8 ms
C12 ms
D0,125 ms
18.Redes de computadoresDifícil
¿Qué hace principalmente BGP en internet?
ACifra los datos entre routers
BAsigna direcciones IP a los usuarios domésticos a través de sus proveedores de internet
CIntercambia información de enrutamiento entre sistemas autónomos
DResuelve nombres a direcciones
19.Subredes IPv4Media
La red 192.168.251.0/24 se divide en subredes /27, numeradas 1, 2, 3, … desde la dirección más baja (la subred 1 empieza en .0). ¿Cuál es el cuarto octeto x de la dirección de red de la subred 8?
192.168.251.0/24/27subred 8 (la subred 1 empieza en .0)
x =
20.Subredes IPv4Difícil
Un host tiene la dirección 172.20.181.25/22. ¿Cuál es el tercer octeto x de su dirección de red?
172.20.181.25/22
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 222
Poner bits: cada bit vale una potencia de dos (128, 64, …, 1). Un dígito hexadecimal son exactamente cuatro bits, y en complemento a dos de 8 bits el bit de más a la izquierda vale −128. Las operaciones bit a bit actúan sobre cada posición de bit por separado.
Invertir y sumar uno
34 = 0010 0010
invertido: 1101 1101
+1 → 1101 1110
Leerlo sin signo
1101 1110₂ = 256 − 34 = 222
Respuesta
U = 222
2.Sistemas de numeración
Respuesta: M = 64 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
256·256·8 = 524288 bit = 65536 B
Pasar a KiB
65536/1024 = 64 KiB
Respuesta
M = 64 KiB
3.Lógica proposicional y demostraciones
Respuesta: N = 3
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.
Tabla de verdad fila por fila
a = 1, b = 1, c = 1: c ∧ a = 1, b ∧ (c ∧ a) = 1, ¬c = 0, ¬c ∧ b = 0, (b ∧ (c ∧ a)) ∨ (¬c ∧ b) = 1
a = 1, b = 1, c = 0: c ∧ a = 0, b ∧ (c ∧ a) = 0, ¬c = 1, ¬c ∧ b = 1, (b ∧ (c ∧ a)) ∨ (¬c ∧ b) = 1
a = 1, b = 0, c = 1: c ∧ a = 1, b ∧ (c ∧ a) = 0, ¬c = 0, ¬c ∧ b = 0, (b ∧ (c ∧ a)) ∨ (¬c ∧ b) = 0
a = 1, b = 0, c = 0: c ∧ a = 0, b ∧ (c ∧ a) = 0, ¬c = 1, ¬c ∧ b = 0, (b ∧ (c ∧ a)) ∨ (¬c ∧ b) = 0
a = 0, b = 1, c = 1: c ∧ a = 0, b ∧ (c ∧ a) = 0, ¬c = 0, ¬c ∧ b = 0, (b ∧ (c ∧ a)) ∨ (¬c ∧ b) = 0
a = 0, b = 1, c = 0: c ∧ a = 0, b ∧ (c ∧ a) = 0, ¬c = 1, ¬c ∧ b = 1, (b ∧ (c ∧ a)) ∨ (¬c ∧ b) = 1
a = 0, b = 0, c = 1: c ∧ a = 0, b ∧ (c ∧ a) = 0, ¬c = 0, ¬c ∧ b = 0, (b ∧ (c ∧ a)) ∨ (¬c ∧ b) = 0
a = 0, b = 0, c = 0: c ∧ a = 0, b ∧ (c ∧ a) = 0, ¬c = 1, ¬c ∧ b = 0, (b ∧ (c ∧ a)) ∨ (¬c ∧ b) = 0
Cuenta las filas con valor 1
(b ∧ (c ∧ a)) ∨ (¬c ∧ b): 1, 1, 0, 0, 0, 1, 0, 0
N = 3
Respuesta
N = 3
4.Lógica proposicional y demostraciones
Respuesta: N = 9
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.
Mapas de Karnaugh: las celdas están ordenadas en código Gray (00, 01, 11, 10), por lo que las celdas vecinas, incluidas las que están a través de los bordes, difieren en exactamente una variable. Agrupa los 1 en rectángulos de 1, 2, 4, 8 o 16 celdas, lo más grandes y los menos posibles, hasta cubrir todos los 1. Cada grupo es un término producto: las variables que permanecen constantes dentro de él. Un grupo de 2ᵏ celdas pierde k variables. Las indiferencias (X) pueden usarse para agrandar grupos, pero nunca hace falta cubrirlas. Agrupar los 0 en su lugar da la forma POS mínima.
Agrupa los 1
Todo grupo es un rectángulo de 2ᵏ celdas; las celdas del borde son vecinas de las celdas del borde opuesto.
B′C′D
B′CD′
A′C′D
A′CD′
ABCD
Forma SOP mínima
F = B′C′D + B′CD′ + A′C′D + A′CD′ + ABCD
N = 5
Respuesta
N = 5
6.Lógica digital: puertas, mapas K y biestables
Respuesta: Q = 8
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.
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).
Algoritmo de Euclides extendido
Cada resto r se escribe como r ≡ t·9 (mod 25).
r = 25, t = 0
r = 9, q = 2, t = 1
r = 7, q = 1, t = −2
r = 2, q = 3, t = 3
r = 1, q = 2, t = −11
Inversa
1 ≡ −11·9 (mod 25)
x = 14
comprobación: 9·14 = 126 = 5·25 + 1
Respuesta
9−1 mod 25 = 14
8.Teoría de números y aritmética modular
Respuesta: c = 1079
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.
Cuadrado repetido
19 = 16 + 2 + 1
9241 ≡ 924 (mod 1333)
9242 ≡ 656 (mod 1333)
9244 ≡ 1110 (mod 1333)
9248 ≡ 408 (mod 1333)
92416 ≡ 1172 (mod 1333)
92419 ≡ 924·656·1172 ≡ 1079 (mod 1333)
Texto cifrado
c = 1079
Respuesta
c = 1079
9.Algoritmos y complejidad
Respuesta: A · O(n²)
Por qué esta es la respuesta
Con pivotes malos de forma sistemática (p. ej., una entrada ya ordenada y el primer elemento como pivote) las particiones quedan desequilibradas, lo que da O(n²). El caso promedio es O(n log n).
Respuesta
A · O(n²)
10.Algoritmos y complejidad
Respuesta: C · La versión de decisión es NP-completa y la de optimización es NP-difícil
Por qué esta es la respuesta
«¿Hay un recorrido de longitud como mucho k?» es NP-completo; hallar el recorrido más corto es NP-difícil, porque es al menos igual de difícil.
Respuesta
C · La versión de decisión es NP-completa y la de optimización es NP-difícil
11.Estructuras de datos
Respuesta: C · O(log n)
Por qué esta es la respuesta
Un árbol balanceado tiene una altura de aproximadamente log₂ n, así que una búsqueda sigue un único camino desde la raíz hasta una hoja.
Respuesta
C · O(log n)
12.Estructuras de datos
Respuesta: C · Para que sea muy improbable que un atacante pueda elegir muchas claves que colisionen todas
Por qué esta es la respuesta
Con hashing universal, el número esperado de colisiones es pequeño para cualquier conjunto de claves, ya que el atacante no sabe qué función se eligió.
Respuesta
C · Para que sea muy improbable que un atacante pueda elegir muchas claves que colisionen todas
13.Teoría de grafos
Respuesta: H = 3
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 = (4 − 1)!/2 = 6/2 = 3
Respuesta
H = 3
14.Teoría de grafos
Respuesta: d(F) = 23
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.
Dijkstra ronda a ronda
Cada línea: el vértice fijado, su distancia definitiva y los vecinos cuya distancia mejora.
A (0): C: 8
C (8): B: 16, E: 14
E (14): D: 25, F: 23, G: 23
B (16): D: 23, G: 19
G (19)
D (23)
F (23)
Camino más corto
A → C → E → F
d(F) = 23
Respuesta
d(F) = 23
15.Bases de datos y SQL
Respuesta: A · Las dependencias transitivas entre atributos no clave
Por qué esta es la respuesta
En 3FN ningún atributo no clave depende de otro atributo no clave, como al guardar la ciudad y el código postal cuando la ciudad depende del código postal.
Respuesta
A · Las dependencias transitivas entre atributos no clave
16.Bases de datos y SQL
Respuesta: A · Aplicar una función a la columna impide una búsqueda simple por rango en el índice
Por qué esta es la respuesta
La expresión no es «sargable»; usar order_date >= '2025-01-01' AND order_date < '2026-01-01' permite un recorrido por rango del índice (index range scan).
Respuesta
A · Aplicar una función a la columna impide una búsqueda simple por rango en el índice
17.Redes de computadores
Respuesta: A · 1 ms
Por qué esta es la respuesta
1500 bytes = 12,000 bits. 12,000 / 12,000,000 bit/s = 0,001 s = 1 ms. El retardo de transmisión depende del tamaño del paquete y de la velocidad del enlace, no de la distancia.
Respuesta
A · 1 ms
18.Redes de computadores
Respuesta: C · Intercambia información de enrutamiento entre sistemas autónomos
Por qué esta es la respuesta
BGP es el protocolo de enrutamiento entre dominios; los sistemas autónomos (AS) anuncian los prefijos alcanzables y seleccionan rutas según políticas.
Respuesta
C · Intercambia información de enrutamiento entre sistemas autónomos
19.Subredes IPv4
Respuesta: x = 224
IPv4 subnetting: an address has 32 bits. The prefix /p says how many leading bits identify the network; the remaining 32 − p bits number the hosts. A subnet has 2³²⁻ᵖ addresses, but the first (network address) and last (broadcast address) cannot be given to hosts, so 2³²⁻ᵖ − 2 hosts fit. Exceptions: a /31 (point-to-point link, RFC 3021) uses both of its 2 addresses for hosts, and a /32 is one single address (a single host or a loopback).
Tamaño de bloque
25 = 32
Subred número 8
red: (8 − 1)·32 = 224
difusión: 224 + 32 − 1 = 255
Respuesta
x = 224
20.Subredes IPv4
Respuesta: x = 180
IPv4 subnetting: an address has 32 bits. The prefix /p says how many leading bits identify the network; the remaining 32 − p bits number the hosts. A subnet has 2³²⁻ᵖ addresses, but the first (network address) and last (broadcast address) cannot be given to hosts, so 2³²⁻ᵖ − 2 hosts fit. Exceptions: a /31 (point-to-point link, RFC 3021) uses both of its 2 addresses for hosts, and a /32 is one single address (a single host or a loopback).