go top

能够规约为合取范式

网络释义

  Conjunction Normal Form

...检验、等价性检查、自动测试向量生成等,都可以等价为布尔可满足不足来解决,这些不足能够规约为合取范式(Conjunction Normal Form, CNF)格式的布尔公式,找出该布尔公式的一个可满足解的相关技术被称为可满足性求解(satisfiabilit...

基于4个网页-相关网页

  CNF

...等价性检查、自动测试向量生成等,都可以等价为布尔可满足不足来解决,这些不足能够规约为合取范式(Conjunction Normal Form, CNF)格式的布尔公式,找出该布尔公式的一个可满足解的相关技术被称为可满足性求解(satisfiabilit...

基于2个网页-相关网页

有道翻译

能够规约为合取范式

It can be reduced to conjunctive normal form

以上为机器翻译结果,长、整句建议使用 人工翻译

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定