conjunctive normal form

短语词组

短语

• quantifier -free conjunctive-normal form [计]自由量词合取范式;自由量词合取范式英语;翻译
• major conjunctive normal form 合取范式
• cnf conjunctive normal form 连接标准形式
• main conjunctive normal form 主合取范式
• Special Conjunctive Normal Form 主合取范式
• prenex conjunctive normal form [数]前束合取范式
• Weak conjunctive normal form 弱合取范式
• distinguished conjunctive normal form 杰异合取范式
• principal conjunctive normal form 翻译
返回 conjunctive normal form