命题公式（PÙ（P®Q))®Q是重言式。

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）∨R

B.（P∧Q）∨R

C.（P∨Q）∨R

D.（ØP∧ØQ）∨R

A.~(pÞq)∧q

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

C.p∧(q∨r)

D.p∧(q Þr)

A.ØPÙØQ,PÚQ

B.A®(B®A),ØA®(A®ØB)

C.Q®(PÚQ),ØQÙ (PÚQ)

D.ØAÚ (AÙB),B

A.(p q r) (p q)

B.(p q r) (p q)

C.(p q r) (p q r)

D.(p q r) (p q r)

A.重言式

B.矛盾式

C.可满足式

D.主范式