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 −67 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 = −678 bit
U =
2.Sistemas de numeraciónDifícil
Pon los bits al resultado de 8 bits de 1010 1111 << 1. ¿Cuál es el valor R del resultado en decimal?
1010 1111<< 1
R =
3.Lógica proposicional y demostracionesMedia
¿Qué fórmula es lógicamente equivalente a (q ∧ r) → p? Haz clic en ella.
(q ∧ r) → p
1(q → r) → p
2q → (r → p)
3q ∧ (r → p)
4(q → p) ∧ (r → p)
4.Lógica proposicional y demostracionesDifícil
¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera (s ∧ (q ∧ p)) → (¬(r → s) ∧ (p → r))? Llama a ese número N.
(s ∧ (q ∧ p)) → (¬(r → s) ∧ (p → r))
N =
5.Lógica digital: puertas, mapas K y biestablesMedia
Usa el mapa de Karnaugh para hallar la forma mínima de producto de sumas (POS) de F(A, B, C, D) = Σm(0, 1, 2, 3, 6, 8, 10, 15). ¿Cuántos términos suma (factores), N, tiene?
F(A, B, C, D) = Σm(0, 1, 2, 3, 6, 8, 10, 15)
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 8 flancos de reloj.
Q₃Q₂Q₁Q₀ = 10008
Q =
7.Teoría de números y aritmética modularMedia
Halla el menor entero positivo x con x ≡ 3 (mod 8) y x ≡ 2 (mod 13).
x ≡ 3 (mod 8)x ≡ 2 (mod 13)
x =
8.Teoría de números y aritmética modularDifícil
Cifra el mensaje m = 843 con la clave pública RSA (n, e) = (1147, 19). Halla el texto cifrado c.
n = 1147e = 19m = 843
c =
9.Algoritmos y complejidadMedia
¿Qué algoritmo encuentra los caminos más cortos desde un origen en un grafo con pesos de aristas no negativos?
AAlgoritmo de Kruskal
BAlgoritmo de Dijkstra
CBellman-Ford es necesario en todos los casos
DBúsqueda en profundidad (DFS)
10.Algoritmos y complejidadDifícil
¿Qué definición de la clase NP es correcta?
AProblemas que ningún algoritmo puede resolver
BProblemas que no pueden resolverse en tiempo polinómico
CProblemas que no son polinómicos
DProblemas de decisión cuyas respuestas afirmativas pueden verificarse en tiempo polinómico dado un certificado
11.Estructuras de datosMedia
Un trie (árbol de prefijos) es especialmente eficiente para:
ABúsquedas por prefijo, como el autocompletado
BOrdenar números
CAlmacenar matrices
DEncontrar caminos más cortos
12.Estructuras de datosDifícil
La complejidad temporal de decrease-key en un montículo binario (conociendo la posición del elemento) es:
AO(n)
BO(n log n)
CO(1)
DO(log n)
13.Teoría de grafosMedia
Un árbol tiene 2 vértices de grado 3, 3 vértices de grado 4, 2 vértices de grado 5, 2 vértices de grado 2, y todos sus demás vértices son hojas (grado 1). ¿Cuántas hojas, L, tiene?
2 × deg 33 × deg 42 × deg 52 × deg 2
L =
14.Teoría de grafosDifícil
¿Cuántos recorridos cerrados de longitud 3 empiezan y terminan en F? Un recorrido puede repetir vértices y aristas. Llama al número N.
M = matriz de adyacenciaL = 3
N =
15.Bases de datos y SQLMedia
¿Qué devuelve EXCEPT (llamado MINUS en Oracle)?
ALas filas de la segunda consulta que no aparecen en la primera
BLas filas de la primera consulta que no aparecen en la segunda
CLas filas que aparecen en ambas consultas
DTodas las filas de ambas consultas sin duplicados
16.Bases de datos y SQLDifícil
¿Qué es una lectura fantasma (phantom read)?
AUna consulta repetida devuelve filas nuevas insertadas por otra transacción confirmada
BUna consulta que no devuelve ninguna fila
CLeer datos que nunca se escribieron
DLeer cambios no confirmados
17.Redes de computadoresMedia
¿Qué tipo de registro DNS asocia un nombre de host con una dirección IPv6?
AAAAA
BA
CMX
DCNAME
18.Redes de computadoresDifícil
En los protocolos de ventana deslizante, ¿en qué se diferencian Go-Back-N y Selective Repeat cuando se pierde una trama?
AGo-Back-N reenvía la trama perdida y todas las posteriores; Selective Repeat solo la trama perdida
BGo-Back-N solo reenvía la trama perdida; Selective Repeat reenvía esa trama y todas las posteriores
CNinguno reenvía nunca las tramas perdidas
DAmbos reenvían toda la ventana desde el principio
19.Subredes IPv4Media
Una subred usa la máscara 255.255.252.0. ¿Cuántas direcciones de host utilizables H tiene?
255.255.252.0
H =
20.Subredes IPv4Difícil
Un host tiene la dirección 10.20.197.224/25. ¿Cuál es el último número (cuarto octeto) x de la dirección de difusión de su subred?
10.20.197.224/25
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 189
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
67 = 0100 0011
invertido: 1011 1100
+1 → 1011 1101
Leerlo sin signo
1011 1101₂ = 256 − 67 = 189
Respuesta
U = 189
2.Sistemas de numeración
Respuesta: R = 94
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
Desplazar a la izquierda 1 mueve cada bit 1 posiciones a la izquierda; los bits que salen por el extremo izquierdo se pierden y entran ceros por la derecha.
1010 1111 << 1
= 0101 1110
Valor del resultado
0101 1110₂ = 94
Respuesta
R = 94
3.Lógica proposicional y demostraciones
Respuesta: q → (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).
La ley
Exportación: (a ∧ b) → c ≡ a → (b → c). Ambas valen 0 solo cuando a = 1, b = 1 y c = 0.
(q ∧ r) → p ≡ q → (r → p)
Comprueba con la tabla de verdad
p = 1, q = 1, r = 1: 1 | 1 1 1 1
p = 1, q = 1, r = 0: 1 | 1 1 1 1
p = 1, q = 0, r = 1: 1 | 1 1 0 1
p = 1, q = 0, r = 0: 1 | 1 1 0 1
p = 0, q = 1, r = 1: 0 | 0 0 0 0
p = 0, q = 1, r = 0: 1 | 1 1 1 0
p = 0, q = 0, r = 1: 1 | 0 1 0 0
p = 0, q = 0, r = 0: 1 | 0 1 0 1
Respuesta
q → (r → p)
Las columnas después de la barra son las opciones, en el orden mostrado.
4.Lógica proposicional y demostraciones
Respuesta: N = 14
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
q ∧ p; s ∧ (q ∧ p); r → s; ¬(r → s); p → r; ¬(r → s) ∧ (p → r); (s ∧ (q ∧ p)) → (¬(r → s) ∧ (p → r))
Divide según p
p = 1: 6
p = 0: 8
N = 6 + 8 = 14
Respuesta
N = 14
5.Lógica digital: puertas, mapas K y biestables
Respuesta: N = 4
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 0
Todo grupo es un rectángulo de 2ᵏ celdas; las celdas del borde son vecinas de las celdas del borde opuesto.
(B′ + C)
(A + B′ + D′)
(A′ + B + D′)
(A′ + B′ + D)
Forma POS mínima
F = (B′ + C)(A + B′ + D′)(A′ + B + D′)(A′ + B′ + D)
N = 4
Respuesta
N = 4
6.Lógica digital: puertas, mapas K y biestables
Respuesta: Q = 8
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).
Primera congruencia
x = 3 + 8k
Segunda congruencia
3 + 8k ≡ 2 (mod 13) → 8k ≡ 12 (mod 13)
k ≡ 5·12 ≡ 8 (mod 13)
Resultado
x = 3 + 8·8 = 67
x = 67
comprobación: 67 mod 8 = 3, 67 mod 13 = 2
Respuesta
x = 67
8.Teoría de números y aritmética modular
Respuesta: c = 378
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.
Cuadrado repetido
19 = 16 + 2 + 1
8431 ≡ 843 (mod 1147)
8432 ≡ 656 (mod 1147)
8434 ≡ 211 (mod 1147)
8438 ≡ 935 (mod 1147)
84316 ≡ 211 (mod 1147)
84319 ≡ 843·656·211 ≡ 378 (mod 1147)
Texto cifrado
c = 378
Respuesta
c = 378
9.Algoritmos y complejidad
Respuesta: B · Algoritmo de Dijkstra
Por qué esta es la respuesta
El algoritmo de Dijkstra funciona con pesos no negativos; Bellman-Ford admite pesos negativos; Kruskal construye árboles de expansión mínima.
Respuesta
B · Algoritmo de Dijkstra
10.Algoritmos y complejidad
Respuesta: D · Problemas de decisión cuyas respuestas afirmativas pueden verificarse en tiempo polinómico dado un certificado
Por qué esta es la respuesta
En un problema NP, una solución propuesta (certificado) puede comprobarse rápidamente, por ejemplo verificar que una asignación dada satisface una fórmula booleana.
Respuesta
D · Problemas de decisión cuyas respuestas afirmativas pueden verificarse en tiempo polinómico dado un certificado
11.Estructuras de datos
Respuesta: A · Búsquedas por prefijo, como el autocompletado
Por qué esta es la respuesta
Los tries almacenan cadenas carácter a carácter a lo largo de caminos, así que las búsquedas y consultas por prefijo tardan un tiempo proporcional a la longitud de la clave.
Respuesta
A · Búsquedas por prefijo, como el autocompletado
12.Estructuras de datos
Respuesta: D · O(log n)
Por qué esta es la respuesta
Tras disminuir la clave, el elemento sube (sift-up) como máximo la altura del montículo. Los montículos de Fibonacci logran decrease-key en O(1) amortizado.
Respuesta
D · O(log n)
13.Teoría de grafos
Respuesta: L = 16
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 + 32 = 2(L + 9) − 2
L = 16
Respuesta
L = 16
Atajo: L = 2 + Σ (d − 2) sobre los vértices de grado d ≥ 3.
14.Teoría de grafos
Respuesta: N = 2
Grados: el grado de un vértice es el número de aristas que inciden en él. Cada arista tiene dos extremos, así que los grados suman el doble del número de aristas: Σ gr(v) = 2|E| (el lema del apretón de manos). Por tanto, el número de vértices de grado impar es par. Kn tiene n(n − 1)/2 aristas, un grafo k-regular de n vértices tiene nk/2, y un árbol de n vértices tiene n − 1 aristas.
Matriz de adyacencia
A: 0 1 1 0 0 0
B: 1 0 1 1 1 0
C: 1 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 1 1 1 0 1
F: 0 0 0 1 1 0
Un paso más
(M³)FF = 0·0 + 2·0 + 1·0 + 1·1 + 1·1 + 2·0 = 2
Respuesta
N = 2
15.Bases de datos y SQL
Respuesta: B · Las filas de la primera consulta que no aparecen en la segunda
Por qué esta es la respuesta
A EXCEPT B da las filas de A que no están en B, así que intercambiar las consultas da un resultado distinto.
Respuesta
B · Las filas de la primera consulta que no aparecen en la segunda
16.Bases de datos y SQL
Respuesta: A · 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
A · Una consulta repetida devuelve filas nuevas insertadas por otra transacción confirmada
17.Redes de computadores
Respuesta: A · AAAA
Por qué esta es la respuesta
Un registro A contiene una dirección IPv4 y un AAAA una dirección IPv6. MX indica los servidores de correo y CNAME da un alias.
Respuesta
A · AAAA
18.Redes de computadores
Respuesta: A · Go-Back-N reenvía la trama perdida y todas las posteriores; Selective Repeat solo la trama perdida
Por qué esta es la respuesta
Un receptor Go-Back-N descarta las tramas fuera de orden, por lo que el emisor debe repetir todo lo posterior a la pérdida. Selective Repeat las almacena y solo pide la que falta.
Respuesta
A · Go-Back-N reenvía la trama perdida y todas las posteriores; Selective Repeat solo la trama perdida
19.Subredes IPv4
Respuesta: H = 1022
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.252.0 = /22
Hosts utilizables
210 − 2 = 1022
Respuesta
H = 1022
20.Subredes IPv4
Respuesta: x = 255
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).