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

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

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