短語(yǔ)詞組短語(yǔ)quantifier -free conjunctive-normal form [計(jì)]自由量詞合取范式;自由量詞合取范式英語(yǔ);翻譯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