• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2008, Vol. 30 ›› Issue (11): 75-76.

• 论文 • 上一篇    下一篇

部分四值逻辑中Sheffer函数的判定与构造

刘任任   

  • 出版日期:2008-11-01 发布日期:2010-05-19

  • Online:2008-11-01 Published:2010-05-19

摘要:

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^*中的Sheffer函数。

关键词: 多值逻辑 Sheller函数 最小覆盖

Abstract:

According to the completeness theory and the concept of similarity relationships in the partial k -valued logic, some Sheffer functions in P4^* is co nstructed by means of decision for the minimal covering component of precomplete classes

Key words: multi-valued logic, Sheffer function, minimal covering