排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
2.
极小项与极大项的运算性质 总被引:2,自引:0,他引:2
研究了极小项、极大项的运算性质,给出了一组运算公式,利用这些运算公式可以使求命题公式的主范式运算更简洁。 相似文献
3.
张型岱 《牡丹江师范学院学报(自然科学版)》2002,(3):20-21
文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求A,A ∨ B,A ∧ B,A→B,AB的主范式的公式,由此可用程序化的方法求任意公式的主范式。 相似文献
4.
在L是完全分配格时,借助极小集与极大集的概念引入L集合套概念,它们是[1]中集合套概念的推广,但不同于[1]中的L集合套.从而得到了一般LF集的若干新的分解定理与表现定理,作为应用给出了诱导空间中LF集的闭包、内部及导集的表现. 相似文献
1