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 −45 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 = −458 bit
U =
2.Sistemas de numeraciónDifícil
Pon los bits al resultado de 8 bits de 0110 0000 XOR 0110 0011. ¿Cuál es el valor R del resultado en decimal?
0110 0000XOR0110 0011
R =
3.Lógica proposicional y demostracionesMedia
¿Es r ∨ ¬r una tautología, una contradicción o una contingencia? Haz clic en tu respuesta.
r ∨ ¬r
1tautología
2contradicción
3contingencia
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 = AC + A′B′C + ABC′ + ABC a su forma mínima de suma de productos. ¿Cuántos literales, L, contiene la expresión simplificada?
F = AC + A′B′C + ABC′ + ABC
L =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un contador de décadas (módulo 10) síncrono cuenta 0, 1, …, 9 y luego vuelve a 0. Empieza en 8. ¿Qué cuenta Q (en decimal) muestra tras 19 pulsos de reloj?
Q0 = 819N = 10
Q =
7.Teoría de números y aritmética modularMedia
Resuelve 10x ≡ 16 (mod 17). Da la solución x con 0 < x < 17.
10x ≡ 16 (mod 17)
x =
8.Teoría de números y aritmética modularDifícil
Cifra el mensaje m = 461 con la clave pública RSA (n, e) = (533, 19). Halla el texto cifrado c.
n = 533e = 19m = 461
c =
9.Algoritmos y complejidadMedia
¿Por qué muchas rutinas de ordenación de las bibliotecas cambian al ordenamiento por inserción para subarrays muy pequeños?
AEl ordenamiento por inserción es O(n log n) en el peor caso
BEl ordenamiento por inserción usa menos memoria que cualquier otro algoritmo de ordenamiento con entradas grandes
CLos algoritmos recursivos no pueden tratar arrays de menos de 10 elementos
DEl ordenamiento por inserción tiene poca sobrecarga y es rápido con entradas pequeñas o casi ordenadas
10.Algoritmos y complejidadDifícil
¿Qué afirmación sobre seleccionar el k-ésimo elemento más pequeño de un array no ordenado es correcta?
AQuickselect se ejecuta en O(log n) en el peor caso, porque solo hace recursión en un lado del pivote
BLa selección solo es posible en O(n²)
CLa selección siempre necesita Ω(n log n) porque requiere ordenar
DQuickselect se ejecuta en O(n) esperado, y la mediana de medianas garantiza O(n) en el peor caso
11.Estructuras de datosMedia
Un búfer circular (ring buffer) se usa habitualmente para implementar:
AUn árbol binario de búsqueda
BUna cola de tamaño fijo
CUna función hash
DUn recorrido de grafo
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(1) y espacio adicional O(1)
BTiempo O(n) y espacio adicional O(n)
CTiempo O(n log n) y espacio adicional O(1)
DTiempo O(n) y espacio adicional O(1)
13.Teoría de grafosMedia
Un grafo conexo tiene 20 vértices y 29 aristas. ¿Cuántas aristas, k, hay que quitar para obtener un árbol generador?
|V| = 20|E| = 29
k =
14.Teoría de grafosDifícil
Usa el algoritmo de Dijkstra para hallar la longitud d(F) del camino más corto de A a F en el grafo ponderado.
inicio: Afin: F
d(F) =
15.Bases de datos y SQLMedia
¿Qué significa la dependencia funcional A → B?
AA y B son ambas claves primarias
BA es una clave foránea que hace referencia a B
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
Tras customers LEFT JOIN orders, ¿por qué usar COUNT(o.id) en lugar de COUNT(*) para contar los pedidos de cada cliente?
ACOUNT(*) no se permite después de una combinación
BCOUNT(*) ignora las filas con valores NULL
CCOUNT(*) cuenta como 1 la fila rellenada con NULL de los clientes sin pedidos
DCOUNT(o.id) solo cuenta clientes distintos
17.Redes de computadoresMedia
¿Cuál es la finalidad principal de una VLAN?
ADar a cada dispositivo una dirección IP pública
BDividir una red conmutada física en dominios de difusión separados
CAumentar la velocidad de cada puerto del switch
DCifrar todo el tráfico entre switches para que otros departamentos no puedan leerlo
18.Redes de computadoresDifícil
Tras colisiones repetidas, las estaciones Ethernet clásicas eligen su tiempo de espera en un intervalo que se duplica cada vez. ¿Por qué?
APara sincronizar todas las estaciones con un mismo reloj
BPara reducir la probabilidad de volver a colisionar cuando compiten muchas estaciones
CPara que el cable transporte las señales más lejos
DPara dar prioridad en el cable compartido a la estación con la dirección MAC más alta
19.Subredes IPv4Media
Una subred usa la máscara 255.255.254.0. ¿Cuántas direcciones de host utilizables H tiene?
255.255.254.0
H =
20.Subredes IPv4Difícil
Un router tiene rutas a estas redes: 10.130.147.0/24, 10.130.148.0/24, 10.130.149.0/24, 10.130.150.0/24. ¿Cuál es la longitud de prefijo más larga p de una única ruta resumida que las cubra todas?
10.130.147.0/24 … 10.130.150.0/24
p =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 211
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
45 = 0010 1101
invertido: 1101 0010
+1 → 1101 0011
Leerlo sin signo
1101 0011₂ = 256 − 45 = 211
Respuesta
U = 211
2.Sistemas de numeración
Respuesta: R = 3
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
XOR da 1 donde los dos bits son distintos.
0110 0000
XOR 0110 0011
= 0000 0011
Valor del resultado
0000 0011₂ = 3
Respuesta
R = 3
3.Lógica proposicional y demostraciones
Respuesta: tautología
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).
Tabla de verdad fila por fila
r = 1: ¬r = 0, r ∨ ¬r = 1
r = 0: ¬r = 1, r ∨ ¬r = 1
Clasifica
r ∨ ¬r: 1, 1
1 en todas las filas: una tautología.
Respuesta
tautología
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 = 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
AC → m(5, 7)
A′B′C → m(1)
ABC′ → m(6)
ABC → m(7)
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: Q = 7
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 10 pulsos devuelven el contador al mismo estado.
19 = 1·10 + 9
Cuenta tras los pulsos restantes
Q = (8 + 9) mod 10 = 7
Q = 0111₂
Respuesta
Q = 7
7.Teoría de números y aritmética modular
Respuesta: x = 5
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 10
r = 17, t = 0
r = 10, q = 1, t = 1
r = 7, q = 1, t = −1
r = 3, q = 2, t = 2
r = 1, q = 3, t = −5
10−1 ≡ 12 (mod 17)
Resuelve
x ≡ 12·16 = 192 ≡ 5 (mod 17)
comprobación: 10·5 = 50 ≡ 16 (mod 17)
Respuesta
x = 5
8.Teoría de números y aritmética modular
Respuesta: c = 488
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
4611 ≡ 461 (mod 533)
4612 ≡ 387 (mod 533)
4614 ≡ 529 (mod 533)
4618 ≡ 16 (mod 533)
46116 ≡ 256 (mod 533)
46119 ≡ 461·387·256 ≡ 488 (mod 533)
Texto cifrado
c = 488
Respuesta
c = 488
9.Algoritmos y complejidad
Respuesta: D · El ordenamiento por inserción tiene poca sobrecarga y es rápido con entradas pequeñas o casi ordenadas
Por qué esta es la respuesta
Para n pequeño, el bucle sencillo del ordenamiento por inserción supera la sobrecarga de la recursión de quicksort o merge sort, aunque sea O(n²).
Respuesta
D · El ordenamiento por inserción tiene poca sobrecarga y es rápido con entradas pequeñas o casi ordenadas
10.Algoritmos y complejidad
Respuesta: D · Quickselect se ejecuta en O(n) esperado, y la mediana de medianas garantiza O(n) en el peor caso
Por qué esta es la respuesta
El trabajo esperado de quickselect es n + n/2 + n/4 + ... = O(n) con pivotes aleatorios; elegir como pivote una mediana de medianas hace lineal el peor caso.
Respuesta
D · Quickselect se ejecuta en O(n) esperado, y la mediana de medianas garantiza O(n) en el peor caso
11.Estructuras de datos
Respuesta: B · Una cola de tamaño fijo
Por qué esta es la respuesta
Un búfer circular usa índices de cabeza y cola que dan la vuelta, lo que permite enqueue y dequeue en O(1) con memoria fija.
Respuesta
B · Una cola de tamaño fijo
12.Estructuras de datos
Respuesta: D · 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
D · Tiempo O(n) y espacio adicional O(1)
13.Teoría de grafos
Respuesta: k = 10
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.
Aristas de un árbol generador
20 − 1 = 19
Aristas que quitar
k = 29 − 19 = 10
Respuesta
k = 10
14.Teoría de grafos
Respuesta: d(F) = 19
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: 6
B (6): C: 19, D: 12, G: 13
D (12): E: 16, F: 19
G (13)
E (16): C: 17
C (17)
F (19)
Camino más corto
A → B → D → F
d(F) = 19
Respuesta
d(F) = 19
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: C · COUNT(*) cuenta como 1 la fila rellenada con NULL de los clientes sin pedidos
Por qué esta es la respuesta
La combinación externa izquierda da a esos clientes una fila con las columnas del pedido a NULL; COUNT(o.id) omite el NULL e informa correctamente de 0.
Respuesta
C · COUNT(*) cuenta como 1 la fila rellenada con NULL de los clientes sin pedidos
17.Redes de computadores
Respuesta: B · Dividir una red conmutada física en dominios de difusión separados
Por qué esta es la respuesta
Las VLAN agrupan los puertos de forma lógica, de modo que las difusiones se quedan dentro de cada VLAN. Esto mejora la seguridad y limita el tráfico de difusión.
Respuesta
B · Dividir una red conmutada física en dominios de difusión separados
18.Redes de computadores
Respuesta: B · Para reducir la probabilidad de volver a colisionar cuando compiten muchas estaciones
Por qué esta es la respuesta
Cada nueva colisión sugiere más contienda, así que el intervalo aleatorio crece y es más probable que las estaciones elijan ranuras distintas. Se adapta a la carga sin control central.
Respuesta
B · Para reducir la probabilidad de volver a colisionar cuando compiten muchas estaciones
19.Subredes IPv4
Respuesta: H = 510
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.254.0 = /23
Hosts utilizables
29 − 2 = 510
Respuesta
H = 510
20.Subredes IPv4
Respuesta: p = 21
Resumen de rutas: una ruta resumida a.b.c.0/p cubre todas las redes cuyos primeros p bits coinciden. Escribe en binario el octeto que difiere de la primera y la última red; el número de bits iniciales comunes, más los bits de los octetos anteriores, es el prefijo de resumen más largo.
Compara los bits
147 = 10010011
150 = 10010110
bits iniciales comunes: 5
Longitud del prefijo
p = 16 + 5 = 21
Respuesta
p = /21
Ruta resumida: 10.130.144.0/21 (también cubre 4 red(es) que no están en la lista).