Two Rules for Deducing Valid Inequalities for 0-1 Problems

We present two rules, one of which is equivalent to linear programming, for obtaining consequence inequalities from systems of linear inequalities in which each variable is restricted to being zero or one.