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