from machine import Pin
from time import sleep
from random import choice

Button= Pin(0, Pin.IN, Pin.PULL_DOWN)
leds= [Pin(pinos, Pin.OUT) for pinos in (1,2,3,4,5)]

def sortear_led():
    escolhido= choice(leds)

    escolhido.value(1)
    sleep(0.5)

    for led in leds:
        led.value(0)

while True:
    if Button.value() == 1:
        sortear_led()
        sleep(0.1)