int led = 9;
int Green = 10;
int Red = 11;
void setup() {
  pinMode(led, OUTPUT);
  pinMode(Green, INPUT_PULLUP);
  pinMode(Red, INPUT_PULLUP);
}
void loop() {
  int state1 = digitalRead(Green);
  int state2 = digitalRead(Red);
  if (state1 == 0){
    digitalWrite(led, HIGH);
  }
  if (state2 == 0){
    digitalWrite(led, LOW);
  }
}