void setup () {
pinMode (7, OUTPUT);
pinMode (8, INPUT);
pinMode(12, INPUT);
}

void loop () {
int val = digitalRead(8) ;
if (val == HIGH)
digitalWrite (7, LOW );
else 
digitalWrite(7,LOW);

int val1 = digitalRead(12) ;
if (val1 == HIGH)
digitalWrite (7, HIGH) ;
else 
digitalWrite(7,LOW);

}