xuchaoxin1375

摘要： 文章目录 abstract主合取范式与主析取范式间的关系👺主范式存在及唯一性定理例 主范式的性质👺求公式的成真与成假赋值主析取范式直接得到主合取范式 判断公式的类型 n n n元命题公式的主析取范式(主合取范式)的个数判断两个命题公式是否等值 给出一个满足给定真值表的命题公式半加器全加器半加器和 阅读全文

摘要： 文章目录 abstract文字简单析取式(或项)简单合取式(与项)或项和与项基本性质定理 命题公式的范式析取范式合取范式小结性质 命题公式规范化联结词规范化析取@合取规范化异同点范式存在定理规范式的不唯一性极小项和极大项 主范式 n n n元主范式的个数下标编排规则初步规范化例 例:二元 极小项和极 阅读全文