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 −70 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 = −708 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
¿En cuántas de las 8 filas de su tabla de verdad es verdadera (r → ¬q) ∧ ¬(r ∧ p)? Llama a ese número N.
(r → ¬q) ∧ ¬(r ∧ p)
N =
4.Lógica proposicional y demostracionesDifícil
¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera ¬(¬p ∧ ¬(q ∧ ¬s)) ∧ ((r ∧ p) ∧ ¬q)? Llama a ese número N.
¬(¬p ∧ ¬(q ∧ ¬s)) ∧ ((r ∧ p) ∧ ¬q)
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) = Σm(1, 2, 5, 7). ¿Cuántos literales, L, contiene en total (una variable con prima cuenta como un literal)?
F(A, B, C) = Σm(1, 2, 5, 7)
L =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Halla la forma SOP mínima de F(A, B, C, D) = Σm(1, 4, 6, 11, 12, 14) + d(0, 8), donde d marca las condiciones indiferentes. ¿Cuántos literales, L, contiene?
F(A, B, C, D) = Σm(1, 4, 6, 11, 12, 14) + d(0, 8)
L =
7.Teoría de números y aritmética modularMedia
Halla el inverso de 38 módulo 67: el número x con 0 < x < 67 y 38·x ≡ 1 (mod 67).
a = 38n = 67
38−1 mod 67 =
8.Teoría de números y aritmética modularDifícil
Cifra el mensaje m = 92 con la clave pública RSA (n, e) = (145, 11). Halla el texto cifrado c.
n = 145e = 11m = 92
c =
9.Algoritmos y complejidadMedia
¿Cuál es el tiempo de ejecución del radix sort LSD sobre n enteros de d dígitos en base k?
AO(n log n)
BO(dn log k)
CO(n²)
DO(d(n + k))
10.Algoritmos y complejidadDifícil
Un problema es NP-completo si:
AEstá en NP y todo problema NP se reduce a él en tiempo polinómico
BSe puede resolver en tiempo polinómico
CEs imposible de resolver
DEstá fuera de NP pero es más difícil que todos los problemas NP, como el problema de la parada
11.Estructuras de datosMedia
Un recorrido en orden (in-order) de un árbol binario de búsqueda visita las claves en:
AOrden por niveles
BOrden ascendente
CSiempre orden descendente
DOrden de inserción
12.Estructuras de datosDifícil
Un filtro de Bloom puede responder a «¿está este elemento en el conjunto?» con:
APosibles falsos positivos, pero sin falsos negativos
BRespuestas siempre exactas
CRespuestas solo para números
DPosibles falsos negativos, pero sin falsos positivos
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 Kruskal construye un árbol generador mínimo. Haz clic en la arista que añade como arista número 3; las aristas descartadas no cuentan.
k = 3
1arista AB
2arista AC
3arista BC
4arista BD
5arista CE
6arista DE
7arista BE
15.Bases de datos y SQLMedia
Una tabla employees tiene una columna manager_id que hace referencia a otro empleado. ¿Cómo se muestra cada empleado junto al nombre de su jefe?
ACombinar la tabla consigo misma con UNION ALL y un filtro WHERE
BCreando en disco una segunda copia de la tabla
CCombinando la tabla employees consigo misma mediante dos alias
DUsando solo GROUP BY manager_id
16.Bases de datos y SQLDifícil
¿Qué muestra EXPLAIN (o EXPLAIN ANALYZE en PostgreSQL) para una consulta?
AEl plan de ejecución elegido por el optimizador, como los recorridos y los métodos de combinación
BSolo una reescritura de la consulta en notación de álgebra relacional
CLa lista de usuarios que ejecutaron la consulta
DEl significado de cada palabra clave SQL de la consulta
17.Redes de computadoresMedia
¿Qué prefijo único resume a la vez 192.168.0.0/24 y 192.168.1.0/24?
A192.168.0.0/25
B192.168.0.0/23
C192.168.0.0/22
D192.168.1.0/23
18.Redes de computadoresDifícil
¿Qué hace principalmente BGP en internet?
AIntercambia información de enrutamiento entre sistemas autónomos
BAsigna direcciones IP a los usuarios domésticos a través de sus proveedores de internet
CResuelve nombres a direcciones
DCifra los datos entre routers
19.Subredes IPv4Media
Un departamento necesita 1029 direcciones de host en una sola subred. ¿Cuál es la mayor longitud de prefijo p (la subred más pequeña) que basta?
1029 hosts
p =
20.Subredes IPv4Difícil
Un router tiene rutas a estas redes: 10.183.205.0/24, 10.183.206.0/24. ¿Cuál es la longitud de prefijo más larga p de una única ruta resumida que las cubra todas?
10.183.205.0/24 … 10.183.206.0/24
p =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 186
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
70 = 0100 0110
invertido: 1011 1001
+1 → 1011 1010
Leerlo sin signo
1011 1010₂ = 256 − 70 = 186
Respuesta
U = 186
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: N = 5
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
p = 1, q = 1, r = 1: ¬q = 0, r → ¬q = 0, r ∧ p = 1, ¬(r ∧ p) = 0, (r → ¬q) ∧ ¬(r ∧ p) = 0
p = 1, q = 1, r = 0: ¬q = 0, r → ¬q = 1, r ∧ p = 0, ¬(r ∧ p) = 1, (r → ¬q) ∧ ¬(r ∧ p) = 1
p = 1, q = 0, r = 1: ¬q = 1, r → ¬q = 1, r ∧ p = 1, ¬(r ∧ p) = 0, (r → ¬q) ∧ ¬(r ∧ p) = 0
p = 1, q = 0, r = 0: ¬q = 1, r → ¬q = 1, r ∧ p = 0, ¬(r ∧ p) = 1, (r → ¬q) ∧ ¬(r ∧ p) = 1
p = 0, q = 1, r = 1: ¬q = 0, r → ¬q = 0, r ∧ p = 0, ¬(r ∧ p) = 1, (r → ¬q) ∧ ¬(r ∧ p) = 0
p = 0, q = 1, r = 0: ¬q = 0, r → ¬q = 1, r ∧ p = 0, ¬(r ∧ p) = 1, (r → ¬q) ∧ ¬(r ∧ p) = 1
p = 0, q = 0, r = 1: ¬q = 1, r → ¬q = 1, r ∧ p = 0, ¬(r ∧ p) = 1, (r → ¬q) ∧ ¬(r ∧ p) = 1
p = 0, q = 0, r = 0: ¬q = 1, r → ¬q = 1, r ∧ p = 0, ¬(r ∧ p) = 1, (r → ¬q) ∧ ¬(r ∧ p) = 1
Cuenta las filas con valor 1
(r → ¬q) ∧ ¬(r ∧ p): 0, 1, 0, 1, 0, 1, 1, 1
N = 5
Respuesta
N = 5
4.Lógica proposicional y demostraciones
Respuesta: N = 2
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
AC
A′BC′
Forma SOP mínima
F = B′C + AC + A′BC′
L = 7
Respuesta
L = 7
6.Lógica digital: puertas, mapas K y biestables
Respuesta: L = 9
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.
Implicantes primos
Los grupos más grandes que se pueden formar con 1 y X.
C′D′, BD′, A′B′C′, AB′CD
Cobertura mínima
F = BD′ + A′B′C′ + AB′CD
L = 9
Respuesta
L = 9
7.Teoría de números y aritmética modular
Respuesta: 38−1 mod 67 = 30
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·38 (mod 67).
r = 67, t = 0
r = 38, q = 1, t = 1
r = 29, q = 1, t = −1
r = 9, q = 3, t = 2
r = 2, q = 4, t = −7
r = 1, q = 2, t = 30
Inversa
1 ≡ 30·38 (mod 67)
x = 30
comprobación: 38·30 = 1140 = 17·67 + 1
Respuesta
38−1 mod 67 = 30
8.Teoría de números y aritmética modular
Respuesta: c = 13
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
11 = 8 + 2 + 1
921 ≡ 92 (mod 145)
922 ≡ 54 (mod 145)
924 ≡ 16 (mod 145)
928 ≡ 111 (mod 145)
9211 ≡ 92·54·111 ≡ 13 (mod 145)
Texto cifrado
c = 13
Respuesta
c = 13
9.Algoritmos y complejidad
Respuesta: D · O(d(n + k))
Por qué esta es la respuesta
Cada una de las d pasadas es un ordenamiento por cuentas de coste O(n + k), así que, con d y k fijos, el total es lineal en n.
Respuesta
D · O(d(n + k))
10.Algoritmos y complejidad
Respuesta: A · Está en NP y todo problema NP se reduce a él en tiempo polinómico
Por qué esta es la respuesta
Los problemas NP-completos son los más difíciles de NP; un algoritmo polinómico para uno de ellos daría uno para todo NP.
Respuesta
A · Está en NP y todo problema NP se reduce a él en tiempo polinómico
11.Estructuras de datos
Respuesta: B · Orden ascendente
Por qué esta es la respuesta
Visitar el subárbol izquierdo, luego el nodo y luego el subárbol derecho produce las claves del BST ordenadas.
Respuesta
B · Orden ascendente
12.Estructuras de datos
Respuesta: A · Posibles falsos positivos, pero sin falsos negativos
Por qué esta es la respuesta
Si algún bit de un elemento es 0, seguro que no está; si todos son 1, probablemente está. Los filtros de Bloom sacrifican precisión a cambio de usar muy poca memoria.
Respuesta
A · Posibles falsos positivos, pero sin falsos negativos
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 DE
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 Kruskal
1. AC (4)
2. BD (9)
3. DE (10)
4. AB (13)
arista número 3
DE
Respuesta
arista DE
15.Bases de datos y SQL
Respuesta: C · Combinando la tabla employees consigo misma mediante dos alias
Por qué esta es la respuesta
Una autocombinación (self-join) como FROM employees e JOIN employees m ON e.manager_id = m.id permite que un alias sea el empleado y el otro el jefe.
Respuesta
C · Combinando la tabla employees consigo misma mediante dos alias
16.Bases de datos y SQL
Respuesta: A · El plan de ejecución elegido por el optimizador, como los recorridos y los métodos de combinación
Por qué esta es la respuesta
EXPLAIN muestra el plan (recorridos por índice o secuenciales, algoritmos de combinación, costes estimados); EXPLAIN ANALYZE además ejecuta la consulta e informa de los tiempos reales.
Respuesta
A · El plan de ejecución elegido por el optimizador, como los recorridos y los métodos de combinación
17.Redes de computadores
Respuesta: B · 192.168.0.0/23
Por qué esta es la respuesta
0 y 1 comparten todos los bits del tercer octeto salvo el último, así que un prefijo un bit más corto (/23) que empiece en 192.168.0.0 abarca exactamente ambas.
Respuesta
B · 192.168.0.0/23
18.Redes de computadores
Respuesta: A · 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
A · Intercambia información de enrutamiento entre sistemas autónomos
19.Subredes IPv4
Respuesta: p = 21
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 de host necesarios
210 − 2 = 1022 < 1029
211 − 2 = 2046 ≥ 1029 → h = 11
Longitud del prefijo
p = 32 − 11 = 21
Respuesta
p = /21
20.Subredes IPv4
Respuesta: p = 22
Resumen de rutas: una ruta resumida a.b.c.0/p cubre todas las redes cuyos primeros p bits coinciden. Escribe en binario el octeto que difiere de la primera y la última red; el número de bits iniciales comunes, más los bits de los octetos anteriores, es el prefijo de resumen más largo.
Compara los bits
205 = 11001101
206 = 11001110
bits iniciales comunes: 6
Longitud del prefijo
p = 16 + 6 = 22
Respuesta
p = /22
Ruta resumida: 10.183.204.0/22 (también cubre 2 red(es) que no están en la lista).