作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2004, Vol. 30 ›› Issue (24): 23-25.

• 论文 • 上一篇    下一篇

部分二值逻辑中Sheffer函数的判定

刘任任,陈建二,陈松乔   

  1. 中南大学信息科学与工程学院,中南大学信息科学与工程学院,中南大学信息科学与工程学院 长沙 410083湘潭大学信息工程学院,湘潭 411105
  • 发布日期:2004-12-25

The Decision on Sheffer Functions in Partial Two-valued Logic

LIU Renren1, CHEN Jianer1,CHEN Songqiao1 2   

  1. (1. College of Information Science & Engineering, Central South University, Changsha 410083; 2. College of Information Engineering, Xiangtan University, Xiangtan 411105)
  • Published:2004-12-25

摘要: 利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。

关键词: Sheffer函数, 准完备集, 最小覆盖

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.

中图分类号: