公式¬（P→（P∨Q))∧R 的类型是

A.重言式

B.矛盾式

C.可满足式

D.偶真式

A.A是重言式

B.A不是重言式

C.A是可满足式

D.A是矛盾式

A.(p→Øp)→q

B.q→(Øq→p)

C.(p→p)→Øq

D.p→(Øq→p)

A.q→(p∨q)

B.(p∧q)→p

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

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

A.矛盾式

B.可满足式

C.重言式

D.不能确定

A.重言式

B.矛盾式

C.可满足式

D.不能确定

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.Ø（P∨Q）∨R

B.（P∧Q）∨R

C.（P∨Q）∨R

D.（ØP∧ØQ）∨R

A.p→r q→r p v q ------- r

B.p→r q→s p v q -------- r v s

C.p→ q p→r ﹁ q v ﹁r ----------- ﹁ p

D.p→ r q →s ﹁ r v ﹁s ------------ ﹁p v ﹁ q