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 −115 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 = −1158 bit
U =
2.Sistemas de numeraciónDifícil
¿Cuál es el mayor entero sin signo N que cabe en 10 bits?
10 bit
N =
3.Lógica proposicional y demostracionesMedia
Quieres demostrar r → p por reducción al absurdo. ¿Qué enunciado supones al principio? Haz clic en él.
r → p
1¬r ∧ p
2r ∧ ¬p
3¬r → ¬p
4¬r ∧ ¬p
4.Lógica proposicional y demostracionesDifícil
¿Qué enunciado es equivalente a ¬∀x ∃y R(x, y), con la negación desplazada hasta el interior? Haz clic en él.
¬∀x ∃y R(x, y)
1∃x ∀y ¬R(x, y)
2∀x ∀y ¬R(x, y)
3∃y ∀x ¬R(x, y)
4∀x ∃y ¬R(x, y)
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₀ = 0, I₁ = C′, I₂ = 1, I₃ = C. ¿Para cuántas de las 8 combinaciones de A, B y C la salida es F = 1? Halla N.
I₀ = 0I₁ = C′I₂ = 1I₃ = C
N =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un contador en anillo de 4 bits Q₃Q₂Q₁Q₀ empieza en 1000. En cada flanco de reloj los bits se desplazan una posición hacia la derecha (Q₃ → Q₂ → Q₁ → Q₀) y Q₃ recibe Q₀. Da el estado Q = Q₃Q₂Q₁Q₀ como número decimal tras 6 flancos de reloj.
Q₃Q₂Q₁Q₀ = 10006
Q =
7.Teoría de números y aritmética modularMedia
Resuelve 33x ≡ 5 (mod 95). Da la solución x con 0 < x < 95.
33x ≡ 5 (mod 95)
x =
8.Teoría de números y aritmética modularDifícil
Una clave RSA usa los primos p = 5 y q = 29 y el exponente público e = 3. Halla el exponente privado d (0 < d < φ(n)).
p = 5q = 29e = 3
d =
9.Algoritmos y complejidadMedia
La recurrencia T(n) = 2T(n/2) + O(n) tiene como solución:
AO(n log n)
BO(n²)
CO(log n)
DO(n)
10.Algoritmos y complejidadDifícil
¿Cómo detecta el algoritmo de Bellman-Ford un ciclo de peso negativo alcanzable desde el origen?
ATras V − 1 rondas, comprueba si alguna arista todavía puede relajarse
BEjecuta dos veces el algoritmo de Dijkstra y compara los dos resultados de distancias
CComprueba si alguna arista tiene peso negativo
DCuenta los ciclos con una búsqueda en profundidad
11.Estructuras de datosMedia
¿Cuánto tarda la búsqueda de una palabra de longitud L en un trie con un alfabeto fijo?
AO(log n), donde n es el número de palabras
BO(n), donde n es el número de palabras
CO(L), independientemente de cuántas palabras haya almacenadas
DO(L × n)
12.Estructuras de datosDifícil
Bajo el supuesto de hashing uniforme simple, ¿cuál es el tiempo esperado de una búsqueda en una tabla hash con encadenamiento, n claves y m cubetas?
AO(log n)
BO(m)
CO(n)
DO(1 + α), donde α = n / m
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
Halla el peso total W de un árbol generador mínimo del grafo ponderado.
|V| = 5|E| = 7
W =
15.Bases de datos y SQLMedia
¿Qué significa la «A» de ACID?
AAvailability (disponibilidad)
BAtomicity (atomicidad)
CAccuracy (exactitud)
DAggregation (agregación)
16.Bases de datos y SQLDifícil
¿Qué devuelve SELECT name, dept, AVG(salary) OVER (PARTITION BY dept) FROM emp?
ASolo los empleados que ganan más que la media de su departamento
BUna fila por departamento con su salario medio
CCada fila de empleado junto con el salario medio de su departamento
DUn error, porque name no está en un GROUP BY
17.Redes de computadoresMedia
¿Por qué un switch a veces envía una trama por todos los puertos excepto por el que entró?
ALa trama es demasiado grande para un solo puerto
BLa dirección MAC de destino aún no está en su tabla de direcciones
CLa trama tiene una suma de comprobación IP errónea y debe ser revisada por todos los hosts
DEl switch está actuando como router
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 50 Mbit/s
BUnos 0,5 Mbit/s
CUnos 5 Mbit/s
DUnos 640 Mbit/s
19.Subredes IPv4Media
La red 192.168.10.0/24 debe dividirse en al menos 4 subredes iguales. Si tomas prestados los menos bits posibles, ¿cuántos hosts utilizables H tiene cada subred?
192.168.10.0/244 subnets
H =
20.Subredes IPv4Difícil
La red 192.168.175.0/24 se divide con VLSM para estas LAN: A: 13 hosts, B: 31 hosts, C: 6 hosts, D: 18 hosts, E: 8 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 A?
A: 13B: 31C: 6D: 18E: 8
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 141
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
115 = 0111 0011
invertido: 1000 1100
+1 → 1000 1101
Leerlo sin signo
1000 1101₂ = 256 − 115 = 141
Respuesta
U = 141
2.Sistemas de numeración
Respuesta: N = 1023
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áximo
210 − 1 = 1023
Respuesta
N = 1023
3.Lógica proposicional y demostraciones
Respuesta: r ∧ ¬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 = r, b = p
Negación de la implicación
¬(a → b) ≡ a ∧ ¬b = r ∧ ¬p
Respuesta
r ∧ ¬p
Si la suposición lleva a una contradicción, la implicación tiene que ser verdadera.
4.Lógica proposicional y demostraciones
Respuesta: ∃x ∀y ¬R(x, y)
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 ∃y R(x, y) ≡ ∃x ∀y ¬R(x, y)
Respuesta
∃x ∀y ¬R(x, y)
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 = 4
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′BC′ + AB′ + ABC
Filas con F = 1
ABC = 010, 100, 101, 111
N = 4
Respuesta
N = 4
6.Lógica digital: puertas, mapas K y biestables
Respuesta: Q = 2
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.
Estado tras cada flanco
1000 → 0100 → 0010 → 0001 → 1000 → 0100 → 0010
Valor decimal
0010₂ = 2
Respuesta
Q = 2
7.Teoría de números y aritmética modular
Respuesta: x = 75
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).
Inverso de 33
r = 95, t = 0
r = 33, q = 2, t = 1
r = 29, q = 1, t = −2
r = 4, q = 7, t = 3
r = 1, q = 4, t = −23
33−1 ≡ 72 (mod 95)
Resuelve
x ≡ 72·5 = 360 ≡ 75 (mod 95)
comprobación: 33·75 = 2475 ≡ 5 (mod 95)
Respuesta
x = 75
8.Teoría de números y aritmética modular
Respuesta: d = 75
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 = 5·29 = 145
φ(n) = 4·28 = 112
Algoritmo de Euclides extendido
r = 112, t = 0
r = 3, q = 37, t = 1
r = 1, q = 3, t = −37
Exponente privado
d = 75
comprobación: 3·75 = 225 = 2·112 + 1
Respuesta
d = 75
9.Algoritmos y complejidad
Respuesta: A · O(n log n)
Por qué esta es la respuesta
Por el teorema maestro (a = 2, b = 2, f(n) = n), T(n) = Θ(n log n).
Respuesta
A · O(n log n)
10.Algoritmos y complejidad
Respuesta: A · Tras V − 1 rondas, comprueba si alguna arista todavía puede relajarse
Por qué esta es la respuesta
Todas las distancias mínimas reales se hallan en V − 1 rondas; si una arista todavía puede mejorarse, debe existir un ciclo negativo.
Respuesta
A · Tras V − 1 rondas, comprueba si alguna arista todavía puede relajarse
11.Estructuras de datos
Respuesta: C · O(L), independientemente de cuántas palabras haya almacenadas
Por qué esta es la respuesta
Cada carácter selecciona un hijo, así que una búsqueda requiere L pasos, contenga el trie las palabras que contenga.
Respuesta
C · O(L), independientemente de cuántas palabras haya almacenadas
12.Estructuras de datos
Respuesta: D · O(1 + α), donde α = n / m
Por qué esta es la respuesta
Calcular el hash cuesta O(1) y la longitud esperada de la cadena es α, así que mantener α acotado mediante redimensionamientos da un tiempo esperado O(1).
Respuesta
D · O(1 + α), donde α = n / m
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: W = 35
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
AB (3): tomar
BE (8): tomar
CE (9): tomar
AC (11): descartar, cierra un ciclo
BD (15): tomar
Peso total
W = 3 + 8 + 9 + 15 = 35
Respuesta
W = 35
15.Bases de datos y SQL
Respuesta: B · Atomicity (atomicidad)
Por qué esta es la respuesta
ACID: atomicidad, consistencia, aislamiento y durabilidad. La atomicidad significa que una transacción se aplica por completo o no se aplica en absoluto.
Respuesta
B · Atomicity (atomicidad)
16.Bases de datos y SQL
Respuesta: C · Cada fila de empleado junto con el salario medio de su departamento
Por qué esta es la respuesta
A diferencia de GROUP BY, una función de ventana conserva cada fila de entrada y añade un valor calculado sobre su partición, aquí el departamento.
Respuesta
C · Cada fila de empleado junto con el salario medio de su departamento
17.Redes de computadores
Respuesta: B · La dirección MAC de destino aún no está en su tabla de direcciones
Por qué esta es la respuesta
Ante una dirección unicast desconocida, el switch inunda la trama. Cuando el destino responde, el switch aprende su puerto a partir de la MAC de origen.
Respuesta
B · La dirección MAC de destino aún no está en su tabla de direcciones
18.Redes de computadores
Respuesta: C · 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
C · Unos 5 Mbit/s
19.Subredes IPv4
Respuesta: H = 62
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 a tomar prestados
22 = 4 ≥ 4 → b = 2, /26
Hosts por subred
26 − 2 = 62
Respuesta
H = 62
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.