|
|||||
|
|
| 部分四值逻辑中保二元正则可离关系非最小覆盖的剔除 | |
| 引用本文： | 龚志伟,刘任任.部分四值逻辑中保二元正则可离关系非最小覆盖的剔除[J].湖南农业大学学报(自然科学版),2011(3):76-78. |
| 作者姓名： | 龚志伟 刘任任 |
| 作者单位： | (1.中南林业科技大学 理学院, 湖南 长沙410004; 2.湘潭大学 信息工程学院, 湖南 湘潭411105) |
| 摘 要： | 为确定部分四值逻辑的最小覆盖，根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。 |
| 关 键 词： | 多值逻辑 完备性 正则可离关系 最小覆盖 |
| 点击此处可从《湖南农业大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《湖南农业大学学报(自然科学版)》下载免费的PDF全文 | |