单项选择题
A.矛盾式B.可满足式C.蕴含式D.重言式
A.ØB®ØAB.B®ØAC.ØA®ØBD.ØB®A
A.A 与B 有相同的命题变元B.A«B 是可满足式C.A®B 为重言式D.A«B 为重言式
A.ØAÙØBB.ØAÚØBC.AÙØBD.AÚB
微信扫一扫,加关注免费搜题
