将下面公式变换成与之等值并且仅含{一,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
将下面公式变换成与之等值并且仅含{一,V,^}中的联结词的公式。(1)¬(P⟷ (Q→(PⅤR)));(2)((PⅤQ)⋀R)→
- 2024-08-03 23:44:56
- 离散数学(02324)