计算机辅助特殊逻辑函数检测  

Computer aided detection of special logical function.

作　　者：厉晓华[1] 

机构地区：[1]浙江大学网络与信息中心,浙江杭州310028

出　　处：《浙江大学学报（理学版）》2009年第3期288-290,共3页Journal of Zhejiang University（Science Edition）

摘　　要：在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.Abstract.. That the detection of linear function, redundant function, self-negative function and self-dual function can be realized by computer aided design based on the detection of special logical function by using the tabular methods, the grapic methods and the algebraic methods. Several examples were presented.

关 键 词：特殊逻辑函数 线性函数 冗余函数 自反函数 自双反函数 计算机辅助设计 

分 类 号：TP17[自动化与计算机技术—控制理论与控制工程]