A.矛盾式B.可满足式C.蕴含式D.重言式
单项选择题设A ,B 代表任意的命题公式,则A ®BÛ逆反律为()
A.ØB®ØAB.B®ØAC.ØA®ØBD.ØB®A
单项选择题命题公式A 与B 是等值的,是指()。
A.A 与B 有相同的命题变元B.A«B 是可满足式C.A®B 为重言式D.A«B 为重言式
单项选择题设A ,B 代表任意的命题公式,则Ø(A ÙB)Û德摩根律为()
A.ØAÙØBB.ØAÚØBC.AÙØBD.AÚB
单项选择题n个命题变元组成的命题公式,有()种真值情况。
A.nB.n2C.2nD.2n
单项选择题公式Ø((p®q)Ù(q ®p))与(p∧¬q)∨(¬p∧q)的共同成真赋值为()
A.01,10B.10,01C.11,00D.01,11