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

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

2、 本論文主要討論了部分四值邏輯中準完備集之最小覆蓋的判定問題。重點研究了保二元正則可離關系函數集在最小覆蓋中的判定。 本論文共分四章。在第一章中，首先介紹了多值邏輯函數理論的基本概念和重要研究成果，重點講述了部分多值邏輯函數理論中的正則可離函數，Sheffer函數理論和最小覆蓋理論等。總結了部分四值邏輯函數集中最小覆蓋成員的判定已經取得的成果。 在第二章中，找出了部分四值邏輯中正則可離函數集的所有準完備集，并按相似關系