问答题
用真值表或等价演算判断下列命题公式的类型
¬p→(p→q)
<=>p∨（¬p∨q）（条件等价式） <=>T(永真式）
问答题 用归结推理证明：P→R，Q→R。
问答题 （p→q）∧q
问答题 已知数列{an}的生成函数是A（x）=（1+x-x2）/（1-x），求an。
