全国计算机软考软件设计师考前练习及答案7

 　24.包含3个命题变元的命题公式中，能够出现__(116)__个真值赋值。包含3个命题变元的命题公式可以形成__(117)__个不同真值的命题公式。公式__(118)__是矛盾式，公式__(119)__是非重言式的可满足式。公式__(120)__是析取范式。

　　供选择的答案

　　(116)：A 3

　　B 8

　　C 27

　　D 64

　　(117)：A 4

　　B 16

　　C 64

　　D 256

　　(118)、(119)： A ┐(P→q)∧q∧r

　　B p→(p∨q)

　　C (p∧q) ∨(p∧┐q)

　　D ┐(p∧q)→┐p∨┐q

　　(120)： A ┐P∨(q∧-r) ∨(p∧r)q┐

　　B (p∨┐q)∧(q∨r) ∧┐r

　　C (p∨q) ∧┐(q∨┐r)

　　D (p→q) ∨(p∧r)

　　参考答案：(116) B (117) D (118) A (119) C (120) A