from machine import Pin
from time import sleep

rled = Pin(21, Pin.OUT)
gled = Pin(17, Pin.OUT)

pbutton = Pin(13, Pin.IN)

while True:
    state = pbutton.value()
    print(state)
    if state == 0:
        rled.value(1)
        gled.value(0)
    else:
        rled.value(0)
        gled.value(1)
    sleep(1)