问答题 （p∨q）→q

问答题 求解递推方程。

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