conjunctive normal form
短語詞組
- quantifier -free conjunctive-normal form [計]自由量詞合取范式;自由量詞合取范式英語;翻譯
- major conjunctive normal form 合取范式
- cnf conjunctive normal form 連接標(biāo)準(zhǔn)形式
- main conjunctive normal form 主合取范式
- Special Conjunctive Normal Form 主合取范式
- prenex conjunctive normal form [數(shù)]前束合取范式
- Weak conjunctive normal form 弱合取范式
- distinguished conjunctive normal form 杰異合取范式
- principal conjunctive normal form 翻譯 返回 conjunctive normal form