合取范式的英文

• konjunktive normalform conjunctive normal form
• normal conjunctive form

• "合取"英文翻译    conjunction
• "范式"英文翻译    canonical form; normal form
• "主合取范式" 英文翻译 :    principal conjunctive
• "全析取范式" 英文翻译 :    full disjunctive normal form
• "析取范式" 英文翻译 :    alternative normal form; disjunktive normalform disjunctive normal form; dnf
• "极小析取范式" 英文翻译 :    minimal disjunctive normal form
• "最优析取范式" 英文翻译 :    optimal disjunctive normal form
• "合取" 英文翻译 :    [数学] conjunction◇合取公理 conjunction axiom
• "范式" 英文翻译 :    canonical form; normal form
• "合取的" 英文翻译 :    conjunctive
• "合取式" 英文翻译 :    conjunctive form
• "存取范畴" 英文翻译 :    access category
• "拾取范围" 英文翻译 :    picking region
• "选取范围" 英文翻译 :    select twain_source
• "beta范式" 英文翻译 :    beta normal form
• "greibach范式" 英文翻译 :    greibach normal form
• "kuroda范式" 英文翻译 :    kuroda normal form
• "skolem范式" 英文翻译 :    skolem normal form
• "典范式" 英文翻译 :    canonical expression; canonical form
• "核范式" 英文翻译 :    kernel normal form
• "前范式" 英文翻译 :    pre-paradigm
• "新范式" 英文翻译 :    new paradigm
• "主范式" 英文翻译 :    principal normal form
• "并合取样, 混合取样" 英文翻译 :    composite sampling
• "排列选取范围" 英文翻译 :    arrange selection

• Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
  摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

• 合取范式的法语：Forme normale conjonctive
• 合取范式的韩语：논리곱 표준형
• 合取范式的俄语：Конъюнктивная нормальная форма