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

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

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

Bibliographic Details
Main Authors: LIKe(郦可), CHENXie-xiong(陈偕雄)
Format: Article
Language:zho
Published: Zhejiang University Press 2007-09-01
Series:Zhejiang Daxue xuebao. Lixue ban
Subjects:
冗余函数
自反函数
自双反函数
表格法
Online Access:https://doi.org/zjup/1008-9497.2007.34.5.520-523

Similar Items

Similar Items