2. When tracing back through an and node whose output should be 0,
all combinations of inputs leading to 0 output must, of course, be
enumerated. However, if you are exploring the situation where one
input is 0 and one or more of the others are 1, it is not necessary to
enumerate all conditions under which the other inputs can be 1.