TP1 dos botones 6to grado - Wokwi ESP32, STM32, Arduino Simulator

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

}

void loop() 
{
  if(digitalRead(9)==HIGH)
  digitalWrite(7, HIGH);

  if(digitalRead(8)==HIGH)
  digitalWrite(7, LOW);
}