from machine import Pin
import time

led1 = Pin (14, Pin.OUT)
led2 = Pin (13, Pin.OUT)
boton = Pin (15, Pin.IN, Pin.PULL_UP)

while True:
    if boton.value() == 0:
    led1.value(1)
    led2.value(0)

    else:
        led1.value(0)
        led2.value(1)