极大项相关论文
文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求(』)A,A ∨ B,A∧B,A→B,A(→)B的主范式的公式,由此可......
研究一类特殊的无限维李代数．利用系数矩阵和极大项，证明了这类李代数是半单李代数且没有二维交换子代数．......
研究了布尔代数中求积和范式与和积范式的方法,证明了：α（x）=[α（0）＊x′]＋[α（1）＊x]和α（x1,x2,…,xn）=1∑1 a1=0 1∑1 a2=0…1∑1 an=0[α（a1,a......
首先给出了一类线性逻辑方程组的解法，然后通过主和取范式把F（x1，x2，…，xn）=1、F（x1，x2，…，xn）=0，F（x1，x2，…，xn）=G（x1，x2，…，xn）等类型的逻辑方程转化为......
在已知主合(析)取范式时,通过证明,给出求主析(合)取范式的方法:求(1)G(-P1, -P2,…,-Pn);(2)G·(-P1,-P2,…,-Pn);(3)-G·......
研究了极小项、极大项的运算性质,给出了一组运算公式,利用这些运算公式可以使求命题公式的主范式运算更简洁.......
本文给出了超球级数所定义的整函数的极大项μ(a)，中心指标v(a)，极大摸M(a)的增长关系及它们之问的不等式，还讨论了正规增长性。......
针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方......
极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主......
数理逻辑作为数学及思维科学的一个分支,在各学科领域的发展中,有着广泛的应用。讨论数理逻辑中的重要概念主范式的求解方法:真值......
研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公......
在离散数学这本书中求主合取范式有两种方法。本文对这两种方法进一步推广。共给出四种方法。即,真值表法,推演法以及用真值表法求......
通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项......
