问答题
使用推理规则，论证推理形式：P→Q，R→¬Q，R→S，S→¬Q¬P。
问答题 求方程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。
问答题 (q∧(p→q))→p
¬P。