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 −30 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 = −308 bit
U =
2.Sistemas de numeraciónDifícil
¿Cuál es el entero más negativo N que se puede guardar en complemento a dos de 16 bits?
16 bit
N =
3.Lógica proposicional y demostracionesMedia
¿Qué fórmula es lógicamente equivalente a (b ∨ c) → a? Haz clic en ella.
(b ∨ c) → a
1(b → a) ∧ (c → a)
2(b → a) ∨ (c → a)
3b ∨ (c → a)
4(b ∧ c) → a
4.Lógica proposicional y demostracionesDifícil
¿Qué enunciado es equivalente a ¬∀x A(x), con la negación desplazada hasta el interior? Haz clic en él.
¬∀x A(x)
1∀x ¬A(x)
2∃x A(x)
3∃x ¬A(x)
4∀x A(x)
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₀ = 1, I₁ = 1, I₂ = 0, I₃ = C′. ¿Para cuántas de las 8 combinaciones de A, B y C la salida es F = 1? Halla N.
I₀ = 1I₁ = 1I₂ = 0I₃ = C′
N =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un registro de desplazamiento de 4 bits Q₃Q₂Q₁Q₀ contiene 0000. En cada flanco de reloj los bits se desplazan una posición hacia la derecha (Q₃ → Q₂ → Q₁ → Q₀, Q₀ se pierde) y la entrada serie entra en Q₃. La entrada serie vale 1, 1, 1, 1, 1, 0, 1 en los flancos 7. Da el estado final Q = Q₃Q₂Q₁Q₀ como número decimal.
Q₃Q₂Q₁Q₀ = 00001, 1, 1, 1, 1, 0, 1
Q =
7.Teoría de números y aritmética modularMedia
Halla el inverso de 13 módulo 89: el número x con 0 < x < 89 y 13·x ≡ 1 (mod 89).
a = 13n = 89
13−1 mod 89 =
8.Teoría de números y aritmética modularDifícil
29 es primo. Usa el pequeño teorema de Fermat para hallar 275021 mod 29.
p = 29k = 75021
275021 mod 29 =
9.Algoritmos y complejidadMedia
La cota inferior para la ordenación basada en comparaciones en el peor caso es:
AΩ(n log n)
BΩ(n)
CΩ(log n)
DΩ(n²)
10.Algoritmos y complejidadDifícil
Tomar los dos extremos de cada arista de un emparejamiento maximal da un recubrimiento de vértices. ¿Cómo de bueno es este recubrimiento?
AComo mucho el doble del tamaño de un recubrimiento de vértices mínimo
BComo mucho log n veces el mínimo
CDe calidad desconocida respecto al óptimo
DSiempre es un recubrimiento de vértices mínimo
11.Estructuras de datosMedia
En una cola circular almacenada en un arreglo de capacidad n, ¿cómo se calcula la posición siguiente al índice i?
Ai + 1
B(i − 1) mod n
C2i + 1
D(i + 1) mod n
12.Estructuras de datosDifícil
¿Qué estructura de datos permite una caché LRU (least recently used) con get y put en O(1)?
ASolo una pila
BUn único arreglo ordenado
CUn mapa hash combinado con una lista doblemente enlazada
DSolo un árbol binario de búsqueda
13.Teoría de grafosMedia
Un grafo conexo tiene 19 vértices y 25 aristas. ¿Cuántas aristas, k, hay que quitar para obtener un árbol generador?
|V| = 19|E| = 25
k =
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
¿Por qué falla en la mayoría de las bases de datos SELECT price * 2 AS double_price FROM t WHERE double_price > 10?
AWHERE se evalúa antes que la lista SELECT, así que el alias aún no existe
BNo se permiten operaciones aritméticas en la lista SELECT
CLos alias no pueden contener un guion bajo
DWHERE solo puede comparar columnas de texto
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?
AUn índice sobre order_date solo se usa para cláusulas ORDER BY, nunca para WHERE
BLos índices nunca funcionan con fechas
CYEAR no es SQL válido
DAplicar una función a la columna impide una búsqueda simple por rango en el índice
17.Redes de computadoresMedia
Un navegador recibe el código de estado HTTP 404. ¿Qué significa?
AEl cliente debe iniciar sesión primero
BNo se encontró el recurso solicitado
CLa petición tuvo éxito
DEl servidor tuvo un error interno
18.Redes de computadoresDifícil
En una conexión TCP, ¿qué controla la ventana de recepción (rwnd)?
ACuántos datos sin confirmar puede enviar el emisor, según el búfer del receptor
BEl tiempo de espera de retransmisión, calculado a partir del tiempo de ida y vuelta medido de cada segmento
CEl número de puertos abiertos
DEl tamaño de cada cabecera de paquete IP
19.Subredes IPv4Media
Un departamento necesita 736 direcciones de host en una sola subred. ¿Cuál es la mayor longitud de prefijo p (la subred más pequeña) que basta?
736 hosts
p =
20.Subredes IPv4Difícil
Un host tiene la dirección 10.20.82.78/25. ¿Cuál es el último número (cuarto octeto) x de la dirección de difusión de su subred?
10.20.82.78/25
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 226
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
30 = 0001 1110
invertido: 1110 0001
+1 → 1110 0010
Leerlo sin signo
1110 0010₂ = 256 − 30 = 226
Respuesta
U = 226
2.Sistemas de numeración
Respuesta: N = −32768
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
−215 = −32768
Respuesta
N = −32768
3.Lógica proposicional y demostraciones
Respuesta: (b → a) ∧ (c → a)
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
(a ∨ b) → c necesita c siempre que se cumpla a o b: (a → c) ∧ (b → c).
(b ∨ c) → a ≡ (b → a) ∧ (c → a)
Comprueba con la tabla de verdad
a = 1, b = 1, c = 1: 1 | 1 1 1 1
a = 1, b = 1, c = 0: 1 | 1 1 1 1
a = 1, b = 0, c = 1: 1 | 1 1 1 1
a = 1, b = 0, c = 0: 1 | 1 1 1 1
a = 0, b = 1, c = 1: 0 | 0 0 1 0
a = 0, b = 1, c = 0: 0 | 0 1 1 1
a = 0, b = 0, c = 1: 0 | 0 1 0 1
a = 0, b = 0, c = 0: 1 | 1 1 1 1
Respuesta
(b → a) ∧ (c → a)
Las columnas después de la barra son las opciones, en el orden mostrado.
4.Lógica proposicional y demostraciones
Respuesta: ∃x ¬A(x)
Cuantificadores y argumentos: ¬∀x P(x) ≡ ∃x ¬P(x) y ¬∃x P(x) ≡ ∀x ¬P(x). Desplaza la negación hacia dentro, intercambia cada cuantificador que atraviesa y niega la fórmula interior con las leyes proposicionales, como ¬(a → b) ≡ a ∧ ¬b. Un argumento es válido cuando la conclusión vale 1 en todas las filas en las que todas las premisas valen 1. Una sola fila con premisas verdaderas y conclusión falsa es un contraejemplo y demuestra que el argumento no es válido.
Desplaza la negación hacia dentro
¬∀x A(x) ≡ ∃x ¬A(x)
Respuesta
∃x ¬A(x)
Las otras opciones dejan un cuantificador sin cambiar, cambian el orden de los cuantificadores o niegan mal la fórmula interior.
5.Lógica digital: puertas, mapas K y biestables
Respuesta: N = 5
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′ + A′B + ABC′
Filas con F = 1
ABC = 000, 001, 010, 011, 110
N = 5
Respuesta
N = 5
6.Lógica digital: puertas, mapas K y biestables
Respuesta: Q = 11
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·13 (mod 89).
r = 89, t = 0
r = 13, q = 6, t = 1
r = 11, q = 1, t = −6
r = 2, q = 5, t = 7
r = 1, q = 2, t = −41
Inversa
1 ≡ −41·13 (mod 89)
x = 48
comprobación: 13·48 = 624 = 7·89 + 1
Respuesta
13−1 mod 89 = 48
8.Teoría de números y aritmética modular
Respuesta: 275021 mod 29 = 19
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
75021 mod 28 = 9
275021 ≡ 29 (mod 29)
Potencia pequeña
29 mod 29 = 19
Respuesta
275021 mod 29 = 19
9.Algoritmos y complejidad
Respuesta: A · Ω(n log n)
Por qué esta es la respuesta
Cualquier ordenación por comparaciones necesita al menos log₂(n!) ≈ n log n comparaciones en el peor caso. El ordenamiento por conteo (counting sort) la supera porque no compara.
Respuesta
A · Ω(n log n)
10.Algoritmos y complejidad
Respuesta: A · Como mucho el doble del tamaño de un recubrimiento de vértices mínimo
Por qué esta es la respuesta
Las aristas del emparejamiento no comparten vértices, así que el óptimo necesita al menos un vértice por arista, mientras que este método toma dos: una 2-aproximación.
Respuesta
A · Como mucho el doble del tamaño de un recubrimiento de vértices mínimo
11.Estructuras de datos
Respuesta: D · (i + 1) mod n
Por qué esta es la respuesta
La operación módulo hace que el índice n − 1 vuelva a 0, de modo que el arreglo se reutiliza sin desplazar elementos.
Respuesta
D · (i + 1) mod n
12.Estructuras de datos
Respuesta: C · Un mapa hash combinado con una lista doblemente enlazada
Por qué esta es la respuesta
El mapa hash encuentra los nodos en O(1) y la lista doblemente enlazada mueve los elementos accedidos al frente y expulsa por el final en O(1).
Respuesta
C · Un mapa hash combinado con una lista doblemente enlazada
13.Teoría de grafos
Respuesta: k = 7
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.
Aristas de un árbol generador
19 − 1 = 18
Aristas que quitar
k = 25 − 18 = 7
Respuesta
k = 7
14.Teoría de grafos
Respuesta: d(F) = 24
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: 15, C: 7
C (7): B: 12, E: 21, G: 21
B (12)
E (21): D: 30, F: 24
G (21): D: 28
F (24)
D (28)
Camino más corto
A → C → E → F
d(F) = 24
Respuesta
d(F) = 24
15.Bases de datos y SQL
Respuesta: A · 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
A · 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 · 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
D · Aplicar una función a la columna impide una búsqueda simple por rango en el índice
17.Redes de computadores
Respuesta: B · No se encontró el recurso solicitado
Por qué esta es la respuesta
404 Not Found significa que el servidor no tiene ningún recurso en esa URL. 200 es OK, 401 es Unauthorized y 500 es Internal Server Error.
Respuesta
B · No se encontró el recurso solicitado
18.Redes de computadores
Respuesta: A · Cuántos datos sin confirmar puede enviar el emisor, según el búfer del receptor
Por qué esta es la respuesta
El receptor anuncia cuánto espacio de búfer tiene; el emisor limita en consecuencia los datos sin confirmar, evitando sobrecargar al receptor.
Respuesta
A · Cuántos datos sin confirmar puede enviar el emisor, según el búfer del receptor
19.Subredes IPv4
Respuesta: p = 22
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
29 − 2 = 510 < 736
210 − 2 = 1022 ≥ 736 → h = 10
Longitud del prefijo
p = 32 − 10 = 22
Respuesta
p = /22
20.Subredes IPv4
Respuesta: x = 127
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).