计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
8期
60-62
,共3页
多值逻辑%完备性%保关系%准完备集%Sheffer函数
多值邏輯%完備性%保關繫%準完備集%Sheffer函數
다치라집%완비성%보관계%준완비집%Sheffer함수
Multiple-valued logic%Completeness%Preserving relation%Pre-complete classes%Sheffer functions
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础.
Sheffer函數的最簡判定是多值邏輯函數集完備性判定問題中的一箇重要的理論和實際問題.根據部分多值邏輯函數的完備性理論,研究瞭部分多值邏輯函數集中準完備集的分類問題,從而為解決部分多值邏輯中Sheffer函數的判定問題提供瞭研究基礎.
Sheffer함수적최간판정시다치라집함수집완비성판정문제중적일개중요적이론화실제문제.근거부분다치라집함수적완비성이론,연구료부분다치라집함수집중준완비집적분류문제,종이위해결부분다치라집중Sheffer함수적판정문제제공료연구기출.
