| 部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定 |
| |
| 引用本文： | 刘任任,王婷,谭昊勋. 部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定[J]. 计算机科学, 2010, 37(11): 257-260 |
| |
| 作者姓名： | 刘任任 王婷 谭昊勋 |
| |
| 作者单位： | 1. 湘潭大学信息工程学院,湘潭,411105
2. 湘潭大学能源工程学院,湘潭,411105 |
| |
| 基金项目： | 本文受国家基金项目“部分多值逻辑函数结构理论研究”(60673193),湖南省教育厅基金项目“部分多值逻辑中准完各集的分类研究”(10C768)资助。 |
| |
| 摘 要： | 根据部分K值逻辑的完备性理论和相似关系概念，对完满对称函数集进行了相似关系分类，并确定了其中的准完备集之最小覆盖成员。
|
| 关 键 词： | 多值逻辑，Sheffer函数，最小覆盖 |
| 收稿时间： | 2009-12-10 |
| 修稿时间： | 2010-03-17 |
Classification on Full Symmetric Function Sets and Decision on the Minimal Covering Members in Partial Four-valued Logic |
| |
| LIU Ren-ren,WANG Ting,TAN Hao-xun. Classification on Full Symmetric Function Sets and Decision on the Minimal Covering Members in Partial Four-valued Logic[J]. Computer Science, 2010, 37(11): 257-260 |
| |
| Authors: | LIU Ren-ren WANG Ting TAN Hao-xun |
| |
| Affiliation: | (School of Information Engineering, Xiangtan University, Xiangtan 411105,China);(School of Energy Engineering, Xiangtan University, Xiangtan 411105,China) |
| |
| Abstract: | According to the completeness theory and concept of similar relationship in partial k-valued logic,the full symmetric function sets were classified by means of similarity relationship and some sets were proved minimal covering component of precomplete classes. |
| |
| Keywords: | Multiple-valued logic Sheffer function Minimal covering |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
