极小项相关论文
利用极小项与命题变项个数之间的关系指出了文[1-2]给出的四、五变量集合图的错误。利用Euler公式说明了四个变量以上的集合图不具......
二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构以及近似推理研究中有着重要应用.给出了二值命题逻辑中公式是逻辑方......
文[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......
在已知主合(析)取范式时,通过证明,给出求主析(合)取范式的方法:求(1)G(-P1, -P2,…,-Pn);(2)G·(-P1,-P2,…,-Pn);(3)-G·......
二值命题逻辑L中τ（A→X）≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F（Sn）中公式是逻辑不等......
针对主析取范式在命题逻辑中的作用,在文献[1]的理论基础上,给出了主析取范式的快速求法,这个快速求法能够准确快速求出一个命题公......
研究了极小项、极大项的运算性质,给出了一组运算公式,利用这些运算公式可以使求命题公式的主范式运算更简洁.......
二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象，对其结构进行分析是近似推理研究中需要解决的问题。通过公式是......
求主析取范式包括真值表法、推演法以及用真值表法求G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真......
针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方......
极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主......
数理逻辑作为数学及思维科学的一个分支,在各学科领域的发展中,有着广泛的应用。讨论数理逻辑中的重要概念主范式的求解方法:真值......
研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公......
通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项......
