Please wait a minute...
浙江大学学报（理学版）
浙江大学学报（理学版）  2016, Vol. 43 Issue (3): 307-309    DOI: 10.3785/j.issn.1008-9497.2016.03.010
电子科学     
计算含无关项布尔c-导数的K图方法
厉晓华1, 赵建华2
1. 浙江大学 信息中心, 浙江 杭州 310027;
2. 丽水市住建局 地理信息中心, 浙江 丽水 323000
The K-map method for calculating c-derivative of Boolean function with don't-care-terms
LI Xiaohua1, ZHAO Jianhua2
1. Campus Information Center, Zhejiang University, Hangzhou 310027, China;
2. Geomatics Center, Housing Construction Bureau, Lishui 323000, Zhejiang Province, China
 全文: PDF(485 KB)  
摘要： 为简化与-或-非代数系统中含无关项逻辑函数布尔c-导数的计算过程,从逻辑函数布尔c-导数的定义出发,提出了计算含无关项一阶布尔c-导数和二阶布尔c-导数的K图方法.该方法通过折叠映射K图中的填入格值,并对相应格值进行"或"运算以计算含无关项布尔c-导数.应用实例表明,该方法直观有效,且能直接得到布尔c-导数的最简与/或式.
关键词： K图;  无关项;  布尔c-导数;  逻辑函数    
Abstract: To simplify the process for calculating c-derivative of Boolean function with don't-care-terms in the Boolean logic algebra system based on AND-OR-NOT operation, the K-map method for calculating the first and second-order c-derivative of Boolean function with don't-care-terms is proposed according to the definition of c-derivative. The c-derivative is calculated by folding the square corresponds of the K-map, and then conducts OR operation. The application results show that the presented method is simple and convenient for operation. The simplest AND/OR expansion of c-derivative of Boolean function with don't-care-terms can also be obtained from K-map.
Key words: K-map    don't-care-terms    c-derivative    logic function
收稿日期: 2015-06-18 出版日期: 2016-03-01
CLC:  TP331  
基金资助: 国家科技支撑计划项目(2013BAH27F01,2013BAH27F02).
作者简介: 厉晓华(1975-),ORCID:http://orcid.org/0000-0003-2482-9000,男,高级工程师,硕士,主要从事数字电路与网络信息安全研究,E-mail:xiaohua@zju.edu.cn.
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　
厉晓华
赵建华

引用本文:

厉晓华, 赵建华. 计算含无关项布尔c-导数的K图方法[J]. 浙江大学学报（理学版）, 2016, 43(3): 307-309.

LI Xiaohua, ZHAO Jianhua. The K-map method for calculating c-derivative of Boolean function with don't-care-terms. Journal of ZheJIang University(Science Edition), 2016, 43(3): 307-309.

链接本文:

https://www.zjujournals.com/sci/CN/10.3785/j.issn.1008-9497.2016.03.010    或    https://www.zjujournals.com/sci/CN/Y2016/V43/I3/307

[1] 陈偕雄,沈继忠. 近代数字理论[M]. 杭州:浙江大学出版社,2001. CHEN Xiexiong, SHEN Jizhong. Modern Digital Thoery[M]. Hangzhou:Zhejiang University Press, 2001.
[2] 温巧燕,钮心忻,杨义先. 现代密码学中的布尔函数[M]. 北京:科学出版社,2000. WEN Qiaoyan,NIU Xinxin,YANG Yixian. Boolean Function in Modern Cryptology[M]. Beijing: Science Press, 2000.
[3] 赵美玲,陈偕雄. 布尔函数的c-导数及其在揭示H-布尔函数性质中的应用[J]. 浙江大学学报:理学版,2015,42(2):153-156. ZHAO Meiling, CHEN Xiexiong. c-derivative of Boolean functions and its application in revealing the properties of H-Boolean function[J]. Journal of Zhejiang University: Science Edition, 2015, 42(2):153-156.
[4] 马汝星,陈偕雄. 布尔特殊运算c-导数及其在Bent函数研究中的应用[J]. 浙江大学学报:理学版,2015,42(2): 157-161. MA Ruxing,CHEN Xiexiong. Boolean special operation c-derivative and its application in studying Bent function[J]. Journal of Zhejiang University: Science Edition, 2015, 42(2):157-161.
[5] 王芳,应时彦,肖林荣. 布尔函数的c-导数及其在组合电路故障检测中的应用[J]. 浙江大学学报:理学版,2014, 41(2):153-155. WANG Fang, YING Shiyan, XIAO Linrong. The c-derivative of Boolean function and its application in fault detection of combinational circuit[J]. Journal of Zhejiang University: Science Edition, 2014, 41(2):153-155.
[6] 朱耀东,袁菊明,肖林荣. 逻辑函数布尔c-导数的图形计算方法[J]. 浙江大学学报:理学版,2015, 42(2):162-165. ZHU Yaodong,YUAN Juming,XIAO Linrong. Graphic method calculating c-derivative of Boolean function[J]. Journal of Zhejiang University: Science Edition, 2015, 42(2):162-165.
[7] 陈偕雄,余党军.数字逻辑的图形方法[M]. 北京:机械工业出版社,2004. CHEN Xiexiong, YU Dangjun. Digital Logic Graphic Methods[M]. Beijing: China Machine Press, 2004.
[8] 王勇超,谢永凯. 含任意项逻辑函数布尔差分的图形化算法研究[J]. 浙江大学学报:理学版,2009, 36(6):666-669. WANG Yongchao,XIE Yongkai. Research of map method for Boolean difference calculation in logic functions including don't-care-terms[J]. Journal of Zhejiang University: Science Edition, 2009, 36(6):666-669.
[9] 厉晓华,杭国强. 计算布尔e-导数的新算法[J]. 电路与系统学报,2012, 17(5):1-5. LI Xiaohua, HANG Guoqiang. The new algorithm of calculating Boolean e-derivative[J]. Journal of Circuits and Systems,2012, 17(5):1-5.
[1] 徐锋, 厉晓华. 检测含无关项旋转对称逻辑函数的快速算法[J]. 浙江大学学报（理学版）, 2019, 46(5): 574-578.
[2] 厉康平, 汪鹏君, 张会红. 基于模拟退火遗传算法的三值FPRM电路功耗优化[J]. 浙江大学学报（理学版）, 2016, 43(2): 190-194.
[3] 陈偕雄,周柳明. 逻辑函数修改技术在任意进制同步计数器综合中的应用[J]. 浙江大学学报（理学版）, 1986, 13(2): 176-185.