Control independiente de 2 LED con 2 botones en la Raspberry Pi Pico (GP12-13 + GP4-5)

2 botones, 2 LED: ¡totalmente independientes entre sí! 🔴🟢 Cada botón controla su propio LED: al pulsar BTN1 se enciende el LED rojo; al pulsar BTN2, se enciende el LED verde. Si pulsas los dos a la vez, se encienden ambos LED (funcionamiento en paralelo). Conceptos: **gestión de objetos de pines múltiples** (varias entradas/salidas simultáneas), **operador ternario** (`1 if x else 0` — el if-else compacto de Python), **control independiente de E/S** (lógica de funcionamiento en paralelo), **mapa