boole相关论文
证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑......
根据 Auto CAD图形的特点及 Auto CAD中已有的功能提出 ,将封闭的窗口定义成“面域 (region)”参与裁剪运算 ,并给出了面域的自动......
研究了每一个元都是布尔元的R0代数,用等式刻划了其特征,证明了如下结果:R0代数M的每一个元都是布尔元的充要条件是M为布尔代数.并......
Web信息检索技术的出现帮助人们从海量的数据中搜索到符合用户要求的信息,但由于用户查询条件的模糊性及自然语言的歧义性等原因,......
本文介绍了近期关于逻辑网络及其应用的一些最近的结果,包括逻辑网络的背景、矩阵半张量积（STP）的新矩阵乘积的理论、逻辑网络的一些......
