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