Answer from cs61c-ax (Amanda Alfonso 15906918) for Question 1
For N inputs there are 2^N outputs.  The maximum number of terms in the canonical (simplest) form should be less than this.  Therefore, the maximum number of terms will be the number of entries in the table for which the output is logical 1.