计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
29期
140-142
,共3页
多值逻辑%Sheffer函数%准完备集%最小覆盖
多值邏輯%Sheffer函數%準完備集%最小覆蓋
다치라집%Sheffer함수%준완비집%최소복개
多值逻辑是指一切逻辑值的取值数大于2的逻辑.Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖.在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法.此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数.
多值邏輯是指一切邏輯值的取值數大于2的邏輯.Sheffer函數的判定問題是多值邏輯完備性理論中的一箇重要問題,此問題的解決依賴于定齣多值邏輯函數集中所有準完備集的最小覆蓋.在深入研究部分四值邏輯中Sheffer函數的基礎上,根據部分四值邏輯中準完備集的最小覆蓋,給齣瞭一箇部分四值邏輯中Sheffer函數的判定算法.此算法能夠判定任意一箇函數是不是部分四值邏輯中的Sheffer函數.
다치라집시지일절라집치적취치수대우2적라집.Sheffer함수적판정문제시다치라집완비성이론중적일개중요문제,차문제적해결의뢰우정출다치라집함수집중소유준완비집적최소복개.재심입연구부분사치라집중Sheffer함수적기출상,근거부분사치라집중준완비집적최소복개,급출료일개부분사치라집중Sheffer함수적판정산법.차산법능구판정임의일개함수시불시부분사치라집중적Sheffer함수.