将下面公式变换成与之等值并且仅含{一,V,^}中的联结词的公式。(1)¬(P⟷ (Q→(PⅤR)));(2)((PⅤQ)⋀R)→

将下面公式变换成与之等值并且仅含{一,V,^}中的联结词的公式。
(1)¬(P⟷ (Q→(PⅤR)));
(2)((PⅤQ)⋀R)→(PⅤR);
(3)(P→(Q→R))。
【正确答案】:(1)(¬Q⋀¬P)Ⅴ(R⋀¬P)
(2)T
(3)¬PⅤ¬QVR