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

证明下列命题的等值关系:(1)(P→Q)⋀(R→Q)(PⅤR)→Q;(2)(P⋀QA→C)⋀(A→PⅤQⅤC)⟺ (A⋀(P⟷ Q))→C;(3)P→(Q→P)⟺ Q→(P→R);(4)(P→Q)⋀(P→R)⟺ P→(Q⋀R);(5)(PⅤQ)⋀¬(P ⋀Q)⟺¬ (P⟷ Q)。

构造命题公式(P⋁Q)→(Q⋀R)的真值表。

符号化下列命题,并构造推理证明。 中华牙防组委员会成员都是教授,并且是牙医;有些中华牙防组委员会成员是资深专家。所以，有的中华牙防组委员会成员是牙医,且是资深专家。

构造命题公式(P⋁¬Q)→(R→Q)的真值表。

构造命题公式P→(P⋁Q⋁R)的真值表。

用列真值表的方法说明下列逻辑等价式成立

用列真值表的方法说明下列逻辑等价式成立(P→(Q→R))⟺ (P→Q)→(P→R)。

用列真值表的方法说明下列逻辑等价式成立

列出的真值表。