创建自己的小题库
搜索
【单选题】
在求取前束范式时，可以对自由变元进行“换名”吗？
A.
可以
B.
不可以
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
反馈
收藏
举报参考答案：
举一反三
【多选题】求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。
A.
将母式化成合取范式
B.
消去全称量词
C.
消去合取连结词
D.
更改变量名
【单选题】线性规划变标准形时,约束条件 x 1 +3x 2 +2x 3 <=5,x 2 为自由变元,应变化为下列哪种形式
A.
x 1 +3x 4- 3x 5 +2x 3 =5
B.
x 1 +3x 2 +2x 3 + x 4 =5
C.
x 1 +3x 4- 3x 5 +2x 3 + x 6 =5
D.
x 1 +3x 2 +2x 3- x 4 =5
相关题目：
【多选题】求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。
A.
将母式化成合取范式
B.
消去全称量词
C.
消去合取连结词
D.
更改变量名
【单选题】线性规划变标准形时,约束条件 x 1 +3x 2 +2x 3 <=5,x 2 为自由变元,应变化为下列哪种形式
A.
x 1 +3x 4- 3x 5 +2x 3 =5
B.
x 1 +3x 2 +2x 3 + x 4 =5
C.
x 1 +3x 4- 3x 5 +2x 3 + x 6 =5
D.
x 1 +3x 2 +2x 3- x 4 =5
参考解析：
AI解析
重新生成
题目纠错 0
发布
