预览加载中,请您耐心等待几秒...
1/2
2/2

在线预览结束,喜欢就下载吧,查找使用更方便

如果您无法下载资料,请参考说明:

1、部分资料下载需要金币,请确保您的账户上有足够的金币

2、已购买过的文档,再次下载不重复扣费

3、资料包下载后请先用软件解压,在使用对应软件打开

06任务_0001 1.命题公式的析取范式是(). A. B. C. D. 2.设个体域为整数集,则公式"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.ØPÙØQÛPÚQ B.P®ØQÛØP®Q C.Q®PÞP D.ØPÙ(PÚQ)ÞQ 4.下列公式中()为永真式. A.ØAÙØB«ØAÚØB B.ØAÙØB«Ø(AÚB) C.ØAÙØB«AÚB D.ØAÙØB«Ø(AÙB) 5.设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为(). A. B. C. D. 6.命题公式(PÚQ)®R的析取范式是() A.Ø(PÚQ)ÚR B.(PÙQ)ÚR C.(PÚQ)ÚR D.(ØPÙØQ)ÚR 7.命题公式(PÚQ)的合取范式是(). A.(PÙQ) B.(PÙQ)Ú(PÚQ) C.(PÚQ) D.Ø(ØPÙØQ) 8.设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是(). A.0,0,0 B.0,0,1 C.0,1,0 D.1,0,0 9.命题公式P®Q的主合取范式是(). A.(PÚQ)Ù(PÚØQ)Ù(ØPÚØQ) B.ØPÙQ C.ØPÚQ D.PÚØQ 10.下列等价公式成立的为(). A.ØPÙPÛØQÙQ B.ØQ®PÛP®Q C.PÙQÛPÚQ D.ØPÚPÛQ