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
责任编辑:cyth