部分多值邏輯中極大封閉集之最小覆蓋的判定.pdf

1、多值邏輯是指一切邏輯值的取值數(shù)大于2的邏輯.多值邏輯可以更好地解決用二值邏輯不易解決的問題,因此有著廣闊的發(fā)展前景.多值邏輯的研究?jī)?nèi)容有很多,函數(shù)系的完備性判定、Sheffer函數(shù)的構(gòu)造與判定是其中的重要組成部分.函數(shù)系的完備性判定問題是多值邏輯理論中基本而重要的問題,同時(shí)也是自動(dòng)機(jī)理論,多值邏輯網(wǎng)絡(luò)中必須解決的問題,此問題的解決依賴于定出多值邏輯函數(shù)集中的所有極大封閉集(準(zhǔn)完備集).多值邏輯完備性理論中的另一重要問題是Sheffer函

2、數(shù)的判定問題,此問題可歸結(jié)為定出所有極大封閉集(準(zhǔn)完備集)的最小覆蓋.該文研究的是部分多值邏輯中極大封閉集之最小覆蓋的判定問題.我們研究的重點(diǎn)是二元單純可離函數(shù)集.在第一章中,我們系統(tǒng)地闡述了多值邏輯的基本概念,并總結(jié)了國(guó)內(nèi)外學(xué)者在多值邏輯研究領(lǐng)域已取得的重要成果及當(dāng)前的研究動(dòng)態(tài).第二章分別對(duì)關(guān)系圖連通和不連通的二元單純可離函數(shù)集進(jìn)行討論,獲得了一些有用的結(jié)果.第三章對(duì)保三元關(guān)系函數(shù)集的判定作了初步嘗試,并得出一類三元完滿對(duì)稱函數(shù)集在P