几个离散数学选择题：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) ÛQ5. 命题公式(PÚQ)®R的析取范式是 ( ) A. Ø(PÚQ)ÚR B. (PÙQ)ÚR C. (PÚQ)ÚR D. (ØPÙØQ)ÚR9. 命题公式P®Q的主合取范式是( )． A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ) B. ØPÙQ C. ØPÚQ D. PÚØQ

几个离散数学选择题：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