问答题
试化公式为析取范式和合取范式，并判断公式的类型。
试化公（P→Q）→R为析取范式和合取范式，并判断公式的类型。
问答题试化公（P→Q）→R为析取范式和合取范式，并判断公式的类型。
试化公式P∧（P→Q）为析取范式和合取范式，并判断公式的类型。
问答题试化公式P∧（P→Q）为析取范式和合取范式，并判断公式的类型。
假言易位式p→qq→p
问答题假言易位式p→q<=>¬q→¬p
为析取范式和合取范式，并判断公式的类型。