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

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

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