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 −26 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 = −268 bit
U =
2.Sistemas de numeraciónDifícil
Un sistema debe dar a cada uno de 3305 elementos su propio código binario de la misma longitud. ¿Cuál es el menor número de bits b necesario?
3305
b = bit
3.Lógica proposicional y demostracionesMedia
¿Qué fórmula es lógicamente equivalente a q → p? Haz clic en ella.
q → p
1¬q ∧ p
2¬q → ¬p
3¬q ∨ p
4p → q
4.Lógica proposicional y demostracionesDifícil
El argumento con premisas r → p; p y conclusión r no es válido. Haz clic en la fila de la tabla de verdad que es un contraejemplo.
r → pp∴ r
1p = 1, r = 1
2p = 1, r = 0
3p = 0, r = 1
4p = 0, r = 0
5.Lógica digital: puertas, mapas K y biestablesMedia
Usa el mapa de Karnaugh para hallar la forma mínima de suma de productos (SOP) de F(A, B, C) = Σm(0, 1, 2, 3, 4). ¿Cuántos términos producto, N, tiene?
F(A, B, C) = Σm(0, 1, 2, 3, 4)
N =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un registro de desplazamiento de 4 bits Q₃Q₂Q₁Q₀ contiene 1010. En cada flanco de reloj los bits se desplazan una posición hacia la derecha (Q₃ → Q₂ → Q₁ → Q₀, Q₀ se pierde) y la entrada serie entra en Q₃. La entrada serie vale 0, 0, 1, 0 en los flancos 4. Da el estado final Q = Q₃Q₂Q₁Q₀ como número decimal.
Q₃Q₂Q₁Q₀ = 10100, 0, 1, 0
Q =
7.Teoría de números y aritmética modularMedia
Halla el inverso de 55 módulo 58: el número x con 0 < x < 58 y 55·x ≡ 1 (mod 58).
a = 55n = 58
55−1 mod 58 =
8.Teoría de números y aritmética modularDifícil
Una clave RSA usa p = 7, q = 31 y e = 17. Descifra el texto cifrado c = 48: halla el mensaje m.
p = 7q = 31e = 17c = 48
m =
9.Algoritmos y complejidadMedia
En un array ordenado buscas dos elementos que sumen un valor objetivo moviendo un puntero desde cada extremo hacia dentro. ¿Cuál es la complejidad temporal?
AO(n)
BO(n²)
CO(n log n)
DO(log n)
10.Algoritmos y complejidadDifícil
El ordenamiento por inserción se ejecuta en O(n) con una entrada ordenada. ¿Contradice esto la cota inferior Ω(n log n) de la ordenación por comparaciones?
ASí, pero solo para arrays de menos de 100 elementos
BNo, porque el ordenamiento por inserción no es una ordenación por comparaciones
CSí, así que la cota inferior es errónea
DNo, la cota inferior se aplica al peor caso entre todas las entradas, no a cada entrada
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 postorden?
A1 2 4 5 3
B4 5 2 3 1
C5 4 3 2 1
D4 2 5 1 3
12.Estructuras de datosDifícil
Un árbol de segmentos (segment tree) se usa normalmente para:
AResponder consultas por rangos (como sumas de rangos) y actualizaciones en O(log n)
BOrdenar cadenas alfabéticamente almacenando cada prefijo en un nodo distinto del árbol
CAlmacenar las aristas de un grafo
DImplementar una pila
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| = 7
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
Una tabla almacena la dirección del cliente en cada fila de pedido. Cambiar la dirección en una fila pero no en las demás es un ejemplo de:
AUna anomalía de inserción
BUna anomalía de eliminación
CUna anomalía de actualización
DUna lectura fantasma
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(o.id) solo cuenta clientes distintos
BCOUNT(*) cuenta como 1 la fila rellenada con NULL de los clientes sin pedidos
CCOUNT(*) no se permite después de una combinación
DCOUNT(*) ignora las filas con valores NULL
17.Redes de computadoresMedia
¿Cuántas direcciones de host utilizables tiene una subred IPv4 /26?
A30
B62
C126
D64
18.Redes de computadoresDifícil
Las consultas DNS normalmente usan UDP. ¿Cuándo usa DNS habitualmente TCP?
ASolo cuando el nombre de dominio tiene más de diez caracteres
BPara cada consulta enviada desde un navegador web
CSolo para las búsquedas inversas de direcciones IP
DPara respuestas demasiado grandes para UDP y para las transferencias de zona
19.Subredes IPv4Media
La red 192.168.242.0/24 se divide en subredes /29, 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 difusión de la subred 7?
192.168.242.0/24/29subred 7 (la subred 1 empieza en .0)
x =
20.Subredes IPv4Difícil
Un host tiene la dirección 10.20.187.150/25. ¿Cuál es el último número (cuarto octeto) x de la dirección de difusión de su subred?
10.20.187.150/25
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: U = 230
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
26 = 0001 1010
invertido: 1110 0101
+1 → 1110 0110
Leerlo sin signo
1110 0110₂ = 256 − 26 = 230
Respuesta
U = 230
2.Sistemas de numeración
Respuesta: b = 12 bit
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.
Potencias de dos
211 = 2048 < 3305
212 = 4096 ≥ 3305
Respuesta
b = 12
3.Lógica proposicional y demostraciones
Respuesta: ¬q ∨ p
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.
q → p ≡ ¬q ∨ p
Comprueba con la tabla de verdad
p = 1, q = 1: 1 | 0 1 1 1
p = 1, q = 0: 1 | 1 0 1 0
p = 0, q = 1: 0 | 0 1 0 1
p = 0, q = 0: 1 | 0 1 1 1
Respuesta
¬q ∨ p
Las columnas después de la barra son las opciones, en el orden mostrado.
4.Lógica proposicional y demostraciones
Respuesta: p = 1, r = 0
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.
Premisas y conclusión fila por fila
p = 1, r = 1: 1 1 | 1
p = 1, r = 0: 1 1 | 0
p = 0, r = 1: 0 0 | 1
p = 0, r = 0: 1 0 | 0
Contraejemplo
p = 1, r = 0
Respuesta
p = 1, r = 0
Un argumento con esta forma parece una regla válida, pero una sola fila basta para demostrar que no lo es.
5.Lógica digital: puertas, mapas K y biestables
Respuesta: N = 2
Mapas de Karnaugh: las celdas están ordenadas en código Gray (00, 01, 11, 10), por lo que las celdas vecinas, incluidas las que están a través de los bordes, difieren en exactamente una variable. Agrupa los 1 en rectángulos de 1, 2, 4, 8 o 16 celdas, lo más grandes y los menos posibles, hasta cubrir todos los 1. Cada grupo es un término producto: las variables que permanecen constantes dentro de él. Un grupo de 2ᵏ celdas pierde k variables. Las indiferencias (X) pueden usarse para agrandar grupos, pero nunca hace falta cubrirlas. Agrupar los 0 en su lugar da la forma POS mínima.
Agrupa los 1
Todo grupo es un rectángulo de 2ᵏ celdas; las celdas del borde son vecinas de las celdas del borde opuesto.
B′C′
A′
Forma SOP mínima
F = B′C′ + A′
N = 2
Respuesta
N = 2
6.Lógica digital: puertas, mapas K y biestables
Respuesta: Q = 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.
Estado tras cada flanco
1010 → 0101 → 0010 → 1001 → 0100
Valor decimal
0100₂ = 4
Respuesta
Q = 4
7.Teoría de números y aritmética modular
Respuesta: 55−1 mod 58 = 19
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·55 (mod 58).
r = 58, t = 0
r = 55, q = 1, t = 1
r = 3, q = 18, t = −1
r = 1, q = 3, t = 19
Inversa
1 ≡ 19·55 (mod 58)
x = 19
comprobación: 55·19 = 1045 = 18·58 + 1
Respuesta
55−1 mod 58 = 19
8.Teoría de números y aritmética modular
Respuesta: m = 13
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.
Exponente privado
n = 217, φ(n) = 180
d = 17−1 mod 180 = 53
Descifra por cuadrado repetido
53 = 32 + 16 + 4 + 1
481 ≡ 48 (mod 217)
482 ≡ 134 (mod 217)
484 ≡ 162 (mod 217)
488 ≡ 204 (mod 217)
4816 ≡ 169 (mod 217)
4832 ≡ 134 (mod 217)
4853 ≡ 48·162·169·134 ≡ 13 (mod 217)
Mensaje
m = 13
comprobación: 1317 mod 217 = 48
Respuesta
m = 13
9.Algoritmos y complejidad
Respuesta: A · O(n)
Por qué esta es la respuesta
Si la suma es demasiado pequeña, el puntero izquierdo avanza a la derecha; si es demasiado grande, el derecho avanza a la izquierda, así que hay como mucho n pasos.
Respuesta
A · O(n)
10.Algoritmos y complejidad
Respuesta: D · No, la cota inferior se aplica al peor caso entre todas las entradas, no a cada entrada
Por qué esta es la respuesta
La cota dice que toda ordenación por comparaciones necesita unas n log n comparaciones con alguna entrada de tamaño n; entradas especiales pueden ser mucho más rápidas.
Respuesta
D · No, la cota inferior se aplica al peor caso entre todas las entradas, no a cada entrada
11.Estructuras de datos
Respuesta: B · 4 5 2 3 1
Por qué esta es la respuesta
El postorden procesa 4 y 5 antes que 2, luego 3 y, por último, la raíz 1.
Respuesta
B · 4 5 2 3 1
12.Estructuras de datos
Respuesta: A · Responder consultas por rangos (como sumas de rangos) y actualizaciones en O(log n)
Por qué esta es la respuesta
Un árbol de segmentos almacena agregados de intervalos y permite consultas por rangos y actualizaciones puntuales en tiempo O(log n).
Respuesta
A · Responder consultas por rangos (como sumas de rangos) y actualizaciones en O(log n)
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: 4, C: 5
B (4): D: 10, G: 19
C (5): E: 11, G: 14
D (10)
E (11): F: 25
G (14)
F (25)
Camino más corto
A → C → E → F
d(F) = 25
Respuesta
d(F) = 25
15.Bases de datos y SQL
Respuesta: C · Una anomalía de actualización
Por qué esta es la respuesta
El almacenamiento redundante implica que un cambio debe hacerse en muchas filas; si se omite alguna, los datos quedan incoherentes, algo que la normalización evita.
Respuesta
C · Una anomalía de actualización
16.Bases de datos y SQL
Respuesta: B · 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
B · COUNT(*) cuenta como 1 la fila rellenada con NULL de los clientes sin pedidos
17.Redes de computadores
Respuesta: B · 62
Por qué esta es la respuesta
Una /26 tiene 6 bits de host: 2⁶ = 64 direcciones; restando las direcciones de red y de difusión quedan 62 hosts utilizables.
Respuesta
B · 62
18.Redes de computadores
Respuesta: D · Para respuestas demasiado grandes para UDP y para las transferencias de zona
Por qué esta es la respuesta
Si una respuesta UDP llega truncada, el resolutor lo reintenta por TCP. Las transferencias de zona entre servidores de nombres también usan TCP porque transportan muchos datos.
Respuesta
D · Para respuestas demasiado grandes para UDP y para las transferencias de zona
19.Subredes IPv4
Respuesta: x = 55
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
23 = 8
Subred número 7
red: (7 − 1)·8 = 48
difusión: 48 + 8 − 1 = 55
Respuesta
x = 55
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).