Problema con una configuracion de diferentes perfiles en Arduino

Recientemente me he hecho con una placa Arduino y estoy trabajando en un proyecto para un amigo. Me ha pedido el realizar el control de dos maquinas, una cortadora y una lijadora, que irian en serie. Lo que me pide es que cuando pulse un pulsador, se encienda a maquina de corte y cuando pulse el otro, pare la sierra y empiece la lijadora. Estos dos puntos ya los tengo, mas o menos.

Me ha pedido que cuando ninguna de las dos maquinas este funcionando, tengan un led de estado, que este encendido cuando las dos maquinas esten paradas. No consigo que funcione este led de estado, siempre esta encendido y no se como arreglarlo. He intentado diversas cosas y nadas. Os dejo el codigo, tiene cosas que se deben cambiar.

int ledPin = 12;     
int ledPin1 =11;
int ledPin2 =10;
int ledPin3 =9;
int ledPin4 =8;
int ledPin5 =7;                                      
int inputPin1 = 7; // pulsador 1
int inputPin2 = 6; // pulsador 2
int p1;
int p2;

void setup() {
pinMode(ledPin, OUTPUT); 
pinMode(ledPin1, OUTPUT);
pinMode(ledPin2, OUTPUT);
pinMode(ledPin3, OUTPUT);
pinMode(ledPin4, OUTPUT);
pinMode(ledPin5, OUTPUT);
pinMode(inputPin1, INPUT); 
pinMode(inputPin2, INPUT);
}

void loop(){
p1=digitalRead(inputPin1);
p2=digitalRead(inputPin2);

if (p1 == HIGH) {
digitalWrite(ledPin, HIGH); 
digitalWrite(ledPin2, HIGH); 
digitalWrite(ledPin3, HIGH); 
digitalWrite(ledPin4, HIGH); 
digitalWrite(ledPin5, HIGH); 
} else if (p2 == HIGH) {
digitalWrite(ledPin, LOW); 
digitalWrite(ledPin2, LOW); 
digitalWrite(ledPin3, LOW); 
digitalWrite(ledPin4, LOW); 
digitalWrite(ledPin5, LOW); 
}
}

Hola,
supongo que usaras relés para encendes la cortadoray la lijadora, si es asi, te recomiendo estos:
http://www.ebay.es/itm/MODULO-RELAY-RELE-5V-DE-2-CANALES-PARA-ARDUINO-ARM-PIC-AVR-DSP-RASPBERRY-PI-/261475911035?pt=LH_DefaultDomain_186&hash=item3ce12dc57b

Aqui te dejo el programa:

#define led1 13   //No es necesario poner una resisetencia ya que ya la lleba
#define cortadora 12 //conectar el pin digital 12 al rele1;
#define lijadora 11  //conectar el pin digital 11 al rele2;
#define lijadora_pulsador 10
#define cortadora_pulsador

boolean a = false;
boolean b = false;
boolean led = true;

void setup()
{
pinMode(led1, OUTPUT);
pinMode(cortadora, OUTPUT);
pinMode(lijadora, OUTPUT);

pinMode(lijadora_pulsador, INPUT);
pinMode(cortadora_pulsador, INPUT);

}
void loop()
{
if(a == false && b == false)
{
  digitalWrite(led1, HIGH); //si las dos maquina estan apagadas encendemos el led!
}
else
{
  digitalWrite(led1, LOW); //si una de las maquina o las dos estan encendidas apagamos el led
}

if(digitalRead(lijadora_pulsador))
  {
    if(!a)  
       {
         digitalWrite(lijadora, HIGH); //encendemos el rele con la lijadora conctada en el.
         a = true;
        }
    else 
      {
         digitalWrite(lijadora, LOW); //APAGAMOS el rele con la lijadora conctada en el.
         a = false;
       }
  }
if(digitalRead(cortadora_pulsador))
  {
    if(!b)  
       {
         digitalWrite(lijadora, HIGH); //encendemos el rele con la lijadora conctada en el.
         b= true;
        }
    else 
      {
         digitalWrite(lijadora, LOW); //APAGAMOS el rele con la lijadora conctada en el.
         b = false;
       }
  }
}

Mucha suerte!