Zhejiang Daxue xuebao. Lixue ban (May 2009)

Computer aided detection of special logical fuiction(计算机辅助特殊逻辑函数检测)

LIXiao-hua(厉晓华)

Affiliations

LIXiao-hua(厉晓华): Campus Network Center of Zhejiang University, Hangzhou 310028, China(浙江大学网络与信息中心，浙江杭州 310028)

DOI: https://doi.org/10.3785/j.issn.1008-9497.2009.03.010
Journal volume & issue: Vol. 36, no. 3
pp. 288 – 290

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