计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (5): 28-30.DOI: 10.3778/j.issn.1002-8331.2010.05.009

• 研究、探讨 • 上一篇    下一篇

部分二值逻辑中Sheffer函数的构造与判定算法

何 骞,刘任任   

  1. 湘潭大学 信息工程学院,湖南 湘潭 411105
  • 收稿日期:2008-09-18 修回日期:2008-12-04 出版日期:2010-02-11 发布日期:2010-02-11
  • 通讯作者: 何 骞

Conformational and determinant algorithm on Sheffer function in partial two-valued logic

HE Qian,LIU Ren-ren   

  1. Institute of Information Engineering,Xiangtan University,Xiangtan,Hunan 411105,China
  • Received:2008-09-18 Revised:2008-12-04 Online:2010-02-11 Published:2010-02-11
  • Contact: HE Qian

摘要: 在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。

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

Abstract: In deep research on the Sheffer function in partial two-valued logic,an algorithm is proposed that can effectively construct the Sheffer function in partial two-valued logic based on the minimal covering of precomplete sets in partial two-valued logic.The algorithm can construct all Sheffer functions in partial two-valued logic.Corresponding to this algorithm,a determinant algorithm of the Sheffer function in partial two-valued logic which is compared to the traditional algorithm is also put forward.It avoids complex computations and can be considered to be a simpler determinant algorithm.

Key words: Sheffer functions, precomplete sets, minimal covering

中图分类号: