from machine import Pin

led1 = Pin(23, Pin.OUT)
drukknop = Pin(25, Pin.IN, Pin.PULL_DOWN)

while True:
    print(drukknop.value())
    led1.value(drukknop.value())