| 部分四值逻辑中Sheffer函数的判定与构造 |
| |
| 引用本文： | 刘任任. 部分四值逻辑中Sheffer函数的判定与构造[J]. 计算机工程与科学, 2008, 30(11): 75-76 |
| |
| 作者姓名： | 刘任任 |
| |
| 作者单位： | 湘潭大学信息工程学院 |
| |
| 摘 要： | 根据部分K值逻辑的完备性理论和相似关系概念，利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^＊中的Sheffer函数。
|
| 关 键 词： | 多值逻辑 Sheller函数 最小覆盖 |
Decision and Construction of the Sheffer Functions in Partial Four-Valued Logic |
| |
| LIU Ren-ren. Decision and Construction of the Sheffer Functions in Partial Four-Valued Logic[J]. Computer Engineering & Science, 2008, 30(11): 75-76 |
| |
| Authors: | LIU Ren-ren |
| |
| Abstract: | According to the completeness theory and the concept of similarity relationships in the partial k-valued logic,some Sheffer functions in P*4 is constructed by means of decision for the minimal covering component of precomplete classes. |
| |
| Keywords: | multi-valued logic Sheffer function minimal covering |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
