Zhejiang Daxue xuebao. Lixue ban (Sep 2007)

Detection of redundant function, self-negative function and self-dual function based on tabular method(基于表格方法的冗余函数、自反函数及自双反函数的检测)

LIKe(郦可),
CHENXie-xiong(陈偕雄)

Affiliations

LIKe(郦可): Department of Information and Electronic Engineering, Zhejiang University, Hangzhou 310028, China( 1.浙江大学信息与电子工程系，浙江　杭州　310028)
CHENXie-xiong(陈偕雄): Department of Information and Electronic Engineering, Zhejiang University, Hangzhou 310028, China( 1.浙江大学信息与电子工程系，浙江　杭州　310028)

DOI
Journal volume & issue: Vol. 34, no. 5
pp. 520 – 523

Abstract

基于冗余函数、自反函数及自双反函数的定义和性质，利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数.讨论了表格法作为检测特殊函数的易用性和可编程性.

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