06 任务_0001 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共 10 道试题，共 100 分
命题公式的析取范式是( )． A
设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )． A
存在一整数 x 有整数 y 满足 x+y=0 B
任一整数 x对任意整数 y满足 x+y=0 C
对任一整数 x存在整数 y满足 x+y=0 D
存在一整数 x对任意整数 y满足 x+y=0 3
下列公式成立的为( )． A
PQ PQ B
PQ PQ C
QP P D
P(PQ)Q 4
下列公式中 ( )为永真式． A
AB AB B
AB (AB) C
AB AB D
AB (AB) 5
设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． A
命题公式(PQ)R的析取范式是 ( ) A
(PQ)R B
(PQ)R C
(PQ)R D
(PQ)R 7
命题公式（PQ）的合取范式是 ( )． A
（PQ） B
（PQ）（PQ） C
（PQ） D
（PQ） 8
设命题公式 G：，则使公式 G 取真值为 1 的 P，Q，R赋值分别是 ( )． A
0 , 0 , 0 B
0 , 0 , 1 C
0 , 1 , 0 D
1 , 0 , 0 9
命题公式 PQ 的主合取范式是( )． A
(PQ) B
PQ C
PQ D
PQ 10
下列等价公式成立的为( )． A
PP QQ B
QPPQ C
