利用等值演算法求命题公式(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主合取范式,并指出公式的类型。

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

用等值演算法求命题公式¬(¬P⋀Q)⋁Q的主合取范式,并给出成假赋值

用推理法证明以下各式成立。 (1)¬(P⋀¬Q),¬QⅤR,¬R⊦¬P; (2)(PⅤQ),(P→R),(Q→S)⊦SⅤR; (3)W→Q ⊦W→(W⋀Q); (4)¬W⟺ Q, S→¬Q,¬R,RⅤS ⊦W; (5)¬(P⟷ Q)Ⅴ(RⅤS), (P⋀Q) ⊦RⅤS;