设B为含命题变项p，q，r的矛盾式，则公式B∧（（pq)→r)的类型为（)。

求下列命题公式的主合取范式和主析取范式，并判断公式是否为重言式或矛盾式。

(1) (PvQ)→(PQ)

(2) (P→Q)(P→Q)

(3)(R(∧Q→P))→(P→(QvR))

“q p ∧”与“s r ∨”这两个命题形式含有()

A相同的逻辑常项,相同的变项

B不同的逻辑常项,不同的变项

C不同的逻辑常项,相同的变项

D相同的逻辑常项,不同的变项

请帮忙给出正确答案和分析，谢谢！

A.(┐P∧┐Q)→R

B.(P∧Q)→R

C.(Q→P)∧R

D.┐Q∧┐P∨R

命题公式A包含4个命题变元:P,Q,R,S.其真值表如下:

写出与A等价的:

1)主析取范式。

2)主合取范式。

3)析取形式的最简式。

A.(0,0,0)(0,0,1)(1,0,0,)

B.(0,1,0),(1.0.1).(1.1,0)

C.(1，0,0)

设p：俄罗斯的首都是莫斯科；

q：2+5=7；

r：日本位于北美洲．

求下列各复合命题的真值．

(1)(p∧￢q)→r．

(2)(pq)r．

(3)(￢p∨q∨r)∧￢r．

(4)(p∧q∧￢r)→(￢p∨￢q∨r)．