部分四值邏輯中保三、四元正則可離關系函數集最小覆蓋之判定.pdf

1、多值邏輯是計算機科學中的一個重要分支。隨著計算機科學與技術的不斷進步，多值邏輯得到了前所未有的發(fā)展，其研究主要包括理論、電路與系統(tǒng)、應用三個方面的內容。
　　 多值邏輯函數的完備性理論是多值邏輯理論研究中的一個重要的研究課題,此問題的解決依賴于定出多值邏輯函數集中的所有準完備集(又稱極大封閉集)。
　　 Sheffer 函數的判定是又多值邏輯完備性理論中的一個重要問題，此問題的解決可歸結為定出所有準完備集的最小覆蓋。完全

2、多值邏輯函數中Sheffer 函數的判定已由 Schofield和 Kudrjavcev等完全解決。但部分多值邏輯函數中Sheffer 函數的判定尚未徹底解決。
　　 本論文主要討論了部分四值邏輯中準完備集之最小覆蓋的判定問題。重點研究了 中保三、四元正則可離關系函數集之最小覆蓋的判定。
　　 本論文共分五章。在第一章中，主要介紹了本研究課題的學術背景、來源和主要的研究內容。
　　 在第二章中，概述了多值邏輯函數

3、結構理論。首先介紹了完全多值邏輯函數結構理論中的基本概念和重要研究成果，然后介紹了部分 K 值邏輯函數集中的準完備集以及 函數的判定問題。最后總結了部分多值邏輯函數集中最小覆蓋成員判定已經取得的成果。
　　 在第三章中，根據相似關系的性質，剔除了10類共84個在最小覆蓋中必不出現(xiàn)的保三元正則可離關系準完備集，并證明了未被剔除的8類共36個準完備集在最小覆蓋中必出現(xiàn)。
　　 在第四章中，剔除了29類共67個在最小覆蓋中必不