问答题
求方程x1+x2+x3+x4=14的整数解，要求1≤x1，x2，x3，x4≤8.
问答题 (p∧(p∨q))→q
问答题 使用推理规则，论证推理形式：P→Q，R→Q，R→S，S→QP。
问答题 求方程x1+x2+x3+x4=14的整数解，要求0≤x1，x2，x3，x4≤6
