10110111₂. Comprobación: 128+32+16+4+2+1 = 183 ✓0.101₂.110.011₂ ✓0010|1101 = 0x2D · octal: 101|101 = 55₈ ✓1011 0111 ✓ · Hex↔octal: pasa por binario y reagrupa.| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
|---|---|---|---|---|---|---|---|
| 0000 | 0001 | 0010 | 0011 | 0100 | 0101 | 0110 | 0111 |
| 8 | 9 | A | B | C | D | E | F |
| 1000 | 1001 | 1010 | 1011 | 1100 | 1101 | 1110 | 1111 |
00101101 → copio el 1 final, invierto 0010110 → 11010011 ✓00011001, 58=00111010, Ca2(58)=11000110.00011001 + 11000110 = 11011111. Bit de signo 1 → negativo: Ca2(11011111)=00100001=33 → −33 ✓| Concepto | Cuándo importa | Regla |
|---|---|---|
| Carry | Números sin signo | Sale acarreo del último bit → resultado no cabe |
| Overflow | Números con signo (Ca2) | Solo puede darse si los operandos tienen el mismo signo y el resultado sale con signo contrario |
| Signo A | Signo B | Signo resultado | ¿Overflow? |
|---|---|---|---|
| + | + | − | SÍ |
| − | − | + | SÍ |
| + | − | cualquiera | NUNCA |
01100100+01100100 = 11001000 = −56 (¡falso!). Dos positivos → resultado negativo → overflow (200 > 127) ✓101 → m₅ = A·B·C.010 → M₂ = (A + B + C) — vale 0 solo en la fila 010 ✓3 variables — columnas AB en Gray, fila C:
| C\AB | 00 | 01 | 11 | 10 |
| 0 | m0 | m2 | m6 | m4 |
| 1 | m1 | m3 | m7 | m5 |
4 variables — columnas AB, filas CD, ambas en Gray:
| CD\AB | 00 | 01 | 11 | 10 |
| 00 | m0 | m4 | m12 | m8 |
| 01 | m1 | m5 | m13 | m9 |
| 11 | m3 | m7 | m15 | m11 |
| 10 | m2 | m6 | m14 | m10 |
F(A,B,C) = Σm(0,1,2,4,6):
| C\AB | 00 | 01 | 11 | 10 |
| 0 | 10 | 12 | 16 | 14 |
| 1 | 11 | 03 | 07 | 05 |
Fila C=0 completa (grupo de 4) → la única variable que no cambia es C, fija a 0 → C · m1+m0 (columna 00) → A=0,B=0 fijas → AB
SOP mínima: F = C + AB ✓ (verificado)
POS: agrupo los 0 (índices 3,5,7): pareja 3-7 → B y C fijas a 1 → término suma (B+C); pareja 5-7 → A,C a 1 → (A+C).
F = (B+C)(A+C) = ∏M(3,5,7) ✓ (regla: en el término suma, variable a 1 → negada, a 0 → tal cual)
F(A,B,C,D) = Σm(0,2,5,7,8,10,13,15):
| CD\AB | 00 | 01 | 11 | 10 |
| 00 | 10 | 04 | 012 | 18 |
| 01 | 01 | 15 | 113 | 09 |
| 11 | 03 | 17 | 115 | 011 |
| 10 | 12 | 06 | 014 | 110 |
4 esquinas (0,2,8,10) → B=0 y D=0 fijas → BD · centro (5,7,13,15) → B=1, D=1 → BD
F = BD + BD ✓ (verificado; es B XNOR D)
| Puerta | Expresión | Sale 1 cuando… | 00 | 01 | 10 | 11 |
|---|---|---|---|---|---|---|
| AND (D recta) | F = A·B | todas a 1 | 0 | 0 | 0 | 1 |
| OR (punta curva) | F = A+B | alguna a 1 | 0 | 1 | 1 | 1 |
| NOT (triángulo + burbuja) | F = A | entrada a 0 | invierte | |||
| NAND (AND + burbuja) | F = A·B | NO todas a 1 | 1 | 1 | 1 | 0 |
| NOR (OR + burbuja) | F = A+B | todas a 0 | 1 | 0 | 0 | 0 |
| XOR (OR + doble curva) | F = A⊕B | impar de unos / distintas | 0 | 1 | 1 | 0 |
| XNOR | F = A⊕B | iguales | 1 | 0 | 0 | 1 |
| Nombre | Fórmula | Úsalo para… |
|---|---|---|
| Elemento neutro / nulo | A+0=A · A·1=A · A+1=1 · A·0=0 | eliminar constantes |
| Idempotencia | A+A=A · A·A=A | duplicar un término para agrupar dos veces |
| Complemento | A+A=1 · A·A=0 | anular términos imposibles |
| Involución | A = A | quitar dobles negaciones (paso NAND) |
| Distributiva | A(B+C)=AB+AC · A+BC=(A+B)(A+C) | desarrollar POS→SOP (¡la 2.ª solo en Boole!) |
| Absorción | A+AB=A · A(A+B)=A | tachar el término largo que contiene al corto |
| Absorción 2.ª forma | A+AB = A+B | quitar la negada que sobra ✓ |
| Adyacencia (unificación) | AB+AB = A | base de Karnaugh: fusionar términos vecinos |
| De Morgan | A+B=A·B · A·B=A+B | romper negaciones grandes; NAND/NOR |
| Consenso | AB + AC + BC = AB + AC | tachar el término «puente» BC ✓ |
| S | Cout | |
|---|---|---|
| Semisumador (A+B) | A⊕B | A·B |
| Sumador completo (A+B+Cin) | A⊕B⊕Cin | AB + Cin(A⊕B) |
11₂ = 3 ✓. Sumador de n bits = n sumadores completos encadenando el acarreo (ripple carry).(A=B) = A⊕B (XNOR) · (A>B) = A·B · (A<B) = A·B. Para n bits: compara del bit más alto hacia abajo; el primero distinto decide.
0000–3FFF · chip1 4000–7FFF · chip2 8000–BFFF · chip3 C000–FFFF ✓07FF); de 4K en múltiplos de 0x1000; de 16K en múltiplos de 0x4000. La dirección inicial del chip i = i × tamaño.| D | Q⁺ | J | K | Q⁺ | T | Q⁺ | ||
|---|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | Q (mantiene) | 0 | Q | ||
| 1 | 1 | 0 | 1 | 0 (reset) | 1 | Q (conmuta) | ||
| Q⁺ = D | 1 | 0 | 1 (set) | Q⁺=T⊕Q | ||||
| 1 | 1 | Q (conmuta) | ||||||
JK con J=K=1 ≡ T con T=1. Tabla de excitación JK: 0→0: J=0,K=X · 0→1: J=1,K=X · 1→0: J=X,K=1 · 1→1: J=X,K=0.
Repaso Exprés · Sistemas Digitales · UAX · Todos los ejemplos numéricos y mapas verificados con Python (38/38 comprobaciones OK) · Imprime en A4 vertical