int ledPinRed = 0; //
int ledPinGreen = 1; //
int buttonPin1 = 2; //
int buttonPin2 = 3; //
int buttonState1 = 0; // variable for reading the pushbutton status
int buttonState2 = 0;

// the setup function runs once when you press reset or power the board
void setup() {
// initialize digital pin LED_BUILTIN as an output.

pinMode(ledPinGreen, OUTPUT);
pinMode(ledPinRed, OUTPUT);
pinMode(buttonPin1, INPUT);
pinMode(buttonPin2, INPUT);
}

// the loop function runs over and over again forever
void loop() {

buttonState1 = digitalRead(buttonPin1);
if (buttonState1 == HIGH)
{
if(digitalRead(ledPinGreen)== HIGH)
{
digitalWrite(ledPinRed, HIGH);
digitalWrite(ledPinGreen, LOW);
}
else
{
digitalWrite(ledPinRed, HIGH);
}
}

buttonState2 = digitalRead(buttonPin2);
if (buttonState2 == HIGH)
{
if(digitalRead(ledPinRed)== HIGH)
{
digitalWrite(ledPinRed, LOW);
digitalWrite(ledPinGreen, HIGH);
}
else
{
digitalWrite(ledPinGreen, HIGH);
}
}

delay(75);
}