单项选择题
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
A.p↔qB.p→qC.¬p∨¬qD.q→p
微信扫一扫,加关注免费搜题