求下列各公式的主析取范式和主合取范式,并判断各式类型。 (1)(¬P→Q)→(¬QⅤP); (2)¬(P→Q)ⅤQ⋀R; (3)(¬PⅤ¬Q)→(P⟷ ¬Q); (4)PⅤ(¬P→(QⅤ(¬Q→R))); (5)(PⅤ(QⅤR)→(P⋀Q⋀R)。

使用将公式化为范式的方法证明下列各等价式。 (1)(A→B)⋀(A→C)⟺ (A→(B⋀C)); (2)(A→B)→(A⋀B)⟺ (AⅤB)⋀(B→A); (3)PⅤ(P→(PⅤQ))⟺ PⅤ-QⅤ(P⋀Q)。

利用等值演算法求命题公式(P⋀(Q→R))→Q的主合取范式。

利用等值演算法求命题公式(P⋁Q)→(¬Q⋁R)的主析取范式。

求公式(P→Q)⋀(Q→R)的主析取范式和主合取范式。

用等值演算法推导命题公式(P→Q ⋀R) ⋀(¬P→(¬Q ⋀R))的主析取范式

求命题公式(Q⋀(¬P→(Q⋁¬(Q→R))))主析取范式。

求命题公式(P∨(¬P→Q))∧(Q→R)的主析取范式。

用等值演算法求命题(P⟷ Q)⋁¬R主合取范式,并指出公式的类型。

用等值演算求的主析取范式。