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 0011 1100 guarda un entero con signo en complemento a dos. ¿Cuál es su valor N en decimal?
0011 11008 bit
N =
2.Sistemas de numeraciónDifícil
Pon los bits al resultado de 8 bits de 0110 1111 << 2. ¿Cuál es el valor R del resultado en decimal?
0110 1111<< 2
R =
3.Lógica proposicional y demostracionesMedia
Quieres demostrar (p ∧ q) → ¬r por contrarrecíproca. ¿Qué implicación demuestras en su lugar? Haz clic en ella.
(p ∧ q) → ¬r
1¬r → (p ∧ q)
2¬(p ∧ q) → ¬¬r
3¬¬r → ¬(p ∧ q)
4(p ∧ q) ∧ ¬¬r
4.Lógica proposicional y demostracionesDifícil
¿Qué enunciado es equivalente a ¬∃x (A(x) ∧ B(x)), con la negación desplazada hasta el interior? Haz clic en él.
¬∃x (A(x) ∧ B(x))
1∃x (A(x) → ¬B(x))
2∀x (A(x) ∧ ¬B(x))
3∀x (¬A(x) ∧ ¬B(x))
4∀x (A(x) → ¬B(x))
5.Lógica digital: puertas, mapas K y biestablesMedia
Simplifica F = A′C + ABC′ + AC + ABC a su forma mínima de suma de productos. ¿Cuántos literales, L, contiene la expresión simplificada?
F = A′C + ABC′ + AC + ABC
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. Haz clic en el primer flanco de reloj en el que Q pasa de 1 a 0.
Q₀ = 0T
1flanco de reloj 1
2flanco de reloj 2
3flanco de reloj 3
4flanco de reloj 4
5flanco de reloj 5
6flanco de reloj 6
7.Teoría de números y aritmética modularMedia
Halla el inverso de 15 módulo 23: el número x con 0 < x < 23 y 15·x ≡ 1 (mod 23).
a = 15n = 23
15−1 mod 23 =
8.Teoría de números y aritmética modularDifícil
Cifra el mensaje m = 1419 con la clave pública RSA (n, e) = (1457, 7). Halla el texto cifrado c.
n = 1457e = 7m = 1419
c =
9.Algoritmos y complejidadMedia
Un quicksort usa siempre el primer elemento como pivote. ¿Con qué entrada muestra su comportamiento de peor caso?
AUn array con todos sus elementos distintos
BUn array que ya está ordenado
CUn array de longitud 2
DUn array en orden aleatorio
10.Algoritmos y complejidadDifícil
¿Cuál es la complejidad temporal de construir un montículo binario a partir de n elementos sin ordenar con el método ascendente (bottom-up)?
AO(log n)
BO(n log n)
CO(n²)
DO(n)
11.Estructuras de datosMedia
Tienes una referencia a un nodo situado en medio de una lista. ¿En qué lista puedes eliminarlo en O(1)?
AUn arreglo ordenado
BUna lista simplemente enlazada
CUna lista doblemente enlazada
DUn arreglo dinámico
12.Estructuras de datosDifícil
¿Por qué podría un servidor elegir su función hash al azar de entre una familia universal?
APara que la tabla hash quede ordenada
BPara garantizar que dos claves nunca puedan colisionar, sean cuales sean las claves que envíe un atacante
CPara eliminar la necesidad de redimensionar la tabla
DPara que sea muy improbable que un atacante pueda elegir muchas claves que colisionen todas
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| = 6|E| = 7
1Circuito euleriano
2Camino euleriano, sin circuito
3ninguna de las dos
14.Teoría de grafosDifícil
¿Cuántos recorridos de longitud 3 van de D a A? 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é significa la dependencia funcional A → B?
AA es una clave foránea que hace referencia a B
BA y B son ambas claves primarias
CCada valor de B está asociado a exactamente un valor de A
DCada valor de A está asociado a exactamente un valor de B
16.Bases de datos y SQLDifícil
La forma normal de Boyce-Codd (FNBC) exige que, para toda dependencia funcional no trivial X → Y:
AY sea una clave primaria
BX contenga NULL
CY sea atómico
DX sea una superclave
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
¿Por qué el extremo que cierra primero una conexión TCP permanece en el estado TIME_WAIT durante el doble del tiempo de vida máximo de un segmento?
APara que los routers del camino actualicen sus tablas de encaminamiento para la siguiente conexión
BPara esperar a que caduque la caché DNS
CPara conservar las claves de cifrado y reutilizarlas después
DPara que los segmentos retrasados desaparezcan y se pueda reenviar el ACK final si se perdió
19.Subredes IPv4Media
Una subred usa la máscara 255.255.240.0. ¿Cuántas direcciones de host utilizables H tiene?
255.255.240.0
H =
20.Subredes IPv4Difícil
Un host tiene la dirección 10.20.130.87/28. ¿Cuál es el cuarto octeto x de su dirección de red?
10.20.130.87/28
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: N = 60
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.
32 + 16 + 8 + 4 = 60
Respuesta
N = 60
2.Sistemas de numeración
Respuesta: R = 188
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 2 mueve cada bit 2 posiciones a la izquierda; los bits que salen por el extremo izquierdo se pierden y entran ceros por la derecha.
0110 1111 << 2
= 1011 1100
Valor del resultado
1011 1100₂ = 188
Respuesta
R = 188
3.Lógica proposicional y demostraciones
Respuesta: ¬¬r → ¬(p ∧ q)
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 = p ∧ q, b = ¬r
Contrarrecíproca
¬b → ¬a = ¬¬r → ¬(p ∧ q)
Respuesta
¬¬r → ¬(p ∧ q)
La contrarrecíproca es equivalente al enunciado original, así que demostrarla demuestra el enunciado.
4.Lógica proposicional y demostraciones
Respuesta: ∀x (A(x) → ¬B(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) ∧ B(x)) ≡ ∀x (A(x) → ¬B(x))
Respuesta
∀x (A(x) → ¬B(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: L = 3
Á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
A′C → m(1, 3)
ABC′ → m(6)
AC → m(5, 7)
ABC → m(7)
Agrupa y lee
F = C + AB
Cuenta los literales
L = 3
Respuesta
L = 3
6.Lógica digital: puertas, mapas K y biestables
Respuesta: flanco de reloj 5
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 = 0 → Q = 0
3: T = 1 → Q = 1
4: T = 0 → Q = 1
5: T = 1 → Q = 0
6: T = 1 → Q = 1
Primer cambio de 1 a 0
flanco de reloj 5
Respuesta
flanco de reloj 5
7.Teoría de números y aritmética modular
Respuesta: 15−1 mod 23 = 20
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·15 (mod 23).
r = 23, t = 0
r = 15, q = 1, t = 1
r = 8, q = 1, t = −1
r = 7, q = 1, t = 2
r = 1, q = 7, t = −3
Inversa
1 ≡ −3·15 (mod 23)
x = 20
comprobación: 15·20 = 300 = 13·23 + 1
Respuesta
15−1 mod 23 = 20
8.Teoría de números y aritmética modular
Respuesta: c = 437
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
7 = 4 + 2 + 1
14191 ≡ 1419 (mod 1457)
14192 ≡ 1444 (mod 1457)
14194 ≡ 169 (mod 1457)
14197 ≡ 1419·1444·169 ≡ 437 (mod 1457)
Texto cifrado
c = 437
Respuesta
c = 437
9.Algoritmos y complejidad
Respuesta: B · Un array que ya está ordenado
Por qué esta es la respuesta
Con una entrada ordenada, el pivote es siempre el mínimo, así que un lado queda vacío y el otro tiene n − 1 elementos, lo que da O(n²).
Respuesta
B · Un array que ya está ordenado
10.Algoritmos y complejidad
Respuesta: D · O(n)
Por qué esta es la respuesta
Sumar los costes de hundimiento (sift-down) en todos los niveles da una serie convergente, así que heapify se ejecuta en tiempo lineal.
Respuesta
D · O(n)
11.Estructuras de datos
Respuesta: C · Una lista doblemente enlazada
Por qué esta es la respuesta
Un nodo doblemente enlazado conoce a su predecesor, así que se pueden reenlazar directamente el anterior y el siguiente; en una lista simplemente enlazada hay que buscar el predecesor.
Respuesta
C · Una lista doblemente enlazada
12.Estructuras de datos
Respuesta: D · Para que sea muy improbable que un atacante pueda elegir muchas claves que colisionen todas
Por qué esta es la respuesta
Con hashing universal, el número esperado de colisiones es pequeño para cualquier conjunto de claves, ya que el atacante no sabe qué función se eligió.
Respuesta
D · Para que sea muy improbable que un atacante pueda elegir muchas claves que colisionen todas
13.Teoría de grafos
Respuesta: ninguna de las dos
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.
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 0 1 0 0
B: 0 0 1 1 1
C: 1 1 0 0 1
D: 0 1 0 0 1
E: 0 1 1 1 0
Un paso más
(M³)DA = 0·0 + 1·0 + 2·1 + 2·0 + 1·0 = 2
Respuesta
N = 2
15.Bases de datos y SQL
Respuesta: D · Cada valor de A está asociado a exactamente un valor de B
Por qué esta es la respuesta
A → B significa que dos filas cualesquiera con el mismo valor de A deben tener el mismo valor de B; A determina B.
Respuesta
D · Cada valor de A está asociado a exactamente un valor de B
16.Bases de datos y SQL
Respuesta: D · X sea una superclave
Por qué esta es la respuesta
La FNBC exige que todo determinante sea una clave candidata (superclave); la 3FN permite una excepción cuando Y forma parte de una clave candidata.
Respuesta
D · X sea una superclave
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: D · Para que los segmentos retrasados desaparezcan y se pueda reenviar el ACK final si se perdió
Por qué esta es la respuesta
TIME_WAIT garantiza que un ACK final perdido pueda repetirse y que los segmentos duplicados antiguos caduquen antes de reutilizar el mismo par de dirección y puerto.
Respuesta
D · Para que los segmentos retrasados desaparezcan y se pueda reenviar el ACK final si se perdió
19.Subredes IPv4
Respuesta: H = 4094
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.240.0 = /20
Hosts utilizables
212 − 2 = 4094
Respuesta
H = 4094
20.Subredes IPv4
Respuesta: x = 80
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).