极小项与极大项的运算性质

研究了极小项、极大项的运算性质，给出了一组运算公式，利用这些运算公式可以使求命题公式的主范式运算更简洁。     

命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求，G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明，用公式相等的定义证明了求，G的主析取范式的定理。     

命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求( )G的主析取范式、用推演法求G的主合取范式等四种方法.用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求┐G的主析取范式的定理.     

关于命题公式的主范式

本文讨论了两个命题公式的一次复合的主析(合)取范式与它们的主析(合)取范式之间的关系。     

命题公式主范式的自动生成与形式输出

在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出.     

关于范式求法解析

离散数学中,主合取范式的目的在于讨论公式的主合取范式.该文中对主合取范式求解方法进一步推广,共给出4种求解方法.真值表法、推演法、用真值表法求的主合取范式、用推演法求的主析取范式等4种方法.     

具有等固有频率的系统主振型的统一求法

关于具有等固有频率的系统的主振型问题,初学者多感到困惑难懂;而迄今为止,几乎国内所有的振动专著,对此问题都未从理论上透彻阐述.本文从理论上系统地、透彻地讨论了这一问题,并论证了一个求相应主振型的统一公式.     

铁素体钢材韧脆转变温度数值分析

为确定铁素体钢材韧脆转变温度,基于夏比冲击试验对铁素体钢材的典型材料(低合金高强钢材Q345B)在韧脆转变区冲击吸收功的分布规律进行了研究.通过不同的断裂韧性求解方法(经验公式法和主曲线法)研究了Q345B钢参考温度T0的计算方法,最终得到基于经验公式及主曲线法的Q345B钢材断裂韧性随温度变化的曲线,并通过ABAQU...     

极大独立集的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法，并给出了一解算法。     

微积分一种重要类型极限的计算方法

给出了一种类型函数极限运算的公式及其在微积分极限计算中的具体应用,应用此极限公式可以求某些极限运算中参数的值,给出一元函数在某一点连续的充分条件和求一个曲线的渐近线,同时提供了一个命题的证明方法.