分别用真值表法和等值演算法求下面命题公式的主析取范式与主合取范式，判断各公式的类型，并写出其相应的成真赋值和成假赋值。 （1)P®（Q®R)。 （2)（P®（Q∨R))∧（ØP∨（Q«R))。

用等值演算法求下列公式的主析取范式，并求成真赋值。

(1)求公式p→((q∧r)∧(p∨(?q∧?r)))的主析取范式。

(2)求公式?(?(p→q))∨(?q→?p)的主合取范式。

(3)求公式((p∨q)∧(p→q))(q→p)的主析取范式，再由主析取范式求出主合取范式。