Detection of redundant function, self-negative function and self-dual function based on tabular method(基于表格方法的冗余函数、自反函数及自双反函数的检测)
基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数.讨论了表格法作为检测特殊函数的易用性和可编程性.
محفوظ في:
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Chinês |
| منشور في: |
Zhejiang University Press
2007-09-01
|
| سلاسل: | Zhejiang Daxue xuebao. Lixue ban |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://doi.org/zjup/1008-9497.2007.34.5.520-523 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
