import machine
import time

# Configura el pin GPIO para el LED y la entrada con resistencia pull-down
led_pin = machine.Pin(13, machine.Pin.OUT)
input_pin = machine.Pin(17, machine.Pin.IN, machine.Pin.PULL_DOWN)

# Función de la compuerta NOT
def not_gate(input):
    return not input

# Bucle principal
while True:
    input_signal = input_pin.value()
    not_output = not_gate(input_signal)
    led_pin.value(not_output)  # Enciende el LED si la salida de la compuerta NOT es 1