#define LED 12
#define PULSADOR_ENC 8
#define PULSADOR_APA 9

int BANDERA_ENC=0;



void setup() {
  // put your setup code here, to run once:
  pinMode(LED, OUTPUT);
  pinMode(PULSADOR_ENC, INPUT);
  pinMode(PULSADOR_APA, INPUT);

}

void loop() 
{
  // put your main code here, to run repeatedly:
  if(digitalRead(PULSADOR_ENC)==HIGH)
  {
    BANDERA_ENC=1;
  }

  if(digitalRead(PULSADOR_APA)==HIGH)
  {
    BANDERA_ENC=0;
  }

  if(BANDERA_ENC==0)
  {
    digitalWrite(LED, LOW);
  }

  if(BANDERA_ENC==1)
  {
    digitalWrite(LED, HIGH);
  }


}