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

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

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

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