int LED_VERDE = 11; 
int LED_ROJO = 12;
#define SENSOR 7 
void setup() {
  pinMode(LED_VERDE, OUTPUT);
  pinMode(LED_ROJO, OUTPUT);
  pinMode(SENSOR, INPUT);
}

void loop() {

int estado=digitalRead(SENSOR);

 if (estado==HIGH){
 digitalWrite(LED_ROJO, HIGH);
 digitalWrite(LED_VERDE, LOW);
  }
 else{ 
digitalWrite(LED_VERDE, HIGH);
digitalWrite(LED_ROJO, LOW);
 }

}