几个离散数学选择题:1.命题公式(PÚQ)®Q为()A.矛盾式B.可满足式C.重言式D.合取范式
2.在谓词公式("x)(A(x)→B(x)ÚC(x,y))中,().
A.x,y都是约束变元
B.x,y都是自由变元
C.x是约束变元,y都是自由变元
D.x是自由变元,y都是约束变元
3.下列等价公式成立的为().
A.ØPÙØQÛPÚQ
B.P®(ØQ®P)ÛØP®(P®Q)
C.Q®(PÚQ)ÛØQÙ(PÚQ)
D.ØPÚ(PÙQ)ÛQ
5.命题公式(PÚQ)®R的析取范式是()
A.Ø(PÚQ)ÚR
B.(PÙQ)ÚR
C.(PÚQ)ÚR
D.(ØPÙØQ)ÚR
9.命题公式P®Q的主合取范式是().
A.(PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)
B.ØPÙQ
C.ØPÚQ
D.PÚØQ