问答题 试化公式（P→（Q∧R））∧（P→（Q→R））的主析取范式和主合取范式，并判断公式的类型。

问答题 （p∨q）→q

问答题 求解递推方程。