问答题 双条件否定等价式：pqpq

问答题 试化公式为析取范式和合取范式，并判断公式的类型。

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