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 −18 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 = −188 bit
U =
2.Sistemas de numeraciónDifícil
Pon los bits al resultado de 8 bits de 1101 1110 OR 0100 1011. ¿Cuál es el valor R del resultado en decimal?
1101 1110OR0100 1011
R =
3.Lógica proposicional y demostracionesMedia
Quieres demostrar q → ¬p por reducción al absurdo. ¿Qué enunciado supones al principio? Haz clic en él.
q → ¬p
1¬q → ¬¬p
2q ∧ ¬¬p
3¬q ∧ ¬p
4¬q ∧ ¬¬p
4.Lógica proposicional y demostracionesDifícil
¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera ((b → d) → (c → ¬d)) ∧ (a → (c ∨ a))? Llama a ese número N.
((b → d) → (c → ¬d)) ∧ (a → (c ∨ a))
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, 4, 6, 7, 8, 13, 14, 15). ¿Cuántos literales, L, contiene en total (una variable con prima cuenta como un literal)?
F(A, B, C, D) = Σm(1, 2, 4, 6, 7, 8, 13, 14, 15)
L =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un contador módulo 12 síncrono cuenta 0, 1, …, 11 y luego vuelve a 0. Empieza en 2. ¿Qué cuenta Q (en decimal) muestra tras 37 pulsos de reloj?
Q0 = 237N = 12
Q =
7.Teoría de números y aritmética modularMedia
Halla el menor entero positivo x con x ≡ 5 (mod 6) y x ≡ 3 (mod 7).
x ≡ 5 (mod 6)x ≡ 3 (mod 7)
x =
8.Teoría de números y aritmética modularDifícil
Una clave RSA usa los primos p = 17 y q = 43 y el exponente público e = 19. Halla el exponente privado d (0 < d < φ(n)).
p = 17q = 43e = 19
d =
9.Algoritmos y complejidadMedia
La programación dinámica es útil cuando un problema tiene:
ANingún subproblema en absoluto, así que puede resolverse en un solo paso
BSolo entradas aleatorias
CSubproblemas superpuestos y subestructura óptima
DUn único bucle
10.Algoritmos y complejidadDifícil
¿Qué dos cosas hay que demostrar para probar que un problema de decisión X es NP-completo?
AQue X está en NP y que un problema NP-completo conocido se reduce a X en tiempo polinómico
BQue X se reduce a un problema de P y que X está en NP
CQue X no tiene algoritmo polinómico y que X es decidible
DQue X está en P y que X se reduce a SAT
11.Estructuras de datosMedia
¿Cuál es el coste de insertar un elemento en medio de un arreglo de n elementos?
AO(1), porque se conoce el índice
BO(n²), porque cada elemento se mueve n veces
CO(n), porque los elementos posteriores deben desplazarse
DO(log n), por la búsqueda binaria
12.Estructuras de datosDifícil
¿Qué hace un splay tree después de cada acceso?
AReconstruye todo el árbol en forma balanceada
BMueve el nodo accedido a una hoja
CSube mediante rotaciones el nodo accedido hasta la raíz
DRecolorea los nodos del camino de búsqueda
13.Teoría de grafosMedia
¿Tiene el grafo conexo un circuito euleriano, un camino euleriano que no es un circuito, o ninguno de los dos? Haz clic en tu respuesta.
|V| = 5|E| = 6
1Circuito euleriano
2Camino euleriano, sin circuito
3ninguna de las dos
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
Un LEFT JOIN devuelve:
ASolo todas las filas de la tabla derecha
BTodas las filas de la tabla izquierda y las filas coincidentes de la derecha, con NULL donde no hay coincidencia
CSolo las filas coincidentes de ambas tablas
DLas filas que no coinciden en ninguna de las dos tablas
16.Bases de datos y SQLDifícil
¿Qué es un índice de cobertura (covering index) para una consulta?
AUn índice solo sobre la clave primaria
BUn índice que cubre todas las columnas de todas las tablas
CUn índice que se reconstruye cada noche
DUn índice que contiene todas las columnas que necesita la consulta, de modo que no hay que leer la propia tabla
17.Redes de computadoresMedia
¿Qué prefijo único resume a la vez 192.168.0.0/24 y 192.168.1.0/24?
A192.168.1.0/23
B192.168.0.0/22
C192.168.0.0/25
D192.168.0.0/23
18.Redes de computadoresDifícil
Una conexión TCP tiene una ventana de 64 KB, un tiempo de ida y vuelta de 100 ms y no usa escalado de ventana. ¿Cuál es aproximadamente su rendimiento máximo?
AUnos 0,5 Mbit/s
BUnos 50 Mbit/s
CUnos 640 Mbit/s
DUnos 5 Mbit/s
19.Subredes IPv4Media
Una subred usa la máscara 255.255.255.240. ¿Cuántas direcciones de host utilizables H tiene?
255.255.255.240
H =
20.Subredes IPv4Difícil
La red 192.168.39.0/24 se divide con VLSM para estas LAN: A: 81 hosts, B: 5 hosts, C: 22 hosts, D: 25 hosts. Las subredes se asignan de .0 hacia arriba, primero la LAN con más hosts, cada una con la subred más pequeña en la que quepa. ¿Cuál es el cuarto octeto x de la dirección de red de la LAN D?
A: 81B: 5C: 22D: 25
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 238
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
18 = 0001 0010
invertido: 1110 1101
+1 → 1110 1110
Leerlo sin signo
1110 1110₂ = 256 − 18 = 238
Respuesta
U = 238
2.Sistemas de numeración
Respuesta: R = 223
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.
Bit a bit
OR da 1 donde al menos un bit es 1.
1101 1110
OR 0100 1011
= 1101 1111
Valor del resultado
1101 1111₂ = 223
Respuesta
R = 223
3.Lógica proposicional y demostraciones
Respuesta: q ∧ ¬¬p
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).
Partes de la implicación
a = q, b = ¬p
Negación de la implicación
¬(a → b) ≡ a ∧ ¬b = q ∧ ¬¬p
Respuesta
q ∧ ¬¬p
Si la suposición lleva a una contradicción, la implicación tiene que ser verdadera.
4.Lógica proposicional y demostraciones
Respuesta: N = 12
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
b → d; ¬d; c → ¬d; (b → d) → (c → ¬d); c ∨ a; a → (c ∨ a); ((b → d) → (c → ¬d)) ∧ (a → (c ∨ a))
Divide según a
a = 1: 6
a = 0: 6
N = 6 + 6 = 12
Respuesta
N = 12
5.Lógica digital: puertas, mapas K y biestables
Respuesta: L = 19
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.
BC
A′CD′
A′BD′
ABD
A′B′C′D
AB′C′D′
Forma SOP mínima
F = BC + A′CD′ + A′BD′ + ABD + A′B′C′D + AB′C′D′
L = 19
Respuesta
L = 19
6.Lógica digital: puertas, mapas K y biestables
Respuesta: Q = 3
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.
Ciclos completos
Cada 12 pulsos devuelven el contador al mismo estado.
37 = 3·12 + 1
Cuenta tras los pulsos restantes
Q = (2 + 1) mod 12 = 3
Q = 0011₂
Respuesta
Q = 3
7.Teoría de números y aritmética modular
Respuesta: x = 17
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 = 5 + 6k
Segunda congruencia
5 + 6k ≡ 3 (mod 7) → 6k ≡ 5 (mod 7)
k ≡ 6·5 ≡ 2 (mod 7)
Resultado
x = 5 + 6·2 = 17
x = 17
comprobación: 17 mod 6 = 5, 17 mod 7 = 3
Respuesta
x = 17
8.Teoría de números y aritmética modular
Respuesta: d = 283
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.
Módulo y función φ
n = 17·43 = 731
φ(n) = 16·42 = 672
Algoritmo de Euclides extendido
r = 672, t = 0
r = 19, q = 35, t = 1
r = 7, q = 2, t = −35
r = 5, q = 1, t = 71
r = 2, q = 2, t = −106
r = 1, q = 2, t = 283
Exponente privado
d = 283
comprobación: 19·283 = 5377 = 8·672 + 1
Respuesta
d = 283
9.Algoritmos y complejidad
Respuesta: C · Subproblemas superpuestos y subestructura óptima
Por qué esta es la respuesta
Guardar los resultados de los subproblemas superpuestos (memoización o tabulación) evita trabajo repetido y convierte algoritmos exponenciales en polinómicos.
Respuesta
C · Subproblemas superpuestos y subestructura óptima
10.Algoritmos y complejidad
Respuesta: A · Que X está en NP y que un problema NP-completo conocido se reduce a X en tiempo polinómico
Por qué esta es la respuesta
La pertenencia a NP muestra que X no es más difícil que NP; la reducción desde un problema NP-completo conocido muestra que X es al menos tan difícil como todo NP.
Respuesta
A · Que X está en NP y que un problema NP-completo conocido se reduce a X en tiempo polinómico
11.Estructuras de datos
Respuesta: C · O(n), porque los elementos posteriores deben desplazarse
Por qué esta es la respuesta
Todos los elementos situados después del punto de inserción se mueven una posición a la derecha, lo que lleva un tiempo proporcional a n.
Respuesta
C · O(n), porque los elementos posteriores deben desplazarse
12.Estructuras de datos
Respuesta: C · Sube mediante rotaciones el nodo accedido hasta la raíz
Por qué esta es la respuesta
El splaying lleva el nodo accedido a la raíz mediante rotaciones; una sola operación puede costar O(n), pero el coste amortizado es O(log n).
Respuesta
C · Sube mediante rotaciones el nodo accedido hasta la raíz
13.Teoría de grafos
Respuesta: Circuito euleriano
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.
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): B: 4, C: 8
B (4): C: 7, G: 8
C (7): E: 12
G (8)
E (12): D: 23, F: 18
F (18)
D (23)
Camino más corto
A → B → C → E → F
d(F) = 18
Respuesta
d(F) = 18
15.Bases de datos y SQL
Respuesta: B · Todas las filas de la tabla izquierda y las filas coincidentes de la derecha, con NULL donde no hay coincidencia
Por qué esta es la respuesta
Una combinación externa izquierda conserva todas las filas de la izquierda; las columnas de la derecha sin coincidencia se rellenan con NULL.
Respuesta
B · Todas las filas de la tabla izquierda y las filas coincidentes de la derecha, con NULL donde no hay coincidencia
16.Bases de datos y SQL
Respuesta: D · Un índice que contiene todas las columnas que necesita la consulta, de modo que no hay que leer la propia tabla
Por qué esta es la respuesta
Si todas las columnas referenciadas están en el índice, el SGBD puede hacer un recorrido solo del índice (index-only scan) y no leer las filas de la tabla, lo que ahorra E/S.
Respuesta
D · Un índice que contiene todas las columnas que necesita la consulta, de modo que no hay que leer la propia tabla
17.Redes de computadores
Respuesta: D · 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
D · 192.168.0.0/23
18.Redes de computadores
Respuesta: D · Unos 5 Mbit/s
Por qué esta es la respuesta
Rendimiento ≤ ventana / RTT = 65,536 × 8 bits / 0,1 s ≈ 5,2 Mbit/s, por rápido que sea el enlace.
Respuesta
D · Unos 5 Mbit/s
19.Subredes IPv4
Respuesta: H = 14
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).
Longitud del prefijo
255.255.255.240 = /28
Hosts utilizables
24 − 2 = 14
Respuesta
H = 14
20.Subredes IPv4
Respuesta: x = 128
VLSM: cada LAN recibe la subred más pequeña con 2ʰ − 2 ≥ su número de hosts, es decir, prefijo 32 − h. Asignar primero las subredes más grandes mantiene cada bloque alineado en un múltiplo de su propio tamaño, de modo que las direcciones de red se obtienen sumando los tamaños de bloque.