#define Pull_down_button_pin 2
#define Red_led_pin 3
#define Pull_up_button_pin 21
#define Blue_led_pin 20

int Pull_down_buttonState = 0;  // variable for reading the pushbutton status
int Pull_up_buttonState = 0;  // variable for reading the pushbutton status

void setup() {
  // initialize digital pins for LEDS as an output and buttons as INPUTS
  pinMode(Red_led_pin, OUTPUT);
  pinMode(Pull_down_button_pin, INPUT);
  pinMode(Blue_led_pin, OUTPUT);
  pinMode(Pull_up_button_pin, INPUT);
}

// the setup function runs once when you press reset or power the board
void loop() {
Pull_down_buttonState = digitalRead(Pull_down_button_pin);
Pull_up_buttonState = digitalRead(Pull_up_button_pin);
// check if the pushbutton is pressed. If it is, the buttonState is HIGH:
  if (Pull_down_buttonState == HIGH) {
    // turn LED on:
    digitalWrite(Red_led_pin, HIGH);
  } else {
    // turn LED off:
    digitalWrite(Red_led_pin, LOW);
  }
  if (Pull_up_buttonState == LOW) {
    // turn LED on:
    digitalWrite(Blue_led_pin, HIGH);
  } else {
    // turn LED off:
    digitalWrite(Blue_led_pin, LOW);
  }
}

BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT
pico:GP0
pico:GP1
pico:GND.1
pico:GP2
pico:GP3
pico:GP4
pico:GP5
pico:GND.2
pico:GP6
pico:GP7
pico:GP8
pico:GP9
pico:GND.3
pico:GP10
pico:GP11
pico:GP12
pico:GP13
pico:GND.4
pico:GP14
pico:GP15
pico:GP16
pico:GP17
pico:GND.5
pico:GP18
pico:GP19
pico:GP20
pico:GP21
pico:GND.6
pico:GP22
pico:RUN
pico:GP26
pico:GP27
pico:GND.7
pico:GP28
pico:ADC_VREF
pico:3V3
pico:3V3_EN
pico:GND.8
pico:VSYS
pico:VBUS
btn1:1.l
btn1:2.l
btn1:1.r
btn1:2.r
r1:1
r1:2
gnd1:GND
vcc1:VCC
led1:A
led1:C
r2:1
r2:2
btn2:1.l
btn2:2.l
btn2:1.r
btn2:2.r
r3:1
r3:2
gnd2:GND
vcc2:VCC
led2:A
led2:C
r4:1
r4:2