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 0001 0100 guarda un entero con signo en complemento a dos. ¿Cuál es su valor N en decimal?
0001 01008 bit
N =
2.Sistemas de numeraciónDifícil
Una imagen sin comprimir tiene 1024 × 768 píxeles con 8 bits por píxel. ¿Cuánta memoria M ocupa, en KiB (1 KiB = 1024 bytes)?
1024 × 768 px8 bit/px1 KiB = 1024 B
M = KiB
3.Lógica proposicional y demostracionesMedia
Quieres demostrar ¬q → ¬r por reducción al absurdo. ¿Qué enunciado supones al principio? Haz clic en él.
¬q → ¬r
1¬q ∧ ¬¬r
2¬¬q → ¬¬r
3¬¬q ∧ ¬¬r
4¬¬q ∧ ¬r
4.Lógica proposicional y demostracionesDifícil
Se dan las premisas p → r; ¬r. ¿Qué conclusión se sigue de ellas? Haz clic en ella.
p → r¬r
1¬p ∧ r
2r
3p
4¬p
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₂ = 1, I₃ = 0. ¿Para cuántas de las 8 combinaciones de A, B y C la salida es F = 1? Halla N.
I₀ = 1I₁ = 1I₂ = 1I₃ = 0
N =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un contador binario ascendente de 4 bits empieza en 15 (decimal, Q = 1111). ¿Qué cuenta Q (en decimal) muestra tras 32 pulsos de reloj?
Q0 = 1532n = 4
Q =
7.Teoría de números y aritmética modularMedia
Halla el menor entero positivo x con x ≡ 8 (mod 11) y x ≡ 10 (mod 13).
x ≡ 8 (mod 11)x ≡ 10 (mod 13)
x =
8.Teoría de números y aritmética modularDifícil
59 es primo. Usa el pequeño teorema de Fermat para hallar 1399742 mod 59.
p = 59k = 99742
1399742 mod 59 =
9.Algoritmos y complejidadMedia
¿Cuál es la solución de la recurrencia T(n) = T(n − 1) + O(1)?
AO(n²)
BO(log n)
CO(n)
DO(2ⁿ)
10.Algoritmos y complejidadDifícil
¿Cuáles son los costes de tiempo y espacio de calcular el n-ésimo número de Fibonacci con un bucle que guarda solo los dos últimos valores?
ATiempo O(n) y espacio O(1)
BTiempo O(log n) y espacio O(n)
CTiempo O(n) y espacio O(n)
DTiempo O(2ⁿ) y espacio O(1)
11.Estructuras de datosMedia
¿Cómo se inserta un elemento nuevo en un montículo binario?
ASe reconstruye todo el montículo desde cero
BSe inserta en su posición ordenada desplazando una posición a la derecha todos los elementos mayores
CSe coloca en la raíz y se hace bajar (sift-down)
DSe coloca al final del arreglo y se hace subir (sift-up) mientras viole la propiedad de montículo
12.Estructuras de datosDifícil
¿Qué afirmación sobre heapsort es correcta?
ANecesita un árbol binario de búsqueda como almacenamiento adicional, así que usa O(n) de memoria extra
BOrdena en el sitio con un tiempo O(n log n) en el peor caso, pero no es estable
CEs estable y necesita O(n) de memoria adicional
DSe ejecuta en tiempo O(n) con cualquier entrada
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(C) del camino más corto de A a C en el grafo ponderado.
inicio: Afin: C
d(C) =
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?
AUsando solo GROUP BY manager_id
BCombinar la tabla consigo misma con UNION ALL y un filtro WHERE
CCombinando la tabla employees consigo misma mediante dos alias
DCreando en disco una segunda copia de la tabla
16.Bases de datos y SQLDifícil
Dos transacciones leen stock = 10, cada una resta 1 y escribe el resultado, lo que da 9 en lugar de 8. ¿Qué anomalía es esta?
AActualización perdida
BAnomalía de eliminación
CLectura sucia
DLectura fantasma
17.Redes de computadoresMedia
¿A qué corresponde una máscara de subred 255.255.255.0 en notación CIDR?
A/8
B/16
C/24
D/32
18.Redes de computadoresDifícil
¿Por qué un navegador muestra una advertencia cuando un sitio presenta un certificado autofirmado?
AEl certificado siempre está caducado
BNinguna autoridad de certificación de confianza garantiza que la clave pertenezca a ese sitio
CEl sitio debe estar usando HTTP en lugar de HTTPS
DLos certificados autofirmados no usan ningún cifrado, así que el tráfico se envía en texto claro
19.Subredes IPv4Media
Una subred usa la máscara 255.255.255.192. ¿Cuántas direcciones de host utilizables H tiene?
255.255.255.192
H =
20.Subredes IPv4Difícil
La red 192.168.30.0/24 se divide con VLSM para estas LAN: A: 56 hosts, B: 10 hosts, C: 12 hosts, D: 20 hosts, E: 4 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 B?
A: 56B: 10C: 12D: 20E: 4
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: N = 20
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.
16 + 4 = 20
Respuesta
N = 20
2.Sistemas de numeración
Respuesta: M = 768 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
1024·768·8 = 6291456 bit = 786432 B
Pasar a KiB
786432/1024 = 768 KiB
Respuesta
M = 768 KiB
3.Lógica proposicional y demostraciones
Respuesta: ¬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).
Partes de la implicación
a = ¬q, b = ¬r
Negación de la implicación
¬(a → b) ≡ a ∧ ¬b = ¬q ∧ ¬¬r
Respuesta
¬q ∧ ¬¬r
Si la suposición lleva a una contradicción, la implicación tiene que ser verdadera.
4.Lógica proposicional y demostraciones
Respuesta: ¬p
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.
Filas con todas las premisas verdaderas
p = 0, r = 0: ¬p ∧ r = 0, r = 0, p = 0, ¬p = 1
Conclusión
¬p (modus tollens)
Respuesta
¬p
5.Lógica digital: puertas, mapas K y biestables
Respuesta: N = 6
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 + AB′
Filas con F = 1
ABC = 000, 001, 010, 011, 100, 101
N = 6
Respuesta
N = 6
6.Lógica digital: puertas, mapas K y biestables
Respuesta: Q = 15
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 16 pulsos devuelven el contador al mismo estado.
32 = 2·16 + 0
Cuenta tras los pulsos restantes
Q = (15 + 0) mod 16 = 15
Q = 1111₂
Respuesta
Q = 15
7.Teoría de números y aritmética modular
Respuesta: x = 140
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 = 8 + 11k
Segunda congruencia
8 + 11k ≡ 10 (mod 13) → 11k ≡ 2 (mod 13)
k ≡ 6·2 ≡ 12 (mod 13)
Resultado
x = 8 + 11·12 = 140
x = 140
comprobación: 140 mod 11 = 8, 140 mod 13 = 10
Respuesta
x = 140
8.Teoría de números y aritmética modular
Respuesta: 1399742 mod 59 = 4
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
99742 mod 58 = 40
1399742 ≡ 1340 (mod 59)
Potencia pequeña
1340 mod 59 = 4
Respuesta
1399742 mod 59 = 4
9.Algoritmos y complejidad
Respuesta: C · O(n)
Por qué esta es la respuesta
Hay n niveles con trabajo constante cada uno, como en la suma recursiva de un array.
Respuesta
C · O(n)
10.Algoritmos y complejidad
Respuesta: A · Tiempo O(n) y espacio O(1)
Por qué esta es la respuesta
Cada paso necesita solo los dos valores anteriores, así que la tabla del método ascendente puede sustituirse por dos variables.
Respuesta
A · Tiempo O(n) y espacio O(1)
11.Estructuras de datos
Respuesta: D · Se coloca al final del arreglo y se hace subir (sift-up) mientras viole la propiedad de montículo
Por qué esta es la respuesta
Añadirlo al final mantiene el árbol completo; intercambiarlo con su padre restablece el orden en O(log n) pasos.
Respuesta
D · Se coloca al final del arreglo y se hace subir (sift-up) mientras viole la propiedad de montículo
12.Estructuras de datos
Respuesta: B · Ordena en el sitio con un tiempo O(n log n) en el peor caso, pero no es estable
Por qué esta es la respuesta
Heapsort construye un max-heap y extrae el máximo n veces dentro del mismo arreglo; los intercambios a larga distancia pueden reordenar claves iguales.
Respuesta
B · Ordena en el sitio con un tiempo O(n log n) en el peor caso, pero no es estable
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: 12
B (12): C: 20, D: 18, E: 13
E (13): F: 19
D (18)
F (19)
C (20)
Camino más corto
A → B → C
d(C) = 20
Respuesta
d(C) = 20
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 · Actualización perdida
Por qué esta es la respuesta
En una actualización perdida, ambas transacciones parten del mismo valor antiguo y la segunda escritura borra la primera; el bloqueo (SELECT ... FOR UPDATE) o las actualizaciones atómicas lo evitan.
Respuesta
A · Actualización perdida
17.Redes de computadores
Respuesta: C · /24
Por qué esta es la respuesta
Tres octetos de 255 son 24 bits a 1, así que 255.255.255.0 = /24.
Respuesta
C · /24
18.Redes de computadores
Respuesta: B · Ninguna autoridad de certificación de confianza garantiza que la clave pertenezca a ese sitio
Por qué esta es la respuesta
Los navegadores confían en los certificados firmados, directamente o mediante una cadena, por autoridades de certificación de su almacén de confianza. Un certificado autofirmado podría haberlo creado cualquiera, por ejemplo un intermediario malicioso.
Respuesta
B · Ninguna autoridad de certificación de confianza garantiza que la clave pertenezca a ese sitio
19.Subredes IPv4
Respuesta: H = 62
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.192 = /26
Hosts utilizables
26 − 2 = 62
Respuesta
H = 62
20.Subredes IPv4
Respuesta: x = 112
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.