from machine import Pin
from utime import sleep
rojo=Pin(15,Pin.OUT)
amarillo=Pin(16,Pin.OUT)
verde=Pin(17,Pin.OUT)
pulsador=Pin(18,Pin.IN,Pin.PULL_UP)
while 1:
    if pulsador.value()==0:
        rojo.on()
        amarillo.on()
        verde.on()
    else:
        rojo.off()
        amarillo.off()
        verde.off()