Answer from cs61c-ah (Charles Lee 16102343) for Question 1
There should be 2^n possible different products in the function's canonical sum-of-products representation.