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 −9 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 = −98 bit
U =
2.Sistemas de numeraciónDifícil
Una imagen sin comprimir tiene 256 × 256 píxeles con 32 bits por píxel. ¿Cuánta memoria M ocupa, en KiB (1 KiB = 1024 bytes)?
256 × 256 px32 bit/px1 KiB = 1024 B
M = KiB
3.Lógica proposicional y demostracionesMedia
¿Qué fórmula es lógicamente equivalente a r → q? Haz clic en ella.
r → q
1q → r
2¬r ∨ q
3r ∨ ¬q
4¬r → ¬q
4.Lógica proposicional y demostracionesDifícil
¿Cuántas de las 16 filas de la tabla de verdad hacen verdadera ((s ∨ p) ↔ ¬(¬s ∧ r)) → ((¬r ∨ q) ↔ q)? Llama a ese número N.
((s ∨ p) ↔ ¬(¬s ∧ r)) → ((¬r ∨ q) ↔ q)
N =
5.Lógica digital: puertas, mapas K y biestablesMedia
Simplifica F = ABC′ + B′C + ABC + AC a su forma mínima de suma de productos. ¿Cuántos literales, L, contiene la expresión simplificada?
F = ABC′ + B′C + ABC + AC
L =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un biestable D 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₀ = 0D
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 menor entero positivo x con x ≡ 3 (mod 5) y x ≡ 4 (mod 6).
x ≡ 3 (mod 5)x ≡ 4 (mod 6)
x =
8.Teoría de números y aritmética modularDifícil
97 es primo. Usa el pequeño teorema de Fermat para hallar 654943 mod 97.
p = 97k = 54943
654943 mod 97 =
9.Algoritmos y complejidadMedia
¿Qué calcula el algoritmo de Floyd-Warshall y con qué rapidez?
AUn orden topológico en O(V²)
BLos caminos más cortos desde un vértice origen hasta todos los demás en O(V + E)
CUn árbol de expansión mínima en O(E log V)
DLos caminos más cortos entre todos los pares de vértices en O(V³)
10.Algoritmos y complejidadDifícil
¿En qué variante del problema de la mochila la regla voraz «tomar los objetos por orden de valor por unidad de peso» da siempre una respuesta óptima?
ALa mochila fraccionaria, en la que los objetos pueden dividirse
BEn ninguna de las dos
CEn ambas variantes
DLa mochila 0/1, en la que los objetos deben tomarse siempre enteros
11.Estructuras de datosMedia
Un trie (árbol de prefijos) es especialmente eficiente para:
AAlmacenar matrices
BEncontrar caminos más cortos
CBúsquedas por prefijo, como el autocompletado
DOrdenar números
12.Estructuras de datosDifícil
Las claves 5, 3, 8, 1 se insertan en este orden en un min-heap binario vacío basado en un arreglo. ¿Cuál es el arreglo final?
A[1, 3, 5, 8]
B[1, 5, 8, 3]
C[3, 1, 8, 5]
D[1, 3, 8, 5]
13.Teoría de grafosMedia
Un grafo conexo tiene 11 vértices y 15 aristas. ¿Cuántas aristas, k, hay que quitar para obtener un árbol generador?
|V| = 11|E| = 15
k =
14.Teoría de grafosDifícil
Halla el peso total W de un árbol generador mínimo del grafo ponderado.
|V| = 7|E| = 11
W =
15.Bases de datos y SQLMedia
Una clave foránea se declara con ON DELETE CASCADE. ¿Qué ocurre cuando se elimina una fila padre?
ALa fila padre se copia en una tabla de archivo
BLa clave foránea de las filas hijas se pone automáticamente a NULL
CLa eliminación se rechaza siempre
DLas filas hijas que la referencian se eliminan automáticamente
16.Bases de datos y SQLDifícil
Dos médicos de guardia comprueban cada uno que el otro sigue de guardia y luego ambos se dan de baja a la vez. ¿Qué anomalía puede seguir permitiendo aquí el aislamiento por instantáneas?
ALectura sucia
BEscritura sucia
CSesgo de escritura (write skew)
DLectura no repetible dentro de una transacción
17.Redes de computadoresMedia
¿A qué corresponde una máscara de subred 255.255.255.0 en notación CIDR?
A/24
B/16
C/8
D/32
18.Redes de computadoresDifícil
En el modelo TCP/IP, ¿qué capa añade los números de puerto?
ACapa de enlace
BCapa de aplicación
CCapa de internet
DCapa de transporte
19.Subredes IPv4Media
Una subred usa la máscara 255.255.248.0. ¿Cuántas direcciones de host utilizables H tiene?
255.255.248.0
H =
20.Subredes IPv4Difícil
Un host tiene la dirección 10.20.170.251/30. ¿Cuál es el último número (cuarto octeto) x de la dirección de difusión de su subred?
10.20.170.251/30
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 247
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
9 = 0000 1001
invertido: 1111 0110
+1 → 1111 0111
Leerlo sin signo
1111 0111₂ = 256 − 9 = 247
Respuesta
U = 247
2.Sistemas de numeración
Respuesta: M = 256 KiB
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.
Bits y bytes
256·256·32 = 2097152 bit = 262144 B
Pasar a KiB
262144/1024 = 256 KiB
Respuesta
M = 256 KiB
3.Lógica proposicional y demostraciones
Respuesta: ¬r ∨ 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).
La ley
a → b vale 0 solo cuando a = 1 y b = 0, así que es lo mismo que ¬a ∨ b.
r → q ≡ ¬r ∨ q
Comprueba con la tabla de verdad
q = 1, r = 1: 1 | 1 1 1 1
q = 1, r = 0: 1 | 0 1 0 0
q = 0, r = 1: 0 | 1 0 1 1
q = 0, r = 0: 1 | 1 1 1 1
Respuesta
¬r ∨ q
Las columnas después de la barra son las opciones, en el orden mostrado.
4.Lógica proposicional y demostraciones
Respuesta: N = 13
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.
Á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
ABC′ → m(6)
B′C → m(1, 5)
ABC → m(7)
AC → m(5, 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: flanco de reloj 4
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 D copia D en cada flanco de subida: Q⁺ = D.
1: D = 0 → Q = 0
2: D = 1 → Q = 1
3: D = 1 → Q = 1
4: D = 0 → Q = 0
5: D = 0 → Q = 0
6: D = 0 → Q = 0
Primer cambio de 1 a 0
flanco de reloj 4
Respuesta
flanco de reloj 4
7.Teoría de números y aritmética modular
Respuesta: x = 28
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 + 5k
Segunda congruencia
3 + 5k ≡ 4 (mod 6) → 5k ≡ 1 (mod 6)
k ≡ 5·1 ≡ 5 (mod 6)
Resultado
x = 3 + 5·5 = 28
x = 28
comprobación: 28 mod 5 = 3, 28 mod 6 = 4
Respuesta
x = 28
8.Teoría de números y aritmética modular
Respuesta: 654943 mod 97 = 91
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.
Reduce el exponente
54943 mod 96 = 31
654943 ≡ 631 (mod 97)
Potencia pequeña
631 mod 97 = 91
Respuesta
654943 mod 97 = 91
9.Algoritmos y complejidad
Respuesta: D · Los caminos más cortos entre todos los pares de vértices en O(V³)
Por qué esta es la respuesta
Floyd-Warshall es un algoritmo de programación dinámica que permite por turnos que cada vértice sea punto intermedio, con un tiempo O(V³).
Respuesta
D · Los caminos más cortos entre todos los pares de vértices en O(V³)
10.Algoritmos y complejidad
Respuesta: A · La mochila fraccionaria, en la que los objetos pueden dividirse
Por qué esta es la respuesta
Cuando los objetos pueden dividirse, tomar primero el mejor cociente es óptimo; en la mochila 0/1 un objeto con un cociente alto puede bloquear una combinación mejor, así que hace falta programación dinámica.
Respuesta
A · La mochila fraccionaria, en la que los objetos pueden dividirse
11.Estructuras de datos
Respuesta: C · 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
C · Búsquedas por prefijo, como el autocompletado
12.Estructuras de datos
Respuesta: D · [1, 3, 8, 5]
Por qué esta es la respuesta
Tras 5, 3, 8 el arreglo es [3, 5, 8]; 1 va al índice 3, se intercambia con su padre 5 y luego con 3, lo que da [1, 3, 8, 5].
Respuesta
D · [1, 3, 8, 5]
13.Teoría de grafos
Respuesta: k = 5
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
11 − 1 = 10
Aristas que quitar
k = 15 − 10 = 5
Respuesta
k = 5
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
DF (3): tomar
GC (4): tomar
AB (5): tomar
GD (6): tomar
GE (7): tomar
DE (9): descartar, cierra un ciclo
GB (10): tomar
Peso total
W = 3 + 4 + 5 + 6 + 7 + 10 = 35
Respuesta
W = 35
15.Bases de datos y SQL
Respuesta: D · Las filas hijas que la referencian se eliminan automáticamente
Por qué esta es la respuesta
CASCADE propaga la eliminación a las filas que hacen referencia; otras opciones son RESTRICT/NO ACTION (rechazar) y SET NULL.
Respuesta
D · Las filas hijas que la referencian se eliminan automáticamente
16.Bases de datos y SQL
Respuesta: C · Sesgo de escritura (write skew)
Por qué esta es la respuesta
Con aislamiento por instantáneas, ambas transacciones ven el estado antiguo y modifican filas distintas, así que no se detecta ningún conflicto de escritura; el aislamiento serializable lo evita.
Respuesta
C · Sesgo de escritura (write skew)
17.Redes de computadores
Respuesta: A · /24
Por qué esta es la respuesta
Tres octetos de 255 son 24 bits a 1, así que 255.255.255.0 = /24.
Respuesta
A · /24
18.Redes de computadores
Respuesta: D · Capa de transporte
Por qué esta es la respuesta
Las cabeceras TCP y UDP contienen los puertos de origen y destino; la capa de internet (IP) añade las direcciones.
Respuesta
D · Capa de transporte
19.Subredes IPv4
Respuesta: H = 2046
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.248.0 = /21
Hosts utilizables
211 − 2 = 2046
Respuesta
H = 2046
20.Subredes IPv4
Respuesta: x = 251
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).