基于表格方法的冗余函数、自反函数及自双反函数的检测

来源 :浙江大学学报:理学版 | 被引量 : 0次 | 上传用户:skyaixiao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数.讨论了表格法作为检测特殊函数的易用性和可编程性.
其他文献
王安石的庄子研究对宋代庄学的繁荣有很大的推动作用。在融会百家的基础上,王安石调和庄子与儒家思想的矛盾,并从性命道德学说和政治的角度阐发庄子的思想,反映了以儒解《庄》的
党的十一届三中全会开始了建设有中国特色社会主义的历史新时期。实践证明,新时期的20年,是我们党领导的改革开放和现代化建设蓬勃发展前进的20年,也是我们党取得坚持和发展解放思想
高校信访工作具有师生维权意识较强、信访人群“成熟度”较高、热点发生周期性强、涉及问题与学校发展阶段的相关性强等特点。从高校信访管理体制机制、依法治校水平、机关作
社会经济发展的极终目的是追求幸福,提升国民的“幸福指数”。关于什么是幸福,如何构建幸福,可从经济学、哲学、社会学、心理学等不同的学科视角进行解读。经济是幸福的物质基础
所谓善治,是政府与公民对公共生活的合作管理,是政治国家与公民社会的一种新颖关系,也是千百年来人们期望的理想状态。如何才能实现善治?古希腊的柏拉图主张,建立一种哲人王国
适应市场经济需要,从深层次搞活国有企业□范力群国有企业是社会主义全民所有制经济的主体,其生产经营状况如何,在很大程度上决定着全民所有经济的巩固和发展,决定着全民所有制经
1、职工下岗有哪些程序和条件?按照吉发〔1998〕12号文件规定,企业因生产和经营状况等原因出现富余人员,首先由企业负责通过发展多种经营、自办经济实体、组织劳务输出、鼓励自谋职业等
积极稳步地发展股份合作制张秀岩80年代末以来,股份合作制在我国城乡改革中悄然兴起。江泽民同志在十五大报告中对这一新生事物给予充分肯定和高度评价。江泽民同志指出:“目前城