论文部分内容阅读
用精选法求布尔函数的最小化解时,传统的作法是先求出质覆盖Z,然后从Z中挑选必要质蕴涵项。本文提出的E算法在勿需求出质覆盖的情况下,就可以判断出多输出二值布尔函数的一个质蕴涵项是否是必要质蕴涵项,从而节省计算机的存储空间和运算时间。
一个判别必要质蕴涵项的E算法
【摘 要】
：
用精选法求布尔函数的最小化解时,传统的作法是先求出质覆盖Z,然后从Z中挑选必要质蕴涵项。本文提出的E算法在勿需求出质覆盖的情况下,就可以判断出多输出二值布尔函数的一个
【机 构】
：
清华大学计算机科学与工程系,清华大学计算机科学与工程系
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
1990年4期
其他文献
具有0和∞两个亏值的亚纯函数唯一性，得到了相关的三个定理．定理1：设f（z）、g（z）为非常数亚纯函数，1和∞是f（z）与g（z）的CM分担值，⊙（∞，f）；⊙（∞，g）=1，δ（0，f）＋δ（0，g）〉1，则f（z）=g（z），或f（z）g（z）=1．定理2与定理3：设f（z）
目前,现代人的生活品质逐渐提升,人们对保健、养生方面的关注逐渐增加。其中,对于金银花来讲,由于其具有解毒、清热等功效,金银花成为保健养生市场中的抢手货。因此,本文将金
近几十年来,我国猪肉分级标准在历经学习参考、拟合落实、修改制订等发展阶段后,已形成了相对完善并符合国内发展现状的成套标准体系。伴随着国家与行业分级标准的颁布与实施
目的对武汉地区280名汉族无关个体的D20S85和D6S477位点遗传多态性进行调查,研究其在法医学检验中的应用价值.方法应用PCR和PAGE技术进行分型检验.结果分别检出10个、9个等位
2018年3月16日,现代威亚在上海千禧海鸥酒店隆重召开2018年度代理商大会。对于现代威亚来说,这场大会的战略意义重大,它深度连接并统一了现代威亚和代理商的信念和步调。现代
农物商一体化流通模式是我国一种新型的物流模式,是云物流下基于农户、物流企业、商户的新流通模式。其中云物流是通过互联网、物联网、车联网等汇聚海量信息形成平台;农户通
当前的学习分析和教育数据挖掘研究,大多聚焦于在线理论知识学习和认知课程,而缺乏对实践操作类课程学习行为的分析。从实践操作过程中的学习行为数据出发进行的行为模式,可
翻译活动是跨文化交际的重要形式之一，离不开主体间的交流与互动。以《尤利西斯》金陡译本和萧乾、文洁若译本为例，从主体间性的角度探讨翻译主体间在翻译过程中所遵循的行为规
<正>1996年,韩国著名娱乐公司S.M.Entertainment培养的第一批偶像H.O.T横空出世。从此,韩国娱乐产业发生了巨大变化,新的发展结构由此诞生。以韩国演员为阵容的电视娱乐产业
目的研究协同护理模式对于乳腺癌患者焦虑情绪以及生活质量的影响。方法选择2016年3月至2017年3月我院收治的乳腺癌根治术患者100例,随机分为观察组以及对照组,每组各50例。