from machine import Pin
from utime import sleep

led_verde = Pin(2, Pin.OUT)
led_naranja = Pin(3, Pin.OUT)
led_rojo = Pin(4, Pin.OUT)

button_verde = Pin(20, Pin.IN, Pin.PULL_DOWN)
button_naranja = Pin(19, Pin.IN, Pin.PULL_DOWN)
button_rojo = Pin(18, Pin.IN, Pin.PULL_DOWN)

while True:
  led_verde.value(0)
  led_naranja.value(0)
  led_rojo.value(0)

  if button_verde.value() == 1:
    led_verde.value(1)
  if button_naranja.value() == 1:
    led_verde.value(1)
  if button_verde.value() == 1:
    led_rojo.value(1)