| 关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果 |
| |
| 引用本文： | 黄锋,刘任任. 关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果[J]. 计算技术与自动化, 2006, 25(1): 41-43 |
| |
| 作者姓名： | 黄锋 刘任任 |
| |
| 作者单位： | 湘潭大学信息工程学院,湖南,湘潭,411105;湘潭大学信息工程学院,湖南,湘潭,411105 |
| |
| 基金项目： | 中国科学院资助项目;浙江省湖州市自然科学基金 |
| |
| 摘 要： | 对部分四值逻辑中保完满对称关系的78个准完备集按相似关系别除不属于最小覆盖的32个准完备集，为部分四值逻辑中准完备集最小覆盖的判定提供基础。
|
| 关 键 词： | 多值逻辑 完备性 准完备集 Sheffer函数 |
| 文章编号： | 1003-6199（2006）01-0041-03 |
| 收稿时间： | 2005-10-26 |
| 修稿时间： | 2005-10-26 |
Some Results on the Decision of the Minimal Covering for Fully Symmetric Function Sets in Partial Four-valued Logic |
| |
| HUANG Feng,LIU Ren-ren. Some Results on the Decision of the Minimal Covering for Fully Symmetric Function Sets in Partial Four-valued Logic[J]. Computing Technology and Automation, 2006, 25(1): 41-43 |
| |
| Authors: | HUANG Feng LIU Ren-ren |
| |
| Affiliation: | College of Information Engineering, Xiangtan University, Xiangtan 411105, China |
| |
| Abstract: | |
| |
| Keywords: | multiple - valued logic completeness precomplete set sheller functions |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
