from machine import Pin
import time

ledT = Pin (14, Pin.OUT)
ledR = Pin (13, Pin.OUT)
boton = Pin (15, Pin.IN, Pin.PULL_UP)

while True:
    if boton.value() == 0:
        ledT.value(1)
        ledR.value(0)
    else:
        ledT.value(0)
        ledR.value(1)