关于主范式中极小项和极大项的下标算法

通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.

逻辑函数及最小项与最大项运算规则研究

根据逻辑函数最小项和最大项定义 ,探讨其运算规律 ,得出几个运算规则公式 根据这些公式 。

主范式的运算性质

研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .