Raspberry Pi Pico: controllo indipendente di 2 LED tramite 2 pulsanti (GP12-13 + GP4-5)

2 pulsanti, 2 LED — completamente indipendenti l'uno dall'altro! 🔴🟢 Ogni pulsante controlla il proprio LED: quando si preme BTN1 si accende il LED rosso, quando si preme BTN2 si accende il LED verde. Se si premono entrambi contemporaneamente, si accendono entrambi i LED (funzionamento in parallelo). Contenuti: **gestione di oggetti con più pin** (più ingressi/uscite contemporanei), **operatore ternario** (`1 if x else 0` — l’if-else compatto di Python), **controllo indipendente di I/O** (logica