单项选择题
A.A是矛盾式B.A是可满足式C.A是重言式D.A不是重言式
A.矛盾式B.重言式C.偶真式D.可满足式
A.¬（q∧p）→pB.p∨¬q→pC.（p∨q）∧pD.（p∨¬q）∨¬q
A.q→pB.p→qC.¬p∨¬qD.p↔q
微信扫一扫,加关注免费搜题
