部分四值邏輯中保二元單純可離關(guān)系函數(shù)集之最小覆蓋的判定.pdf

1、多值邏輯是指一切邏輯值的取值數(shù)大于2的邏輯。它可以更好地解決用二值邏輯不易解決的問題。由于其獨特功能和廣闊的應用前景，使得多值邏輯得到了蓬勃發(fā)展，并成為計算機科學技術(shù)的重要分支。多值邏輯的研究內(nèi)容很多，其中函數(shù)系的完備性判定、Sheffer函數(shù)的判定和構(gòu)造是其重要組成部分。 函數(shù)系完備性之判定問題是多值邏輯函數(shù)結(jié)構(gòu)理論中一個基本而重要的問題，同時也是自動機理論、多值邏輯網(wǎng)絡中必須解決的問題。此問題的解決依賴于定出多值邏輯函數(shù)集中

2、的所有準完備集。 多值邏輯完備性理論中的另一個重要問題是Sheffer函數(shù)的判定，它可歸結(jié)為定出所有準完備集的最小覆蓋。完全多值邏輯函數(shù)中Sheffer函數(shù)的判定已完全解決，但部分多值邏輯函數(shù)中Sheffer函數(shù)的判定尚未徹底解決。 本文研究的是部分四值邏輯中準完備集之最小覆蓋成員的判定問題，重點討論了單純可離函數(shù)集。首先系統(tǒng)地闡述了多值邏輯的基本概念，介紹了完全和部分多值邏輯函數(shù)的完備性理論成果。然后在利用“相似關(guān)系”