int blink = 0;
int button = 7;
int leds[2] = {13,12};

void monitor() {
  Serial.print("Botão = ");
  Serial.print(blink);
  Serial.print(". LED 12 = ");
  Serial.print(digitalRead(leds[1]));
  Serial.print(". LED 13 = ");
  Serial.println(digitalRead(leds[0]));
}

void setup() {
  // put your setup code here, to run once:
  pinMode(leds[0], OUTPUT);
  pinMode(leds[1], OUTPUT);
  pinMode(button, INPUT);
  Serial.begin(9600);
  Serial.println("\nEstados do botão e LEDs: ");
}

void loop() {
  // put your main code here, to run repeatedly:
  blink = digitalRead(button);
  digitalWrite(leds[0], (!blink || (digitalRead(leds[0]) == 1)) ^ digitalRead(leds[0]));
  digitalWrite(leds[1], (blink || (digitalRead(leds[1]) == 1)) ^ digitalRead(leds[1]));
  monitor();
  delay(500);
}