部分多值邏輯函數(shù)集中準(zhǔn)完備集的若干性質(zhì)研究.pdf

1、多值邏輯是指一切邏輯值的取值數(shù)大于2的邏輯。多值邏輯的研究?jī)?nèi)容主要包括理論、電路與系統(tǒng)和應(yīng)用三個(gè)方面。
　　多值邏輯函數(shù)結(jié)構(gòu)理論包括完備性理論、函數(shù)表示理論以及單向陷門(mén)函數(shù),其中一個(gè)基本而重要的問(wèn)題是函數(shù)集完備性的判定,它也是自動(dòng)機(jī)理論以及多值邏輯網(wǎng)絡(luò)中必須要解決的問(wèn)題。此問(wèn)題的解決依賴于定出多值邏輯函數(shù)集中的所有準(zhǔn)完備集。
　　Sheffer函數(shù)的判定和構(gòu)造是多值邏輯完備性理論中的另一個(gè)重要問(wèn)題,此問(wèn)題的解決可歸結(jié)為定出所

2、有準(zhǔn)完備集的最小覆蓋。完全多值邏輯中Sheffer函數(shù)的判定問(wèn)題已徹底解決,但部分多值邏輯中Sheffer函數(shù)的判定問(wèn)題尚未完全解決,要完全解決此問(wèn)題,必須對(duì)每一類準(zhǔn)完備集的性質(zhì)作深入的研究。
　　本論文對(duì)部分多值邏輯函數(shù)集中準(zhǔn)完備集以及正規(guī)關(guān)系的性質(zhì)進(jìn)行了較深入的研究,為確定部分多值邏輯函數(shù)集中準(zhǔn)完備集的最小覆蓋奠定了一定的基礎(chǔ)。
　　論文首先介紹了多值邏輯函數(shù)結(jié)構(gòu)理論的基本概念和重要研究成果;然后介紹了部分多值邏輯函數(shù)集