Las compuertas logicas son la capa mas baja de abstraccion en computacion digital. Cada compuerta implementa una funcion booleana: toma bits de entrada y produce un bit de salida segun una regla matematica inmutable.
La intuicion profunda
Una compuerta es una decision automatizada. AND pregunta "ambos?", OR pregunta "alguno?", NOT invierte. Tu CPU ejecuta miles de millones de estas preguntas por segundo. Pensamiento reducido a electricidad.
Que observar
- El color indica el valor: 0=azul, 1=amarillo
- Los cambios se propagan por el circuito
- La tabla de verdad define completamente cada compuerta
- Circuitos complejos = composicion de simples
AND — Conjuncion
Salida 1 solo si ambas entradas son 1
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Uso: verificar multiples condiciones, mascaras de bits.
OR — Disyuncion
Salida 1 si al menos una entrada es 1
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Uso: combinar senales, set de bits.
XOR — Exclusivo
Salida 1 si las entradas son diferentes
| A | B | Out |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Uso: suma sin acarreo, toggle, criptografia.
NAND: La compuerta universal
NAND = NOT(AND). Su salida es 0 solo cuando ambas entradas son 1.
Teorema de universalidad:
Cualquier funcion booleana se puede expresar solo con NANDs:
NOT(A) = NAND(A, A)
AND(A,B) = NOT(NAND(A,B))
OR(A,B) = NAND(NOT(A), NOT(B))
Los procesadores reales se construyen principalmente con transistores NAND porque son mas eficientes de fabricar. NAND es "computacionalmente completo".
Half Adder: Tu primer circuito util
Suma dos bits y produce dos salidas:
- Sum = A XOR B (resultado de la suma)
- Carry = A AND B (acarreo al siguiente bit)
En binario: 1 + 1 = 10
Sum = 0, Carry = 1
Encadenando half adders → full adders → sumadores de n bits.
Experimentos guiados
Cada experimento demuestra un principio fundamental del diseno digital.
Construir XOR solo con NANDs
Hipotesis: Cualquier compuerta puede construirse usando solo NANDs, demostrando la universalidad de NAND.
- Abre el sandbox con solo compuertas NAND disponibles
- Intenta construir XOR: necesitas 4 NANDs
- Pista: primero haz NAND(A,B), luego NAND(A, NAND(A,B))...
- Verifica con todas las combinaciones de entrada
- Compara el resultado con la tabla de XOR
Esta construccion demuestra que NAND es "funcionalmente completa". El curso Nand2Tetris construye un computador completo partiendo solo de NANDs.
Construir un Half Adder
Hipotesis: La suma binaria se puede implementar combinando XOR (para el resultado) y AND (para el acarreo).
- Conecta dos inputs A y B
- Crea una rama XOR(A,B) → output "Sum"
- Crea una rama AND(A,B) → output "Carry"
- Prueba: 0+0, 0+1, 1+0, 1+1
- Verifica: 1+1 debe dar Sum=0, Carry=1 (binario 10)
El half adder es la base de todos los sumadores. Encadenando full adders (que tambien reciben carry de entrada), puedes construir sumadores de 8, 16, 32, 64 bits.
Full Adder: Tiene 3 entradas (A, B, Carry_in) y 2 salidas (Sum, Carry_out). Se construye con 2 half adders + 1 OR.
Leyes de De Morgan en accion
Hipotesis: NOT(A AND B) es equivalente a (NOT A) OR (NOT B). Dos circuitos diferentes, misma tabla de verdad.
- Construye el circuito 1: NAND(A,B)
- Construye el circuito 2: OR(NOT(A), NOT(B))
- Conecta ambos a las mismas entradas A y B
- Prueba las 4 combinaciones de entrada
- Verifica que ambos dan la misma salida siempre
Las leyes de De Morgan permiten transformar circuitos. Esto es util para optimizar: a veces una forma usa menos compuertas o es mas facil de fabricar.
Logica booleana en otros sistemas
La logica binaria aparece mucho mas alla de los circuitos electronicos.
Un perceptron con pesos binarios puede implementar AND, OR y NOT. Pero a diferencia de las compuertas fijas, el perceptron aprende sus pesos de los datos. Es una compuerta logica que se auto-programa.
Simulacion relacionada: Perceptron Playground — la limitacion clasica: un perceptron no puede aprender XOR.
Una neurona integra senales de multiples sinapsis. Si la suma supera el umbral, dispara. Esto es aproximadamente un AND con umbral variable: "dispara si suficientes entradas estan activas". La biologia invento las compuertas logicas antes que nosotros.
Simulacion relacionada: Neurona — integracion de senales y disparo.
El operon lac en E. coli es una compuerta AND biologica: el gen se expresa solo si hay lactosa Y no hay glucosa. Los promotores con multiples sitios de union implementan logica combinatoria. La celula computa.
Simulacion relacionada: Regulacion Genica — represores e inductores como entradas logicas.
Las reglas del Game of Life son funciones booleanas de 9 variables (la celda y sus 8 vecinas). "Nace si exactamente 3 vecinas vivas" es una funcion logica compleja. El Game of Life es Turing-completo: puede simular cualquier circuito logico.
Simulacion relacionada: Game of Life — computacion emergente de reglas simples.
Los circuitos combinacionales no son suficientes
- Sin memoria: Las compuertas simples no recuerdan. Para almacenar datos necesitas flip-flops (realimentacion).
- Sin tiempo: Los circuitos combinacionales son "instantaneos". Los circuitos secuenciales (con clock) pueden procesar secuencias.
- Retardos: En la realidad, las senales tardan en propagarse. Esto causa glitches y limita la velocidad maxima del circuito.
- Consumo: Cada transistor consume energia. Millones de compuertas generan calor significativo.
Siguiente nivel: Los flip-flops usan realimentacion para "recordar" un bit. Con flip-flops + compuertas puedes construir registros, contadores, y eventualmente CPUs completas.
La jerarquia de abstraccion
- Transistores → implementan NANDs/NORs
- Compuertas → AND, OR, NOT, XOR, NAND, NOR
- Circuitos combinacionales → sumadores, multiplexores, decodificadores
- Circuitos secuenciales → flip-flops, registros, contadores
- Componentes → ALU, unidad de control, memoria
- CPU → fetch-decode-execute
Cada nivel oculta la complejidad del anterior. El curso Nand2Tetris recorre toda esta jerarquia partiendo solo de NANDs.
Preguntas para reflexionar
- Si NAND es universal (puede construir cualquier circuito), por que existen otras compuertas como AND, OR, XOR?
- Un perceptron puede aprender AND y OR pero no XOR. Que tiene de especial XOR que lo hace "no linealmente separable"?
- Las compuertas cuanticas (como la puerta de Hadamard) operan sobre qubits en superposicion. Que gana la computacion cuantica sobre la logica clasica?
- El cerebro tiene ~86 mil millones de neuronas conectadas. Un procesador moderno tiene ~50 mil millones de transistores. Por que el cerebro sigue siendo mejor en muchas tareas?