论文部分内容阅读
正则三值逻辑函数个数的计算十分复杂，本文将这一问题与ｎ维三元偏序集Ｅ＾ｎ以及（１，２，．．．，ｎ）的幂集中反链的计算联系起来，得到了两个有用的计数公式ㄧＦ（ｎ，Ｒ）ㄧ＝ㄧＥ（ｎ）ㄧ和ㄧＦ（ｎ，Ｍ）ㄧ＝ㄧＮ（ｎ，Ｃ）ㄧ＋２，从而为解决这一问题提供了一种新的途径。
反链在正则三值逻辑函数个数计算中的应用
【摘 要】
：
正则三值逻辑函数个数的计算十分复杂，本文将这一问题与ｎ维三元偏序集Ｅ＾ｎ以及（１，２，．．．，ｎ）的幂集中反链的计算联系起来，得到了两个有用的计数公式ㄧＦ（ｎ，Ｒ）ㄧ＝ㄧＥ（ｎ）ㄧ和ㄧＦ（ｎ，Ｍ）ㄧ＝ㄧＮ（ｎ，Ｃ）ㄧ＋２，从而为解决这一问题提供了一
【机 构】
：
陕西师范大学数学系
【出 处】
：
陕西师大学报：自然科学版
【发表日期】
：
1995年3期
【基金项目】
：
国家自然科学基金
其他文献
研究了Ｓａｓａｋｉａｎ空间型中切触分布的积分子流形，得到了伪脐积分子流形的两个内蕴刚性定理，作为推论得到：设Ｍ是Ｍ２ｎ＋１（ｃ）（ｃ＞－３）中紧致极小积分子流形，如果，则Ｍ全测地．
21世纪全球文化的多元语境,规定了我们在从事外国文学教学和外国文学研究时必须将中国纳入世界文学体系之中,因此,外国文学课程教学改革势在必行.本教改成果深入探讨和总结了
<正>成人教育是我国教育事业的极其重要的组成部分。回顾历史,不难看出,成人教育的地位、作用和发展速度是由现代社会发展的实际需要所决定的?我国的成人教育在建国初期就已
具有'德、才、学'三方面品格的教师是高尚型的教师.在教师高尚人格的影响下,学生为其崇高的品德所折服,为其卓越的才能所倾倒,为其广博的知识所陶醉,才能'亲其师
<正>前言 DOS操作系统是每一个想要学习计算机的人都必须熟悉的内容。然而,DOS的许多命令和DOS系统下的工具软件如format,Fdisk,Pctools,Debug,Deltree等对初学DOS的人来说是
目前孤立地研究城市化或者是城市现代化的文献很多,但对两者的关系研究还很不够.本文从新的视角拓展了城市化的内涵,揭示了城市化与城市现代化的互动共促关系,指出两者是相互
江泽民的科技思想,是他在新的历史时期关于我国社会主义现代化建设理论的重要组成部分,是对邓小平理论,特别是对邓小平科技思想的继承和创新.本文就江泽民科技思想形成的背景
实力,是衡量国家能量的尺度,是彰显国家影响力及辐射力的要素。实力塑造着国家的形象,能够增强国家的动机和意志力,并决定着国家的权力范围与利益收成。随着实力达到一定程度
邓小平提出'小康社会'的概念,是为了纠正过去我们在建设现代化问题上急于求成的倾向,是从实际出发对我国实现现代化进程的重新界定.'小康社会'的概念是邓小