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