MATHEMATICAL LOGIC MODEL FOR ANALYSING THE CONTROLLABILITY OF MINING EQUIPMENT