析取范式的英文

• alternative normal form
• disjunktive normalform disjunctive normal form
• dnf

• "析取"英文翻译    extraction; disjunction
• "范式"英文翻译    canonical form; normal form
• "全析取范式" 英文翻译 :    full disjunctive normal form
• "极小析取范式" 英文翻译 :    minimal disjunctive normal form
• "最优析取范式" 英文翻译 :    optimal disjunctive normal form
• "合取范式" 英文翻译 :    konjunktive normalform conjunctive normal form; normal conjunctive form
• "主合取范式" 英文翻译 :    principal conjunctive
• "拟前来析取核范式函数" 英文翻译 :    quasi-prenex disjunctive kernel normal form functions
• "析取" 英文翻译 :    extraction; disjunction
• "范式" 英文翻译 :    canonical form; normal form
• "位析取" 英文翻译 :    bit extraction
• "析取律" 英文翻译 :    disjunctive law
• "析取项" 英文翻译 :    disjunct
• "析取型" 英文翻译 :    disjunction type
• "析取字" 英文翻译 :    extractor-ter
• "存取范畴" 英文翻译 :    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

• Minimal implicant and dnf representation
  极小蕴涵和析取范式表示
• 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 disjonctive
• 析取范式的日语：加法標準形
• 析取范式的俄语：Дизъюнктивная нормальная форма