问答题 使用推理规则，论证推理形式：P→Q，R→Q，R→S，S→QP。

问答题 求方程x1+x2+x3+x4=14的整数解，要求0≤x1，x2，x3，x4≤6

问答题 分别确定下述数列{an}的生成函数，其中 （1）an=（-1）n（n+1） （2）an=（-1）n2n （3）an=n+5。