Answer from cs61c-el (David Tung 16479725) for Question 1
At most, there could be 2^N products; that is in the case where every single combination of inputs still produces a true output.  It would be a gate that is always true.