|
|
关于一类α-值和连续值逻辑函数的组合网络实现问题
李俊雄
1992, 11(2):
1-7.
对于某类函数的集合A,如果存在一个有限集C⊆A,使得A中的任意函数均可以由C的一个有限组合函数网络实现,则称C是A的一个有限完备集。如,函数集{x∧x,x∨x,x}是二值逻辑函数的有限完备集。本文给出一个4个函数组成的集合,并证明这个集合是一类多值逻辑函数的有限完备集。本文还证明,对于模糊逻辑函数,不存在有限完备集。此外,本文建立了形式演算系统FUNCc,并证明C上的一个组合函数网络与FUNCTc的一个定理等价。
相关文章 |
计量指标
|