命题公式（P∨Q）→Q为（）。

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

(1) (PvQ)→(PQ)

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

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

命题公式(P∧Q)→P是下列4个中的哪一个？

(1)永真式 (2)永假式

(3)可满足式 (4)合取范式

命题公式是(.).

A矛盾式

B.可满足式

C.重言式

D.不能确定

A.P∧┐Q； ∧∧

B.┐P∧Q； ∧∧

C.P∧Q； ∧∧

D.┐P∧┐Q； ∧∧

A.「(P→Q)

B.「(P→Q)∧Q

C.(P→Q)∨Q

D.「P∧(P→Q)

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

用真值表法判定公式P？(Q∧R)→P∨Q∨R是永真式、永假式还是可满足式．

下列命题公式中为重言式的是

Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))

Ⅱ．(p→(q∨r))→((p→q)∧(p→r))

Ⅲ．((p→q)∧(P→r))→((p→r)

Ⅳ．((p∨q)∧(p→r))→(p→r)

A．Ⅲ

B．Ⅰ和Ⅲ

C．Ⅰ和Ⅱ

D．Ⅰ、Ⅱ、Ⅲ和Ⅳ