幾個(gè)離散數(shù)學(xué)選擇題：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.下列等價(jià)公式成立的為()．
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