“…Rule 5: If T p, + T p, > d, for some component p and every pair (s, I) of manufacturing process for p, then the logical constraint is redundant. Proof: This was proven by Wilde and Prentice (1975) as follows; if x satisfies g;';;;d" then for every pair (s,t) Tp,xp,+ I;"xp,';;;d, which implies that no two variables x p, and x pr can be unity simultaneously.…”