Question

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

Answer 1

你重新再问一次吧，然后不用悬赏，提交以前把符号改过来就行

追问

给我个邮箱，我发给你吧，

追答

我不会做这个题，我帮你问吧

Answer 2

ferferwerfeew

Answer 3

满足式

Answer 4

dffddf