| 部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定 |
| |
| 引用本文： | 周小强,刘任任.部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定[J].计算技术与自动化,2007,26(1):59-62. |
| |
| 作者姓名： | 周小强 刘任任 |
| |
| 作者单位： | 1. 湘潭大学,信息工程学院,湖南,湘潭,411105;湖南理工学院,数学系,湖南,岳阳,414006
2. 湘潭大学,信息工程学院,湖南,湘潭,411105 |
| |
| 摘 要： | Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖.本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员.
|
| 关 键 词： | 多值逻辑 完备性 Sheffer函数 最小覆盖 四值逻辑 三元 正则 关系理论 函数集 最小覆盖 Logic Partial Separable Regularly Ternary Preserving Sets Function Covering Minimal 相似 完备性 准完备集 多值逻辑函数 |
| 文章编号： | 1003-6199（2007）01-0059-04 |
| 收稿时间： | 2006-07-18 |
| 修稿时间： | 2006年7月18日 |
The Decision on Minimal Covering of Function Sets Preserving Ternary Regularly Separable Relations in Partial Four-valued Logic |
| |
| ZHOU Xiao-qiang,LIU Ren-ren.The Decision on Minimal Covering of Function Sets Preserving Ternary Regularly Separable Relations in Partial Four-valued Logic[J].Computing Technology and Automation,2007,26(1):59-62. |
| |
| Authors: | ZHOU Xiao-qiang LIU Ren-ren |
| |
| Affiliation: | 1.College of Information Engineering, Xiangtan University, Xiangtan 411105,China; 2.Department of Mathematics,Hunan Institute of Science and Technology,Yueyang 414006,China |
| |
| Abstract: | The decisiion and constitution of the Sheller function is one of the important problems in multi - valued logic theory. This problem can be reduced to the decision of the minimal covering of preeomplete sets in the multi - valued logic function sets, According to the completeness theory in partial k- valued logic and the similar relationship theory among precomplete sets, the minimal covering members of function sets preserving ternary regularly separable relations in partial four- valued logic are decided in this paper. |
| |
| Keywords: | multi-valued logic completeness sheffer functions minimal covering |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
