期刊文献+

关于冗余函数和自反函数性质之研究 被引量:3

Research on the properties of redundant function and self-negative function.
下载PDF
导出
摘要 冗余函数和自反函数为特殊布尔函数.本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,给出了相应的证明,讨论了冗余函数在K图中的特点以及自反函数在bj图中的特点. The redundant function and self-negative function are special Boolean functions. The definitions of redundant function and self-negative function are introduced. The properties of redundant and self-negative function are proposed, which are proved by the use of their definitions, the theorems and formulas in Boolean algebra. It is pointed out that in the K-map of a redundant function any pairs of square, which are symmetrically located over the axis of the redundant variable, have the same value. Several features of self-negative function in bj-map are shown.
出处 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2006年第5期532-534,共3页 Journal of Zhejiang University(Science Edition)
关键词 冗余函数 自反函数 特殊布尔函数 redundant function self-negative function special Boolean function
  • 相关文献

参考文献8

二级参考文献11

  • 1程捷,陈偕雄.归一化Haar变换谱技术在逻辑函数对称性检测中的应用[J].浙江大学学报(理学版),2001,28(6):635-639. 被引量:8
  • 2陈偕雄,Computer Electronic Engg,1982年,9卷,167页 被引量:1
  • 3HURST S L. Detection of symmetries in combinatorial functions by spectral means[J]. IEE J. Electronic Circuits and Systems, 1977, 1:173-180. 被引量:1
  • 4MUZIO J C, MILLER D M. Multi-variable symmetries and their detection [J]. IEE Proc. pt.E, 1983, 130: 141-148. 被引量:1
  • 5BUTLE J, SASAO T. On the properties of multiple-valued functions that are symmetric in both variable values and labels [A]. IEEE Proc. ISMVL, [C] IEEE Press,1998, 83-88. 被引量:1
  • 6胡铮浩.三值bj图及其应用.科学通报,1988,33(2):98-101. 被引量:3
  • 7HURST S L. The Logical Processing of Digital Signals[M]. New York: Crane-Russak,1979. 被引量:1
  • 8HURST S L, MILLER D M, MUZIO J C. Spectral Techniques in Digital Logic [M]. London: Academic Press, 1985. 被引量:1
  • 9BUTLE J, SASAO T. On the properties of multiplevalued functions that are symmetric in both variable values and labels[A]. Proc. 18th International Symposium on Multiple-Valued Logic[C]. Boston: IEEE Society Press, 1998.83-88. 被引量:1
  • 10杜歆,郑茂生,陈偕雄.用阈函数实现任意逻辑函数的新方法[J].浙江大学学报(理学版),2000,27(3):286-291. 被引量:16

共引文献39

同被引文献18

引证文献3

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部