命题公式（PÙ （P®Q)) ®Q是

A.重言式

B.矛盾式

C.可满足式

D.主范式

A.~(pÞq)∧q

B.rÞ((pÞq)∨~q)

C.p∧(q∨r)

D.p∧(q Þr)

A.永真式

B.永假式

C.可满足式

D.不知道

A.(p→q)→q

B.q→(q→p)

C.(p→q)→p

D.p→(q→p)

A.(p→q)→q

B.q→(q→p)

C.(p→q)→p

D.p→(q→p)

A.q→(p∨q)

B.(p∧q)→p

C.┐(p∧┐q)∧(┐p∨q)

D.(p→q)↔(┐∨q)

A.(p→Øp)→q

B.q→(Øq→p)

C.(p→p)→Øq

D.p→(Øq→p)

A.（P→Q）→P

B.P→（Q→P）

C.¬P∨（Q→P）

D.（¬P→Q）∨P

A.﹁p∨﹁q

B.﹁p→q

C.﹁p∧﹁q

D.p←q

A.﹁p∨﹁q

B.﹁p→q

C.﹁p∧﹁q

D.p←q

A.Ø（P∨Q）∨R

B.（P∧Q）∨R

C.（P∨Q）∨R

D.（ØP∧ØQ）∨R