// Definimos las constantes para los pines de los LEDs y el botón
#define RED 13       // Pin 13 para el LED rojo
#define GREEN 12     // Pin 12 para el LED verde
#define BUTTON 4     // Pin 4 para el botón

void setup() {
  // Configuramos los pines de los LEDs como salidas y el del botón como entrada con resistencia pull-up interna
  pinMode(RED, OUTPUT);         // Pin 13 (RED) configurado como salida para el LED rojo
  pinMode(GREEN, OUTPUT);       // Pin 12 (GREEN) configurado como salida para el LED verde
  pinMode(BUTTON, INPUT_PULLUP); // Pin 4 (BUTTON) configurado como entrada con resistencia pull-up interna
}

void loop() {
  // Leemos el estado del botón
  if (digitalRead(BUTTON) == LOW)  // Si el botón está presionado (LOW debido al INPUT_PULLUP)
  {
    digitalWrite(GREEN, LOW);    // Apagamos el LED verde
    digitalWrite(RED, HIGH);     // Encendemos el LED rojo
  }
  else  // Si el botón NO está presionado (HIGH por la resistencia pull-up interna)
  {
    digitalWrite(RED, LOW);      // Apagamos el LED rojo
    digitalWrite(GREEN, HIGH);   // Encendemos el LED verde
  }
}