求下列命题公式的主合取范式和主析取范式，并判断公式是否为重言式或矛盾式。(1) (PvQ)→(PQ)(2)

求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。

和成假赋值．

求下列公式的析取范式、合取范式及主析取范式、主合取范式,并根据主析(合)取范式直接确定该公式的弄真指派和弄假指派.

请给出命题公式的主析取范式和主合取范式。

用等值演算法求公式的主析取范式或主合取范式。

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

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

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