计算机术语“conjunctive normal form”的中英文意思、释义、翻译及用法-计算机英汉双解词典

术语	conjunctive normal form
释义	conjunctive normal form 合取范式 In the predicate calculus, if a conjunctive formula G has the form as follows: GB1∧B2∧…∧Bn = (n>1) where B1,B2,…,Bn are disjunctive forms of the basic formula Li, then the conjunctive formula G is called the conjunctive normal form. 在谓词演算中,如果一个合式公式G具有如下形式:GB1∧B2∧…∧Bn = (n>1), 其中B1,B2,…,Bn是基本式Li的析取式,则称该合式公式G为合取范式。
随便看	peripheral interface adapter(PIA) peripheral interface channel peripheral limited peripheral link peripheral logical unit (PLU) peripheral manager peripheral memory peripheral node peripheral operator peripheral physical unit peripheral processor peripheral prompt peripheral software drivers peripheral storage peripheral transfer peripheral unit permanent connection permanent data base permanent data call permanent dynamic storage permanent error permanent fault permanent file permanent memory permanent object

计算机英汉双解词典包含21137条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。