Zhejiang Daxue xuebao. Lixue ban (May 2007)

Examination redundant function or self-negative function based on the graph method(基于图形方法的冗余函数与自反函数检测)

RENBing(任兵),
CHENXie-xiong(陈偕雄)

Affiliations

RENBing(任兵): 1.School of Electronic and In formation, Hangzhou University of Electronic Science and Technology, Hangzhou 310018, China( 1.杭州电子科技大学电子信息学院，浙江　杭州　310018)
CHENXie-xiong(陈偕雄): 2.Department of Information and Electronic Engineering, Zhejiang University, Hangzhou 310028, China( 2.浙江大学信息与电子工程学系，浙江　杭州　310028)

DOI
Journal volume & issue: Vol. 34, no. 3
pp. 318 – 320

Abstract

冗余函数和自反函数是特殊的布尔函数，本文阐述了冗余函数和自反函数的定义，提出了冗余函数和自反函数的性质，讨论了冗余函数和自反函数的图形检测方法，并用实例说明之.通过计算机编程操作，可以得到用于多变量冗余函数和自反函数检测的快速算法.

Published in Zhejiang Daxue xuebao. Lixue ban

ISSN: 1008-9497 (Print)
Publisher: Zhejiang University Press
Country of publisher: China
LCC subjects: Science: Mathematics: Instruments and machines: Electronic computers. Computer science; Science: Physics
Website: https://www.zjujournals.com/sci/EN/1008-9497/home.shtml

About the journal