int redLed = 12;
int greenLed = 11;
int redBtn = A0;
int greenBtn = A1;

void setup() {
  pinMode(redLed, OUTPUT);
  pinMode(greenLed, OUTPUT);
  pinMode(redBtn, INPUT_PULLUP);
  pinMode(greenBtn, INPUT_PULLUP);

  ///Serial.begin(9600);
}

void loop() {

  while (digitalRead(greenBtn) == HIGH && digitalRead(redBtn) == HIGH) {
    digitalWrite(redLed, LOW);
    digitalWrite(greenLed, LOW);
  }

  while (digitalRead(greenBtn) == LOW) {
    digitalWrite(greenLed, HIGH);
  }

  while (digitalRead(redBtn) == LOW) {
    digitalWrite(redLed, HIGH);
  }

  //Serial.print(digitalRead(A0));
  //Serial.print(digitalRead(A1));
  //delay(100);
}