from machine import Pin

led = Pin(2,Pin.OUT)
push_button = Pin(13, Pin.IN)

while True:
  button_state = push_button.value()
  print(button_state)
  if button_state == True:   
    led.on()                   
    print(button_state)
  else:                       
    led.off()