部分二、三值邏輯中Sheffer函數(shù)的構(gòu)造及判定算法.pdf

1、多值邏輯是指一切邏輯值的取值數(shù)大于2的邏輯,它是計(jì)算機(jī)科學(xué)技術(shù)的重要分支。多值邏輯的研究內(nèi)容主要包括多值邏輯的理論、多值電路與多值系統(tǒng)、多值邏輯的應(yīng)用。
　　在多值邏輯理論中,函數(shù)系完備性之判定問題是一個基本而又重要的問題,同時也是自動機(jī)理論,多值邏輯網(wǎng)絡(luò)中必須解決的問題。此問題的解決依賴于定出多值邏輯函數(shù)集中的所有準(zhǔn)完備集。
　　Sheffer函數(shù)的判定是多值邏輯完備性理論中的一個重要問題,它的解決依賴于定出多值邏輯函數(shù)集

2、中的所有準(zhǔn)完備集的最小覆蓋。完全多值邏輯函數(shù)中Sheffer函數(shù)的判定已完全解決,但部分多值邏輯函數(shù)中Sheffer函數(shù)的判定尚未徹底解決。
　　本文在深入研究部分二、三值邏輯中Sheffer函數(shù)的基礎(chǔ)上,根據(jù)部分二、三值邏輯中準(zhǔn)完備集的最小覆蓋,提出了兩個算法。一個是部分二值邏輯中Sheffer函數(shù)的構(gòu)造及判定算法,它能構(gòu)造和判定出部分二值邏輯中的全部Sheffer函數(shù);另一個是部分三值邏輯中Sheffer函數(shù)的判定算法,它能判