主合取范式的英文

• principal conjunctive

• "主"英文翻译    host
• "合取"英文翻译    conjunction
• "范式"英文翻译    canonical form; normal form
• "合取范式" 英文翻译 :    konjunktive normalform conjunctive normal form; normal conjunctive form
• "全析取范式" 英文翻译 :    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
• "主合点" 英文翻译 :    principal vanishing point
• "主合金" 英文翻译 :    master alloying
• "主合派" 英文翻译 :    lumpers
• "主合同" 英文翻译 :    master contract
• "合取的" 英文翻译 :    conjunctive
• "合取式" 英文翻译 :    conjunctive form
• "主合成列" 英文翻译 :    chief composition series
• "主合榷式" 英文翻译 :    principal conjunctive normal form
• "存取范畴" 英文翻译 :    access category
• "拾取范围" 英文翻译 :    picking region
• "选取范围" 英文翻译 :    select twain_source
• "beta范式" 英文翻译 :    beta normal form
• "greibach范式" 英文翻译 :    greibach normal form
• "kuroda范式" 英文翻译 :    kuroda normal form
• "skolem范式" 英文翻译 :    skolem normal form

• 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 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。