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 −84 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 = −848 bit
U =
2.Sistemas de numeraciónDifícil
Pon los bits al resultado de 8 bits de 0011 1100 << 1. ¿Cuál es el valor R del resultado en decimal?
0011 1100<< 1
R =
3.Lógica proposicional y demostracionesMedia
¿Qué fórmula es lógicamente equivalente a (a ∨ b) → c? Haz clic en ella.
(a ∨ b) → c
1(a → c) ∧ (b → c)
2(a → c) ∨ (b → c)
3(a ∧ b) → c
4a ∨ (b → c)
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∃x ∀y ¬R(x, y)
4∀x ∃y ¬R(x, y)
5.Lógica digital: puertas, mapas K y biestablesMedia
Simplifica F = B′C + AB′C + AB′ a su forma mínima de suma de productos. ¿Cuántos literales, L, contiene la expresión simplificada?
F = B′C + AB′C + AB′
L =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un biestable T activado por flanco de subida empieza con Q = 0 y recibe las entradas mostradas en 7 flancos de subida del reloj. ¿Cuántas veces, N, cambia Q de estado?
Q₀ = 0T
N =
7.Teoría de números y aritmética modularMedia
Halla el inverso de 23 módulo 30: el número x con 0 < x < 30 y 23·x ≡ 1 (mod 30).
a = 23n = 30
23−1 mod 30 =
8.Teoría de números y aritmética modularDifícil
Cifra el mensaje m = 665 con la clave pública RSA (n, e) = (851, 17). Halla el texto cifrado c.
n = 851e = 17m = 665
c =
9.Algoritmos y complejidadMedia
¿Cuál es la complejidad temporal amortizada de añadir al final de un array dinámico que duplica su capacidad cuando está lleno?
AO(n²)
BO(1)
CO(log n)
DO(n)
10.Algoritmos y complejidadDifícil
¿Por qué la búsqueda media en una tabla hash es O(1) pero el peor caso es O(n)?
ALas claves deben ordenarse primero
BLos arrays tienen acceso O(n)
CLas funciones hash son lentas
DMuchas claves pueden colisionar en el mismo bucket
11.Estructuras de datosMedia
Un árbol binario tiene la raíz 1 con hijo izquierdo 2 e hijo derecho 3; el nodo 2 tiene los hijos 4 (izquierdo) y 5 (derecho). ¿Cuál es el recorrido en preorden?
A1 2 4 5 3
B4 5 2 3 1
C1 2 3 4 5
D4 2 5 1 3
12.Estructuras de datosDifícil
¿Cuáles son los costes en tiempo y en espacio adicional de invertir en el sitio una lista simplemente enlazada?
ATiempo O(n) y espacio adicional O(n)
BTiempo O(n) y espacio adicional O(1)
CTiempo O(n log n) y espacio adicional O(1)
DTiempo O(1) y espacio adicional O(1)
13.Teoría de grafosMedia
Un árbol tiene 2 vértices de grado 5, 3 vértices de grado 2, y todos sus demás vértices son hojas (grado 1). ¿Cuántas hojas, L, tiene?
2 × deg 53 × 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
Los estudiantes pueden cursar muchas asignaturas y las asignaturas tienen muchos estudiantes. ¿Cómo se modela esto en tablas?
ACon una columna de clave foránea course_id en la tabla students que apunte a courses
BFusionando estudiantes y asignaturas en una sola tabla
CCon una tabla intermedia que contiene claves foráneas a estudiantes y a asignaturas
DCon una lista de ids de asignaturas almacenada en una columna
16.Bases de datos y SQLDifícil
Hay un índice compuesto sobre (last_name, first_name). ¿Qué condición puede aprovecharlo con más eficacia?
AWHERE first_name = 'Eva'
BWHERE UPPER(first_name) = 'EVA'
CWHERE last_name = 'Jansen'
DWHERE first_name LIKE '%a'
17.Redes de computadoresMedia
¿Cuál es la dirección de loopback de IPv6?
Aff02::1
B::
C::1
Dfe80::1
18.Redes de computadoresDifícil
Un PC puede llegar a las impresoras de su propia subred pero a nada más allá. Su dirección IP y su máscara son correctas. ¿Cuál es el fallo más probable?
AUna dirección MAC duplicada en internet
BUna puerta de enlace predeterminada ausente o errónea
CLa ventana TCP es demasiado pequeña
DUna configuración de servidor DNS defectuosa
19.Subredes IPv4Media
La red 172.17.0.0/16 se divide en subredes iguales con prefijo /20. ¿Cuántas subredes N hay?
172.17.0.0/16/20
N =
20.Subredes IPv4Difícil
Un host tiene la dirección 10.20.173.211/30. ¿Cuál es el cuarto octeto x de la última dirección de host utilizable de su subred?
10.20.173.211/30
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 172
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
84 = 0101 0100
invertido: 1010 1011
+1 → 1010 1100
Leerlo sin signo
1010 1100₂ = 256 − 84 = 172
Respuesta
U = 172
2.Sistemas de numeración
Respuesta: R = 120
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.
0011 1100 << 1
= 0111 1000
Valor del resultado
0111 1000₂ = 120
Respuesta
R = 120
3.Lógica proposicional y demostraciones
Respuesta: (a → c) ∧ (b → c)
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).
(a ∨ b) → c ≡ (a → c) ∧ (b → c)
Comprueba con la tabla de verdad
a = 1, b = 1, c = 1: 1 | 1 1 1 1
a = 1, b = 1, c = 0: 0 | 0 0 0 1
a = 1, b = 0, c = 1: 1 | 1 1 1 1
a = 1, b = 0, c = 0: 0 | 0 1 1 1
a = 0, b = 1, c = 1: 1 | 1 1 1 1
a = 0, b = 1, c = 0: 0 | 0 1 1 0
a = 0, b = 0, c = 1: 1 | 1 1 1 1
a = 0, b = 0, c = 0: 1 | 1 1 1 1
Respuesta
(a → c) ∧ (b → c)
Las columnas después de la barra son las opciones, en el orden mostrado.
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: L = 4
Álgebra de Boole: las reglas que simplifican expresiones son X + X′ = 1 y X·X′ = 0, X + X = X, la absorción X + X·Y = X, la regla de combinación X·Y + X·Y′ = X, X + X′Y = X + Y y el teorema del consenso XY + X′Z + YZ = XY + X′Z. Las leyes de De Morgan convierten (X·Y)′ en X′ + Y′ y (X + Y)′ en X′·Y′. Un mapa de Karnaugh aplica estas reglas de forma gráfica: cada grupo de dos celdas vecinas es un uso de XY + XY′ = X.
Minitérminos de la expresión
B′C → m(1, 5)
AB′C → m(5)
AB′ → m(4, 5)
Agrupa y lee
F = B′C + AB′
Cuenta los literales
L = 4
Respuesta
L = 4
6.Lógica digital: puertas, mapas K y biestables
Respuesta: N = 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 T conmuta en cada flanco de subida con T = 1 y se mantiene con T = 0.
1: T = 0 → Q = 0
2: T = 1 → Q = 1
3: T = 0 → Q = 1
4: T = 1 → Q = 0
5: T = 0 → Q = 0
6: T = 1 → Q = 1
7: T = 0 → Q = 1
Cuenta los cambios
0 → 0 → 1 → 1 → 0 → 0 → 1 → 1
N = 3
Respuesta
N = 3
7.Teoría de números y aritmética modular
Respuesta: 23−1 mod 30 = 17
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·23 (mod 30).
r = 30, t = 0
r = 23, q = 1, t = 1
r = 7, q = 3, t = −1
r = 2, q = 3, t = 4
r = 1, q = 2, t = −13
Inversa
1 ≡ −13·23 (mod 30)
x = 17
comprobación: 23·17 = 391 = 13·30 + 1
Respuesta
23−1 mod 30 = 17
8.Teoría de números y aritmética modular
Respuesta: c = 258
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
17 = 16 + 1
6651 ≡ 665 (mod 851)
6652 ≡ 556 (mod 851)
6654 ≡ 223 (mod 851)
6658 ≡ 371 (mod 851)
66516 ≡ 630 (mod 851)
66517 ≡ 665·630 ≡ 258 (mod 851)
Texto cifrado
c = 258
Respuesta
c = 258
9.Algoritmos y complejidad
Respuesta: B · O(1)
Por qué esta es la respuesta
Todos los elementos se copian solo en potencias de dos; repartido entre todas las inserciones, el coste medio por inserción es constante.
Respuesta
B · O(1)
10.Algoritmos y complejidad
Respuesta: D · Muchas claves pueden colisionar en el mismo bucket
Por qué esta es la respuesta
Con una buena función hash y un factor de carga adecuado, los buckets se mantienen cortos en promedio; un hashing malicioso o deficiente puede poner todas las claves en un mismo bucket.
Respuesta
D · Muchas claves pueden colisionar en el mismo bucket
11.Estructuras de datos
Respuesta: A · 1 2 4 5 3
Por qué esta es la respuesta
El preorden visita 1, luego su subárbol izquierdo (2, 4, 5) y después 3; las demás opciones son el recorrido en orden, el postorden y el recorrido por niveles.
Respuesta
A · 1 2 4 5 3
12.Estructuras de datos
Respuesta: B · Tiempo O(n) y espacio adicional O(1)
Por qué esta es la respuesta
Con tres punteros (anterior, actual, siguiente) se puede invertir cada enlace en una sola pasada sin reservar nodos nuevos.
Respuesta
B · Tiempo O(n) y espacio adicional O(1)
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: D
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: 7, C: 10
2. B (7): G: 14
3. C (10)
4. G (14): D: 25, E: 22
5. E (22): F: 29
6. D (25)
7. F (29)
ronda 6
D
Respuesta
D
15.Bases de datos y SQL
Respuesta: C · Con una tabla intermedia que contiene claves foráneas a estudiantes y a asignaturas
Por qué esta es la respuesta
Una relación muchos a muchos necesita una tabla asociativa (intermedia), por ejemplo enrolment(student_id, course_id), a menudo con una clave primaria compuesta.
Respuesta
C · Con una tabla intermedia que contiene claves foráneas a estudiantes y a asignaturas
16.Bases de datos y SQL
Respuesta: C · WHERE last_name = 'Jansen'
Por qué esta es la respuesta
Un índice compuesto de árbol B está ordenado por last_name y después por first_name, así que una búsqueda por la columna inicial funciona, pero first_name por sí sola no puede aprovechar el orden.
Respuesta
C · WHERE last_name = 'Jansen'
17.Redes de computadores
Respuesta: C · ::1
Por qué esta es la respuesta
::1 es la dirección de loopback. :: es la dirección no especificada, fe80::/10 es de enlace local y ff02::1 es el grupo multicast de todos los nodos.
Respuesta
C · ::1
18.Redes de computadores
Respuesta: B · Una puerta de enlace predeterminada ausente o errónea
Por qué esta es la respuesta
Los hosts envían los paquetes destinados fuera de la subred a la puerta de enlace predeterminada. Si es errónea o falta, el tráfico local sigue funcionando pero no se alcanza nada externo, ni siquiera por dirección IP.
Respuesta
B · Una puerta de enlace predeterminada ausente o errónea
19.Subredes IPv4
Respuesta: N = 16
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
20 − 16 = 4
Número de subredes
N = 24 = 16
Respuesta
N = 16
Cada subred /20 tiene 212 − 2 = 4094 hosts utilizables.
20.Subredes IPv4
Respuesta: x = 210
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).