计算机工程与应用2011，Vol.47Issue(29)：140-142,3.DOI:10.3778/j.issn.1002-8331.2011.29.039
部分四值逻辑中Sheffer函数的判定
Decision of Sheffer functions in partial four-valued logic
摘要
Abstract
Multiple-valued logic is the logic that has more than two values.One important problem in multiple-valued logic completeness theory is the decision of Sheffer function,which depends on deciding the minimal covering of the precomplete classes.In deep research on the Sheffer function in partial four-valued logic,the determinant algorithm of Sheffer functions in partial four-valued logic is given, which is according to the minimal covering of its precomplete classes.This algorithm can determine all Sheffer functions in partial four-valued logic.关键词
多值逻辑/Sheffer函数/准完备集/最小覆盖Key words
multiple-valued logic/Sheffer functions/precomplete sets/minimal covering分类
信息技术与安全科学引用本文复制引用
金辉霞,何骞..部分四值逻辑中Sheffer函数的判定[J].计算机工程与应用,2011,47(29):140-142,3.基金项目
湖南省教育厅科学研究课题(No.10C0498). （No.10C0498）
