问答题
求解递推方程。
试化公式（P→（Q∧R））∧（P→（Q→R））的主析取范式和主合取范式，并判断公式的类型。
问答题试化公式（P→（Q∧R））∧（¬P→（¬Q→R））的主析取范式和主合取范式，并判断公式的类型。
（p∨q）→q
问答题（p∨¬q）→q
。