共查询到10条相似文献,搜索用时 31 毫秒
1.
求主析取范式包括真值表法、推演法以及用真值表法求,G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求,G的主析取范式的定理。 相似文献
2.
3.
本文利用C语言程序实现了对离散数学的数理逻辑中任意命题公式根据其真值表判断其类型、求其主析取范式和主合取范式。在计算机专业的教学中可以培养学生的理论和计算机操作相结合的学习能力。 相似文献
4.
极大独立集的逻辑算法 总被引:1,自引:1,他引:1
苏岐芳 《广西师范学院学报(自然科学版)》2003,20(1):20-22
给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法,并给出了一解算法。 相似文献
5.
给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法. 相似文献
6.
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便于计算机程序化. 相似文献
7.
张会凌 《甘肃联合大学学报(自然科学版)》2006,20(5):49-52
在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出. 相似文献
8.
用G′/G展开法求偏微分方程(组)的行波解,这个过程可转化为求解一个代数方程组,但该方程组一般较大,难于求解.可以用代数形式吴方法解决这个问题,两个算例说明了吴方法的有效性. 相似文献
9.
分辨矩阵为属性约简与求核运算提供了一种规范精确的数学模型,通过分辨矩阵模型可方便地获取决策系统全体属性约简.本文基于分辨矩阵运用启发式信息与二分策略扩展结点,设计了一种构造约简树求取全体属性约简的有效算法,该约简树从根结点到叶结点全体路径构成的析取范式与系统分辨函数等价,其极小析取范式所有析取项即为决策系统全体属性约简.该方法适用于满足任意约简准则的分辨矩阵,能够显著地减少搜索空间和保证全体约简求解的完备性,理论分析与实验结果说明了算法的可行性与有效性. 相似文献
10.
本文先给出λ∈X_1(T)时Q_1(λ)的G—合成因子L(μ),以及求Q_1(λ)的G(1)—合成因子L_1(μ)的方法,最后把Q_1(λ)分解成主不可分解G(1)—模U_1(μ)的直和,进而求G(1)的Cartan不变量. 相似文献