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