共用题干题试用真值表证明下列命题定律 双条件否定等价式：p↔q<=>¬p↔¬q

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

问答题

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

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

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

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

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