首页|期刊导航|计算机工程与应用|部分三值逻辑中Sheffer函数的判定算法

部分三值逻辑中Sheffer函数的判定算法

何骞刘任任

计算机工程与应用2009，Vol.45Issue(19)：52-54,57,4.

计算机工程与应用2009，Vol.45Issue(19)：52-54,57,4.DOI:10.3778/j.issn.1002-8331.2009.19.015

部分三值逻辑中Sheffer函数的判定算法

Determinant algorithm of Sheffer function in partial three-valued logic

何骞 ¹刘任任¹

作者信息

1. 湘潭大学,信息工程学院,湖南,湘潭,411105
折叠

摘要

关键词

多值逻辑/准完备集/最小覆盖/Sheffer函数

分类

数学

引用本文复制引用

何骞,刘任任..部分三值逻辑中Sheffer函数的判定算法[J].计算机工程与应用,2009,45(19):52-54,57,4.

基金项目

国家自然科学基金(the National Natural Science Foundation of China under Grant No.60673193) （the National Natural Science Foundation of China under Grant No.60673193）

湖南省教育厅重点项目(N0.07A067). （N0.07A067）

计算机工程与应用

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量0

下载量0

段落导航