论文部分内容阅读
从K图出发，提出了利用二叉树法对含有任意项的冗余函数、线性函数、对称函数、自反函数及自双反函数等特殊逻辑函数进行检测的图形化方法．实例表明，该图形方法具有简单、直接、方便、可编程的特点．
含任意项特殊逻辑函数的图形化检测
【摘 要】
：
从K图出发，提出了利用二叉树法对含有任意项的冗余函数、线性函数、对称函数、自反函数及自双反函数等特殊逻辑函数进行检测的图形化方法．实例表明，该图形方法具有简单、直接、
【机 构】
：
浙江大学网络与信息中心,中国敦煌研究院
【出 处】
：
浙江大学学报：理学版
【发表日期】
：
2009年5期
其他文献
人体健康在很大程度上取决于营养平衡，无论是营养缺乏或过剩，都会引起疾病。人体所需的各种营养素由食物供给，在代谢过程中，各种营养素比例适宜才能协同作用，发挥最大的营养效能。
随着经济社会的发展,以种植、养殖为主要内容的传统农业越来越受到产品市场的制约。现代人们对于农产品数量的需求已经饱和,使得传统农业的发展空间受到局限。与此同时,对于
数学知识的学习有一个完整的过程,即情境感知-数学抽象-知识小结-知识运用等一般环节.美国中小学数学课程标准中提出了一条准则,即学生的知识学习不仅仅是自我建构,更需要最
一、背景据国际清洁运输理事会（ICCT）统计,2015年在北极营运的船舶中,重油的使用比例最高,占所有燃油总使用量的57%,占北极营运船舶重油载运重量的75%以上。船舶在北极使用或载