| 部分二值逻辑中Sheffer函数的判定 |
| |
| 引用本文： | 刘任任,陈建二,陈松乔. 部分二值逻辑中Sheffer函数的判定[J]. 计算机工程, 2004, 30(24): 19-21 |
| |
| 作者姓名： | 刘任任 陈建二 陈松乔 |
| |
| 作者单位： | 中南大学信息科学与工程学院,长沙,410083;湘潭大学信息工程学院,湘潭,411105;中南大学信息科学与工程学院,长沙,410083 |
| |
| 基金项目： | 国家自然科学基金资助项目(60083001)，湖南省自然科学基金资助项目(03JJY3099) |
| |
| 摘 要： | 利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。
|
| 关 键 词： | Sheffer函数 准完备集 最小覆盖 |
| 文章编号： | 1000-3428(2004)24-0019-03 |
| 修稿时间： | 2004-11-01 |
The Decision on Sheffer Functions in Partial Two-valued Logic |
| |
| LIU Renren,CHEN Jianer,CHEN Songqiao. The Decision on Sheffer Functions in Partial Two-valued Logic[J]. Computer Engineering, 2004, 30(24): 19-21 |
| |
| Authors: | LIU Renren CHEN Jianer CHEN Songqiao |
| |
| Affiliation: | LIU Renren1,CHEN Jianer1,CHEN Songqiao1 2 |
| |
| Abstract: | The minimal coverings are determined by means of the ideal of preserving relation, consequently the simplest method of decision on partial two-valued Sheffer functions is given.This method has important theoretic and practical meaning. |
| |
| Keywords: | Sheffer function Precomplete set Minimal covering |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
