import machine
from machine import Pin

#definimos salida
ledRojo = Pin(12, Pin.OUT)

#definimos entrada (con pullup)
boton = Pin(2,Pin.IN,Pin.PULL_UP)
while True:
    valor = boton.value()
    ledRojo.value(valor)