principal conjunctive normal form detail 主合榷式
·2,447,543篇论文数据，部分数据来源于NoteExpress
With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
youdao
应用推荐
模块上移
模块下移
不移动