部分四值逻辑中Sheffer函数的判定与构造

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:jerryymy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^*中的Sheffer函数。
其他文献
Sybase是一个基于Client/Server体系结构的关系数据库管理系统,在一个浏览器/服务器(B/S)模式的应用中,为了提高整个系统的性能必须根据Sybase的特点对应用程序进行了优化,本文主要从查询结构方面来讨论这个问题
金融危机来临后,雪莱的诗句被演绎出数个版本:冬天来了吗?什么时候才会过去?春天会来吗?到底还有多远?……表达的是职场人的疑惑,也透露出他们心底的殷殷期盼。《职业》带着职场人对
Oracle Graphics是Oracle7数据库的前端开发工具之一,本文介绍了它的特点及其在超文本系统中的应用。对利用Oracle Graphics的特点在其它方面的应用有一定的借鉴作用。
阅读在语言学习中占有重要的地位,是学习语言最有效、最重要的手段,无论是应付各种等级考试还是未来的生存发展,阅读都是一种非常必要的学习方式。提高大学生的阅读理解能力也一直是外语教学的重要目标之一。  一、词汇量是基础  现在社会是一个知识爆炸的社会,每天都会有一些新词出现,狭窄的词汇量必然阻碍阅读的正常进行。然而英语词汇浩如烟海,短时间内是不可能记住大量词汇的。词汇记忆有以下几种方法:  1.利用词
本文针对语音情感识别中BP神经网络收敛速度慢和正确率低的问题,提出了一种训练径向基函数(RBF)网络的混合算法。在语音情感特征提取的基础上,采用免疫RBF神经网络进行情感识别,同
文章结合实例说明了Active控件在基于VFP的企业EMIS中的具体应用方法与过程,该方法能够加快开发具有工业强度的EMIS的速度,为EMIS的集成提供了技术支持,适用性强。
本文提出了多媒体节目的用户工作模型及多媒体创作系统的用户模型,它们将对多媒体创作系统的设计和实践工作起决定性的作用。
人间四月天,春光正当时。在这美好的季节里,96位来自四川省的非公有制经济代表人士,怀着欣喜的心情跨进樱花烂漫、柳絮飞扬的中央党校大门——4月18日至24日,由省委统战部组
在知识经济条件下,以计算机为主的信息产业的普及和成熟,改变着人们的生活、工作、学习方式和思想观念。将多媒体技术运用到会计专业课教学,能够优化教学结构,提高教学效果,已成为今后一段时间内会计专业课教学发展的要求、方向和趋势。  一、运用多媒体技术,优化会计类专业教学的必要性  传统会计教学中存在的问题主要表现在:第一,教学方式陈旧,缺少形象而生动的感观刺激,难以培养学生的观察能力、形象思维能力。第二
随着知识经济时代的到来,个人职业生涯发展模式的重要性日益凸显。女性人力资源作为社会人力资源的半壁江山,是职业生涯规划和管理的重要组成部分,对社会和经济的发展起着越来越重要的作用。女性职业生涯模式指职业女性从参加工作开始,一直到退出工作岗位的各种从业方式。职业女性概念可分为广义和狭义两种。广义的职业女性泛指所有在经济社会中具有正常劳动能力的从业女性,本文探讨的职业女性从狭义上定义为:以所受高等职业技