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
El patrón de 8 bits 1100 1101 guarda un entero con signo en complemento a dos. ¿Cuál es su valor N en decimal?
1100 11018 bit
N =
2.Sistemas de numeraciónDifícil
¿Cuál es el entero más negativo N que se puede guardar en complemento a dos de 20 bits?
20 bit
N =
3.Lógica proposicional y demostracionesMedia
¿Qué fórmula es lógicamente equivalente a (p ∧ q) → r? Haz clic en ella.
(p ∧ q) → r
1(p → r) ∧ (q → r)
2p → (q → r)
3(p → q) → r
4p ∧ (q → r)
4.Lógica proposicional y demostracionesDifícil
¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera ((r → p) → ¬q) → (q ∧ s)? Llama a ese número N.
((r → p) → ¬q) → (q ∧ s)
N =
5.Lógica digital: puertas, mapas K y biestablesMedia
Un multiplexor de 4 a 1 tiene sus entradas de selección S₁ = A y S₀ = B, y sus entradas de datos conectadas a I₀ = C′, I₁ = C, I₂ = C, I₃ = C′. ¿Para cuántas de las 8 combinaciones de A, B y C la salida es F = 1? Halla N.
I₀ = C′I₁ = CI₂ = CI₃ = C′
N =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un biestable JK 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₀ = 0JK
1flanco de reloj 1
2flanco de reloj 2
3flanco de reloj 3
4flanco de reloj 4
5flanco de reloj 5
6flanco de reloj 6
7flanco de reloj 7
8flanco de reloj 8
7.Teoría de números y aritmética modularMedia
Halla la función φ de Euler φ(52), el número de enteros de 1 a 52 que son coprimos con 52.
n = 52 = 22·13
φ(52) =
8.Teoría de números y aritmética modularDifícil
Una clave RSA usa p = 17, q = 41 y e = 23. Descifra el texto cifrado c = 114: halla el mensaje m.
p = 17q = 41e = 23c = 114
m =
9.Algoritmos y complejidadMedia
¿Aproximadamente cuántas comparaciones necesita la búsqueda binaria en el peor caso en un array ordenado de 1,000,000 de elementos?
AUnas 20
BUnas 100
CUnas 500,000
DUnas 1,000
10.Algoritmos y complejidadDifícil
¿Cuál es la complejidad temporal de: para i = 1 hasta n: para (j = i; j ≤ n; j = j + i) hacer trabajo O(1)?
AO(n log n)
BO(n²)
CO(n √n)
DO(n)
11.Estructuras de datosMedia
¿Cuál es el valor de la expresión en notación postfija 3 4 + 2 * ?
A10
B24
C11
D14
12.Estructuras de datosDifícil
Un nodo AVL está desequilibrado porque el subárbol derecho de su hijo izquierdo ha quedado demasiado alto (caso izquierda-derecha). ¿Qué corrección se aplica?
AUna rotación a la izquierda en el hijo izquierdo y luego una rotación a la derecha en el nodo
BUna rotación simple a la derecha en el nodo
CUna rotación a la derecha en el hijo izquierdo y luego una rotación a la izquierda en el nodo
DUna rotación simple a la izquierda en el nodo
13.Teoría de grafosMedia
Un árbol tiene 3 vértices de grado 4, 2 vértices de grado 2, y todos sus demás vértices son hojas (grado 1). ¿Cuántas hojas, L, tiene?
3 × deg 42 × deg 2
L =
14.Teoría de grafosDifícil
El algoritmo de Dijkstra se ejecuta desde A. Haz clic en el vértice que se fija (se hace permanente) en la ronda 6; la propia A es la ronda 1.
inicio: Aronda 6
1A
2B
3C
4D
5E
6F
7G
15.Bases de datos y SQLMedia
¿Por qué falla en la mayoría de las bases de datos SELECT price * 2 AS double_price FROM t WHERE double_price > 10?
ANo se permiten operaciones aritméticas en la lista SELECT
BLos alias no pueden contener un guion bajo
CWHERE solo puede comparar columnas de texto
DWHERE se evalúa antes que la lista SELECT, así que el alias aún no existe
16.Bases de datos y SQLDifícil
¿Qué es una lectura fantasma (phantom read)?
ALeer cambios no confirmados
BUna consulta que no devuelve ninguna fila
CLeer datos que nunca se escribieron
DUna consulta repetida devuelve filas nuevas insertadas por otra transacción confirmada
17.Redes de computadoresMedia
NAT (traducción de direcciones de red) se usa principalmente para:
AAumentar la velocidad de un cable de red
BPermitir que muchos dispositivos con direcciones privadas compartan una única dirección IP pública
CCifrar el tráfico entre dos sedes
DTraducir nombres de dominio a direcciones IP para los dispositivos de una red local
18.Redes de computadoresDifícil
Un estudiante ejecuta un servidor de juegos en un PC detrás de un router doméstico con NAT. Sus amigos en internet no pueden conectarse. ¿Cuál es la solución habitual?
ACambiar la máscara de subred del PC a /32
BDar al PC otra dirección MAC para que el router pueda encontrarlo desde el exterior
CConfigurar en el router una redirección de puertos (port forwarding) hacia la dirección privada del PC
DDesactivar el cliente DNS del PC
19.Subredes IPv4Media
La red 172.19.0.0/16 se divide en subredes iguales con prefijo /24. ¿Cuántas subredes N hay?
172.19.0.0/16/24
N =
20.Subredes IPv4Difícil
La red 192.168.200.0/24 se divide con VLSM para estas LAN: A: 59 hosts, B: 26 hosts, C: 7 hosts, D: 6 hosts, E: 11 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 E?
A: 59B: 26C: 7D: 6E: 11
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: N = −51
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.
Sumar los valores posicionales
Los demás bits conservan sus valores positivos normales.
−128 + 64 + 8 + 4 + 1 = −51
Respuesta
N = −51
2.Sistemas de numeración
Respuesta: N = −524288
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.
Valor más negativo
−219 = −524288
Respuesta
N = −524288
3.Lógica proposicional y demostraciones
Respuesta: p → (q → r)
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).
La ley
Exportación: (a ∧ b) → c ≡ a → (b → c). Ambas valen 0 solo cuando a = 1, b = 1 y c = 0.
(p ∧ q) → r ≡ p → (q → r)
Comprueba con la tabla de verdad
p = 1, q = 1, r = 1: 1 | 1 1 1 1
p = 1, q = 1, r = 0: 0 | 0 0 0 0
p = 1, q = 0, r = 1: 1 | 1 1 1 1
p = 1, q = 0, r = 0: 1 | 0 1 1 1
p = 0, q = 1, r = 1: 1 | 1 1 1 0
p = 0, q = 1, r = 0: 1 | 0 1 0 0
p = 0, q = 0, r = 1: 1 | 1 1 1 0
p = 0, q = 0, r = 0: 1 | 1 1 0 0
Respuesta
p → (q → r)
Las columnas después de la barra son las opciones, en el orden mostrado.
4.Lógica proposicional y demostraciones
Respuesta: N = 7
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.
Multiplexor: un multiplexor de 2ⁿ a 1 pasa una de sus entradas de datos a la salida; las líneas de selección, leídas como un número binario, eligen cuál. En un MUX de 4 a 1 con selecciones S₁S₀ = AB, F = A′B′·I₀ + A′B·I₁ + AB′·I₂ + AB·I₃. Conectar las entradas de datos a 0, 1, C o C′ hace que el MUX produzca cualquier función de A, B y C, lo que es una forma habitual de construir lógica con un solo chip.
Expresión de la salida
F = A′B′C′ + A′BC + AB′C + ABC′
Filas con F = 1
ABC = 000, 011, 101, 110
N = 4
Respuesta
N = 4
6.Lógica digital: puertas, mapas K y biestables
Respuesta: flanco de reloj 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.
Q tras cada flanco
Un biestable JK: 00 mantiene, 01 pone a 0 (Q = 0), 10 pone a 1 (Q = 1), 11 conmuta.
1: J = 0, K = 0 → Q = 0
2: J = 1, K = 0 → Q = 1
3: J = 1, K = 1 → Q = 0
4: J = 0, K = 0 → Q = 0
5: J = 0, K = 0 → Q = 0
6: J = 1, K = 0 → Q = 1
7: J = 1, K = 0 → Q = 1
8: J = 0, K = 0 → Q = 1
Primer cambio de 1 a 0
flanco de reloj 3
Respuesta
flanco de reloj 3
7.Teoría de números y aritmética modular
Respuesta: φ(52) = 24
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).
Factores primos
52 = 22·13
Función φ
φ(52) = φ(4)·φ(13) = 2·12 = 24
Respuesta
φ(52) = 24
8.Teoría de números y aritmética modular
Respuesta: m = 296
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.
Exponente privado
n = 697, φ(n) = 640
d = 23−1 mod 640 = 167
Descifra por cuadrado repetido
167 = 128 + 32 + 4 + 2 + 1
1141 ≡ 114 (mod 697)
1142 ≡ 450 (mod 697)
1144 ≡ 370 (mod 697)
1148 ≡ 288 (mod 697)
11416 ≡ 1 (mod 697)
11432 ≡ 1 (mod 697)
11464 ≡ 1 (mod 697)
114128 ≡ 1 (mod 697)
114167 ≡ 114·450·370·1·1 ≡ 296 (mod 697)
Mensaje
m = 296
comprobación: 29623 mod 697 = 114
Respuesta
m = 296
9.Algoritmos y complejidad
Respuesta: A · Unas 20
Por qué esta es la respuesta
220 ≈ 1,048,576, así que tras unas 20 divisiones por la mitad solo queda un elemento.
Respuesta
A · Unas 20
10.Algoritmos y complejidad
Respuesta: A · O(n log n)
Por qué esta es la respuesta
El total es n / 1 + n / 2 + ... + n / n = n × Hn, y el número armónico Hn es Θ(log n).
Respuesta
A · O(n log n)
11.Estructuras de datos
Respuesta: D · 14
Por qué esta es la respuesta
Se apilan 3 y 4, + da 7; se apila 2, * da 7 × 2 = 14.
Respuesta
D · 14
12.Estructuras de datos
Respuesta: A · Una rotación a la izquierda en el hijo izquierdo y luego una rotación a la derecha en el nodo
Por qué esta es la respuesta
La primera rotación convierte el caso izquierda-derecha en un caso izquierda-izquierda, que luego corrige una rotación a la derecha en el nodo desequilibrado.
Respuesta
A · Una rotación a la izquierda en el hijo izquierdo y luego una rotación a la derecha en el nodo
13.Teoría de grafos
Respuesta: L = 8
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.
Lema del apretón de manos para un árbol
L + 16 = 2(L + 5) − 2
L = 8
Respuesta
L = 8
Atajo: L = 2 + Σ (d − 2) sobre los vértices de grado d ≥ 3.
14.Teoría de grafos
Respuesta: E
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
1. A (0): B: 9, C: 10
2. B (9): D: 13, G: 15
3. C (10)
4. D (13): E: 16, F: 19
5. G (15)
6. E (16)
7. F (19)
ronda 6
E
Respuesta
E
15.Bases de datos y SQL
Respuesta: D · WHERE se evalúa antes que la lista SELECT, así que el alias aún no existe
Por qué esta es la respuesta
Lógicamente, FROM y WHERE se ejecutan antes que SELECT, así que hay que repetir la expresión en WHERE o usar una subconsulta; ORDER BY sí puede usar el alias porque se ejecuta después de SELECT.
Respuesta
D · WHERE se evalúa antes que la lista SELECT, así que el alias aún no existe
16.Bases de datos y SQL
Respuesta: D · Una consulta repetida devuelve filas nuevas insertadas por otra transacción confirmada
Por qué esta es la respuesta
Los fantasmas aparecen cuando otra transacción inserta filas que cumplen una condición de rango; el aislamiento Serializable los impide.
Respuesta
D · Una consulta repetida devuelve filas nuevas insertadas por otra transacción confirmada
17.Redes de computadores
Respuesta: B · Permitir que muchos dispositivos con direcciones privadas compartan una única dirección IP pública
Por qué esta es la respuesta
NAT reescribe direcciones (y puertos) para que las redes privadas accedan a internet a través de un número menor de direcciones públicas.
Respuesta
B · Permitir que muchos dispositivos con direcciones privadas compartan una única dirección IP pública
18.Redes de computadores
Respuesta: C · Configurar en el router una redirección de puertos (port forwarding) hacia la dirección privada del PC
Por qué esta es la respuesta
El NAT solo crea asociaciones para las conexiones iniciadas desde dentro. Una regla de redirección de puertos asocia un puerto público con el host interno para que las conexiones entrantes puedan llegar a él.
Respuesta
C · Configurar en el router una redirección de puertos (port forwarding) hacia la dirección privada del PC
19.Subredes IPv4
Respuesta: N = 256
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).
Bits prestados
24 − 16 = 8
Número de subredes
N = 28 = 256
Respuesta
N = 256
Cada subred /24 tiene 28 − 2 = 254 hosts utilizables.
20.Subredes IPv4
Respuesta: x = 96
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.