Simplication, Optimization and Implication Summary
Equivalent constraints can be written in many forms, hence we desire simplification
Particularly if we are only interested in the interaction of some of the variables
Many problems desire a optimal solution, there are algorithmms (simplex) to find them