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 1111 0010 guarda un entero con signo en complemento a dos. ¿Cuál es su valor N en decimal?
1111 00108 bit
N =
2.Sistemas de numeraciónDifícil
Pon los bits al resultado de 8 bits de 0111 1001 XOR 1000 1000. ¿Cuál es el valor R del resultado en decimal?
0111 1001XOR1000 1000
R =
3.Lógica proposicional y demostracionesMedia
¿Qué fórmula es lógicamente equivalente a (c ∧ a) → b? Haz clic en ella.
(c ∧ a) → b
1(c → b) ∧ (a → b)
2c ∧ (a → b)
3c → (a → b)
4(c → a) → b
4.Lógica proposicional y demostracionesDifícil
Se dan las premisas q → r; q. ¿Qué conclusión se sigue de ellas? Haz clic en ella.
q → rq
1¬q
2r
3¬r
4q ∧ ¬r
5.Lógica digital: puertas, mapas K y biestablesMedia
Simplifica F = A′BC + ABC′ + A′B′C + A′B a su forma mínima de suma de productos. ¿Cuántos literales, L, contiene la expresión simplificada?
F = A′BC + ABC′ + A′B′C + A′B
L =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un contador Johnson de 4 bits Q₃Q₂Q₁Q₀ empieza en 0000. En cada flanco de reloj los bits se desplazan una posición hacia la derecha (Q₃ → Q₂ → Q₁ → Q₀) y Q₃ recibe la inversa de Q₀. Da el estado Q = Q₃Q₂Q₁Q₀ como número decimal tras 6 flancos de reloj.
Q₃Q₂Q₁Q₀ = 00006
Q =
7.Teoría de números y aritmética modularMedia
Halla el menor entero positivo x con x ≡ 4 (mod 8) y x ≡ 5 (mod 11).
x ≡ 4 (mod 8)x ≡ 5 (mod 11)
x =
8.Teoría de números y aritmética modularDifícil
53 es primo. Usa el pequeño teorema de Fermat para hallar 2474714 mod 53.
p = 53k = 74714
2474714 mod 53 =
9.Algoritmos y complejidadMedia
¿Aproximadamente cuántas comparaciones necesita la búsqueda binaria en el peor caso en un array ordenado de 1,000,000 de elementos?
AUnas 20
BUnas 500,000
CUnas 1,000
DUnas 100
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(n)
BO(n²)
CO(log n)
DO(n log n)
11.Estructuras de datosMedia
¿Cuál es la altura en el peor caso de un árbol binario de búsqueda con n nodos si las claves se insertan en orden?
A1
Bn (se convierte en una lista enlazada)
C√n
Dlog₂ n
12.Estructuras de datosDifícil
¿Por qué las bases de datos suelen usar árboles B+ en lugar de árboles B simples para los índices?
ATodos los registros están en hojas enlazadas, lo que hace eficientes los recorridos por rangos
BLos árboles B+ usan nodos internos binarios, lo que reduce el número de lecturas de disco
CLos árboles B+ no necesitan estar balanceados
DLos árboles B+ almacenan los datos solo en la raíz
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| = 7|E| = 8
1Circuito euleriano
2Camino euleriano, sin circuito
3ninguna de las dos
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
¿Por qué se crean índices sobre columnas?
APara acelerar las búsquedas y las combinaciones sobre esas columnas
BPara ahorrar espacio en disco
CPara que las inserciones y las actualizaciones sobre esas columnas sean más rápidas
DPara impedir valores NULL
16.Bases de datos y SQLDifícil
R(A, B, C, D) tiene las dependencias funcionales A → B y C → D. ¿Cuál es la clave candidata?
A{C}
B{A}
C{A, C}
D{B, D}
17.Redes de computadoresMedia
Un navegador recibe el código de estado HTTP 404. ¿Qué significa?
AEl servidor tuvo un error interno
BEl cliente debe iniciar sesión primero
CNo se encontró el recurso solicitado
DLa petición tuvo éxito
18.Redes de computadoresDifícil
¿Cuál es la unidad máxima de transmisión (MTU) de la carga útil de Ethernet estándar?
A65535 bytes
B1500 bytes
C64 bytes
D9000 bytes en todas las redes
19.Subredes IPv4Media
La red 192.168.120.0/24 se divide en subredes /26, numeradas 1, 2, 3, … desde la dirección más baja (la subred 1 empieza en .0). ¿Cuál es el cuarto octeto x de la dirección de red de la subred 3?
192.168.120.0/24/26subred 3 (la subred 1 empieza en .0)
x =
20.Subredes IPv4Difícil
Un host tiene la dirección 10.20.29.158/25. ¿Cuál es el último número (cuarto octeto) x de la dirección de difusión de su subred?
10.20.29.158/25
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: N = −14
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.
−128 + 64 + 32 + 16 + 2 = −14
Respuesta
N = −14
2.Sistemas de numeración
Respuesta: R = 241
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.
0111 1001
XOR 1000 1000
= 1111 0001
Valor del resultado
1111 0001₂ = 241
Respuesta
R = 241
3.Lógica proposicional y demostraciones
Respuesta: c → (a → b)
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.
(c ∧ a) → b ≡ c → (a → b)
Comprueba con la tabla de verdad
a = 1, b = 1, c = 1: 1 | 1 1 1 1
a = 1, b = 1, c = 0: 1 | 1 0 1 1
a = 1, b = 0, c = 1: 0 | 0 0 0 0
a = 1, b = 0, c = 0: 1 | 0 0 1 0
a = 0, b = 1, c = 1: 1 | 1 1 1 1
a = 0, b = 1, c = 0: 1 | 1 0 1 1
a = 0, b = 0, c = 1: 1 | 0 1 1 1
a = 0, b = 0, c = 0: 1 | 1 0 1 0
Respuesta
c → (a → b)
Las columnas después de la barra son las opciones, en el orden mostrado.
4.Lógica proposicional y demostraciones
Respuesta: r
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.
Filas con todas las premisas verdaderas
q = 1, r = 1: ¬q = 0, r = 1, ¬r = 0, q ∧ ¬r = 0
Conclusión
r (modus ponens)
Respuesta
r
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
A′BC → m(3)
ABC′ → m(6)
A′B′C → m(1)
A′B → m(2, 3)
Agrupa y lee
F = BC′ + A′C
Cuenta los literales
L = 4
Respuesta
L = 4
6.Lógica digital: puertas, mapas K y biestables
Respuesta: Q = 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.
Estado tras cada flanco
0000 → 1000 → 1100 → 1110 → 1111 → 0111 → 0011
Valor decimal
0011₂ = 3
Respuesta
Q = 3
7.Teoría de números y aritmética modular
Respuesta: x = 60
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 = 4 + 8k
Segunda congruencia
4 + 8k ≡ 5 (mod 11) → 8k ≡ 1 (mod 11)
k ≡ 7·1 ≡ 7 (mod 11)
Resultado
x = 4 + 8·7 = 60
x = 60
comprobación: 60 mod 8 = 4, 60 mod 11 = 5
Respuesta
x = 60
8.Teoría de números y aritmética modular
Respuesta: 2474714 mod 53 = 44
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
74714 mod 52 = 42
2474714 ≡ 2442 (mod 53)
Potencia pequeña
2442 mod 53 = 44
Respuesta
2474714 mod 53 = 44
9.Algoritmos y complejidad
Respuesta: A · Unas 20
Por qué esta es la respuesta
220 ≈ 1,048,576, así que tras unas 20 divisiones por la mitad solo queda un elemento.
Respuesta
A · Unas 20
10.Algoritmos y complejidad
Respuesta: A · 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
A · O(n)
11.Estructuras de datos
Respuesta: B · n (se convierte en una lista enlazada)
Por qué esta es la respuesta
Las inserciones ordenadas crean un árbol degenerado de altura n, por lo que las búsquedas son O(n). Los árboles balanceados lo evitan.
Respuesta
B · n (se convierte en una lista enlazada)
12.Estructuras de datos
Respuesta: A · Todos los registros están en hojas enlazadas, lo que hace eficientes los recorridos por rangos
Por qué esta es la respuesta
En un árbol B+ los nodos internos solo guían la búsqueda y las hojas están enlazadas en orden de clave, así que una consulta por rango encuentra la primera clave y luego avanza por las hojas.
Respuesta
A · Todos los registros están en hojas enlazadas, lo que hace eficientes los recorridos por rangos
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.
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: 7, C: 6
C (6): E: 16, G: 15
B (7): D: 16
G (15)
D (16): F: 17
E (16)
F (17)
Camino más corto
A → B → D → F
d(F) = 17
Respuesta
d(F) = 17
15.Bases de datos y SQL
Respuesta: A · Para acelerar las búsquedas y las combinaciones sobre esas columnas
Por qué esta es la respuesta
Los índices (a menudo árboles B) aceleran las búsquedas, pero ocupan espacio y ralentizan las inserciones y actualizaciones que deben mantenerlos.
Respuesta
A · Para acelerar las búsquedas y las combinaciones sobre esas columnas
16.Bases de datos y SQL
Respuesta: C · {A, C}
Por qué esta es la respuesta
A y C no están determinados por nada, así que toda clave debe contener ambos, y {A, C}+ = {A, B, C, D}.
Respuesta
C · {A, C}
17.Redes de computadores
Respuesta: C · No se encontró el recurso solicitado
Por qué esta es la respuesta
404 Not Found significa que el servidor no tiene ningún recurso en esa URL. 200 es OK, 401 es Unauthorized y 500 es Internal Server Error.
Respuesta
C · No se encontró el recurso solicitado
18.Redes de computadores
Respuesta: B · 1500 bytes
Por qué esta es la respuesta
Ethernet estándar transporta hasta 1500 bytes de carga útil; los paquetes IP más grandes deben fragmentarse o usar el descubrimiento de MTU de ruta (Path MTU Discovery).
Respuesta
B · 1500 bytes
19.Subredes IPv4
Respuesta: x = 128
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).
Tamaño de bloque
26 = 64
Subred número 3
red: (3 − 1)·64 = 128
difusión: 128 + 64 − 1 = 191
Respuesta
x = 128
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).