MinePump  &&  (WaterSensor  ||  !Low)  &&  (WaterSensor  ||  !Normal)  &&  (WaterSensor  ||  !High)  &&  (MethaneSensor  ||  !Alarm)  &&  (MethaneSensor  ||  !Query)  &&  (Alarm  ||  Query  ||  !MethaneSensor)  &&  (MinePump  ||  !Command)  &&  (MinePump  ||  !MethaneSensor)  &&  (MinePump  ||  !WaterSensor)  &&  (MinePump  ||  !o_1)  &&  (WaterSensor  ||  !MinePump)  &&  (Command  ||  !Start)  &&  (Command  ||  !Stop)  &&  (Start  ||  Stop  ||  !Command)  &&  True  &&  !False