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 1011 0100 guarda un entero con signo en complemento a dos. ¿Cuál es su valor N en decimal?
1011 01008 bit
N =
2.Sistemas de numeraciónDifícil
Pon los bits al resultado de 8 bits de 0010 0110 >> 1. ¿Cuál es el valor R del resultado en decimal?
0010 0110>> 1
R =
3.Lógica proposicional y demostracionesMedia
¿Es (q ↔ r) ∧ (q ↔ ¬r) una tautología, una contradicción o una contingencia? Haz clic en tu respuesta.
(q ↔ r) ∧ (q ↔ ¬r)
1tautología
2contradicción
3contingencia
4.Lógica proposicional y demostracionesDifícil
¿Qué enunciado es equivalente a ¬∀x (P(x) → ∃y R(x, y)), con la negación desplazada hasta el interior? Haz clic en él.
¬∀x (P(x) → ∃y R(x, y))
1∃x (P(x) → ∀y ¬R(x, y))
2∀x (P(x) ∧ ∀y ¬R(x, y))
3∃x (P(x) ∧ ∀y ¬R(x, y))
4∃x (¬P(x) ∧ ∃y R(x, y))
5.Lógica digital: puertas, mapas K y biestablesMedia
Un multiplexor de 4 a 1 tiene sus entradas de selección S₁ = A y S₀ = B, y sus entradas de datos conectadas a I₀ = 1, I₁ = C′, I₂ = 0, I₃ = C′. ¿Para cuántas de las 8 combinaciones de A, B y C la salida es F = 1? Halla N.
I₀ = 1I₁ = C′I₂ = 0I₃ = C′
N =
6.Lógica digital: puertas, mapas K y biestablesDifícil
Un contador módulo 9 se construye con el número mínimo de biestables. ¿Cuántos de los estados posibles, U, no se usan nunca?
N = 9
U =
7.Teoría de números y aritmética modularMedia
Halla el menor entero positivo x con x ≡ 1 (mod 7) y x ≡ 0 (mod 11).
x ≡ 1 (mod 7)x ≡ 0 (mod 11)
x =
8.Teoría de números y aritmética modularDifícil
Una clave RSA usa p = 19, q = 47 y e = 17. Descifra el texto cifrado c = 305: halla el mensaje m.
p = 19q = 47e = 17c = 305
m =
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
BLos algoritmos recursivos no pueden tratar arrays de menos de 10 elementos
CEl ordenamiento por inserción tiene poca sobrecarga y es rápido con entradas pequeñas o casi ordenadas
DEl ordenamiento por inserción usa menos memoria que cualquier otro algoritmo de ordenamiento con entradas grandes
10.Algoritmos y complejidadDifícil
¿Cuáles son los costes de tiempo y espacio de calcular el n-ésimo número de Fibonacci con un bucle que guarda solo los dos últimos valores?
ATiempo O(2ⁿ) y espacio O(1)
BTiempo O(n) y espacio O(1)
CTiempo O(log n) y espacio O(n)
DTiempo O(n) y espacio O(n)
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 preorden?
A4 2 5 1 3
B1 2 4 5 3
C4 5 2 3 1
D1 2 3 4 5
12.Estructuras de datosDifícil
¿Qué estructura de datos permite una caché LRU (least recently used) con get y put en O(1)?
AUn mapa hash combinado con una lista doblemente enlazada
BSolo un árbol binario de búsqueda
CUn único arreglo ordenado
DSolo una pila
13.Teoría de grafosMedia
Un grafo conexo tiene 16 vértices y 16 aristas. ¿Cuántas aristas, k, hay que quitar para obtener un árbol generador?
|V| = 16|E| = 16
k =
14.Teoría de grafosDifícil
¿Cuántos recorridos cerrados de longitud 3 empiezan y terminan en B? 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
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 actualización
BUna lectura fantasma
CUna anomalía de eliminación
DUna anomalía de inserción
16.Bases de datos y SQLDifícil
¿Qué función de ventana asigna 1, 2, 3, ... a las filas de cada partición sin empates?
ADENSE_RANK()
BCOUNT()
CROW_NUMBER()
DRANK()
17.Redes de computadoresMedia
¿Cuántas direcciones de host utilizables tiene una subred IPv4 /26?
A62
B126
C30
D64
18.Redes de computadoresDifícil
Los hosts de la VLAN 10 y la VLAN 20 de un mismo switch no pueden comunicarse. ¿Qué se necesita?
ALa misma dirección MAC en ambos hosts
BUn cable más largo entre los hosts
CUn hub conectado a ambas VLAN
DUn router o un switch de capa 3 que encamine entre las VLAN
19.Subredes IPv4Media
La red 10.142.126.0/24 se divide en subredes iguales con prefijo /27. ¿Cuántas subredes N hay?
10.142.126.0/24/27
N =
20.Subredes IPv4Difícil
Un host tiene la dirección 10.20.194.251/27. ¿Cuál es el último número (cuarto octeto) x de la dirección de difusión de su subred?
10.20.194.251/27
x =
3Disoluciones
1.Sistemas de numeración
Respuesta: N = −76
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 + 32 + 16 + 4 = −76
Respuesta
N = −76
2.Sistemas de numeración
Respuesta: R = 19
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 derecha 1 mueve cada bit 1 posiciones a la derecha; los bits que salen por el extremo derecho se pierden y entran ceros por la izquierda.
0010 0110 >> 1
= 0001 0011
Valor del resultado
0001 0011₂ = 19
Respuesta
R = 19
3.Lógica proposicional y demostraciones
Respuesta: contradicción
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).
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 (P(x) → ∃y R(x, y)) ≡ ∃x (P(x) ∧ ∀y ¬R(x, y))
Respuesta
∃x (P(x) ∧ ∀y ¬R(x, y))
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: N = 4
Multiplexor: un multiplexor de 2ⁿ a 1 pasa una de sus entradas de datos a la salida; las líneas de selección, leídas como un número binario, eligen cuál. En un MUX de 4 a 1 con selecciones S₁S₀ = AB, F = A′B′·I₀ + A′B·I₁ + AB′·I₂ + AB·I₃. Conectar las entradas de datos a 0, 1, C o C′ hace que el MUX produzca cualquier función de A, B y C, lo que es una forma habitual de construir lógica con un solo chip.
Expresión de la salida
F = A′B′ + A′BC′ + ABC′
Filas con F = 1
ABC = 000, 001, 010, 110
N = 4
Respuesta
N = 4
6.Lógica digital: puertas, mapas K y biestables
Respuesta: U = 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.
Número de biestables
2ⁿ ≥ 9 → n = 4 (2⁴ = 16)
Estados sin usar
U = 16 − 9 = 7
Respuesta
U = 7
7.Teoría de números y aritmética modular
Respuesta: x = 22
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 = 1 + 7k
Segunda congruencia
1 + 7k ≡ 0 (mod 11) → 7k ≡ 10 (mod 11)
k ≡ 8·10 ≡ 3 (mod 11)
Resultado
x = 1 + 7·3 = 22
x = 22
comprobación: 22 mod 7 = 1, 22 mod 11 = 0
Respuesta
x = 22
8.Teoría de números y aritmética modular
Respuesta: m = 172
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 = 893, φ(n) = 828
d = 17−1 mod 828 = 341
Descifra por cuadrado repetido
341 = 256 + 64 + 16 + 4 + 1
3051 ≡ 305 (mod 893)
3052 ≡ 153 (mod 893)
3054 ≡ 191 (mod 893)
3058 ≡ 761 (mod 893)
30516 ≡ 457 (mod 893)
30532 ≡ 780 (mod 893)
30564 ≡ 267 (mod 893)
305128 ≡ 742 (mod 893)
305256 ≡ 476 (mod 893)
305341 ≡ 305·191·457·267·476 ≡ 172 (mod 893)
Mensaje
m = 172
comprobación: 17217 mod 893 = 305
Respuesta
m = 172
9.Algoritmos y complejidad
Respuesta: C · 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
C · El ordenamiento por inserción tiene poca sobrecarga y es rápido con entradas pequeñas o casi ordenadas
10.Algoritmos y complejidad
Respuesta: B · Tiempo O(n) y espacio O(1)
Por qué esta es la respuesta
Cada paso necesita solo los dos valores anteriores, así que la tabla del método ascendente puede sustituirse por dos variables.
Respuesta
B · Tiempo O(n) y espacio O(1)
11.Estructuras de datos
Respuesta: B · 1 2 4 5 3
Por qué esta es la respuesta
El preorden visita 1, luego su subárbol izquierdo (2, 4, 5) y después 3; las demás opciones son el recorrido en orden, el postorden y el recorrido por niveles.
Respuesta
B · 1 2 4 5 3
12.Estructuras de datos
Respuesta: A · Un mapa hash combinado con una lista doblemente enlazada
Por qué esta es la respuesta
El mapa hash encuentra los nodos en O(1) y la lista doblemente enlazada mueve los elementos accedidos al frente y expulsa por el final en O(1).
Respuesta
A · Un mapa hash combinado con una lista doblemente enlazada
13.Teoría de grafos
Respuesta: k = 1
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
16 − 1 = 15
Aristas que quitar
k = 16 − 15 = 1
Respuesta
k = 1
14.Teoría de grafos
Respuesta: N = 6
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 1 1 0 0 0
B: 1 0 1 1 1 0
C: 1 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 1 1 1 0 1
F: 0 0 0 1 1 0
Un paso más
(M³)BB = 1·1 + 4·0 + 2·1 + 1·1 + 2·1 + 2·0 = 6
Respuesta
N = 6
15.Bases de datos y SQL
Respuesta: A · 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
A · Una anomalía de actualización
16.Bases de datos y SQL
Respuesta: C · ROW_NUMBER()
Por qué esta es la respuesta
ROW_NUMBER asigna números secuenciales únicos; RANK deja huecos tras los empates; DENSE_RANK no.
Respuesta
C · ROW_NUMBER()
17.Redes de computadores
Respuesta: A · 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
A · 62
18.Redes de computadores
Respuesta: D · Un router o un switch de capa 3 que encamine entre las VLAN
Por qué esta es la respuesta
Las VLAN están aisladas en la capa 2, así que el tráfico entre ellas debe encaminarse, por ejemplo con un router en un enlace troncal («router on a stick») o con un switch de capa 3.
Respuesta
D · Un router o un switch de capa 3 que encamine entre las VLAN
19.Subredes IPv4
Respuesta: N = 8
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).
Bits prestados
27 − 24 = 3
Número de subredes
N = 23 = 8
Respuesta
N = 8
Cada subred /27 tiene 25 − 2 = 30 hosts utilizables.
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).