| 部分四值逻辑中Sheffer函数的判定 |
| |
| 引用本文： | 金辉霞,何骞. 部分四值逻辑中Sheffer函数的判定[J]. 计算机工程与应用, 2011, 47(29): 140-142. DOI: 10.3778/j.issn.1002-8331.2011.29.039 |
| |
| 作者姓名： | 金辉霞 何骞 |
| |
| 作者单位： | 1.湖南城市学院 物理与电信工程系，湖南 益阳 4130002.湖南城市学院 计算机科学系，湖南 益阳 413000 |
| |
| 基金项目： | 湖南省教育厅科学研究课题(No.10C0498) |
| |
| 摘 要： | 多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题，此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上，根据部分四值逻辑中准完备集的最小覆盖，给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。
|
| 关 键 词： | 多值逻辑 Sheffer函数 准完备集 最小覆盖 |
| 修稿时间： | |
Decision of Sheffer functions in partial four-valued logic |
| |
| JIN Huixia,HE Qian. Decision of Sheffer functions in partial four-valued logic[J]. Computer Engineering and Applications, 2011, 47(29): 140-142. DOI: 10.3778/j.issn.1002-8331.2011.29.039 |
| |
| Authors: | JIN Huixia HE Qian |
| |
| Affiliation: | 1.Department of Physics and Telecom Engineering，Hunan City University，Yiyang，Hunan 413000，China2.Department of Computer Science，Hunan City University，Yiyang，Hunan 413000，China |
| |
| Abstract: | Multiple-valued logic is the logic that has more than two values.One important problem in multiple-valued logic completeness theory is the decision of Sheffer function,which depends on deciding the minimal covering of the precomplete classes.In deep research on the Sheffer function in partial four-valued logic,the determinant algorithm of Sheffer functions in partial four-valued logic is given,which is according to the minimal covering of its precomplete classes.This algorithm can determine all Sheffer func... |
| |
| Keywords: | multiple-valued logic Sheffer functions precomplete sets minimal covering
|
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
