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

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

2、 本論文主要討論了部分四值邏輯中準(zhǔn)完備集之最小覆蓋的判定問(wèn)題。重點(diǎn)研究了保二元正則可離關(guān)系函數(shù)集在最小覆蓋中的判定。 本論文共分四章。在第一章中，首先介紹了多值邏輯函數(shù)理論的基本概念和重要研究成果，重點(diǎn)講述了部分多值邏輯函數(shù)理論中的正則可離函數(shù)，Sheffer函數(shù)理論和最小覆蓋理論等?？偨Y(jié)了部分四值邏輯函數(shù)集中最小覆蓋成員的判定已經(jīng)取得的成果。 在第二章中，找出了部分四值邏輯中正則可離函數(shù)集的所有準(zhǔn)完備集，并按相似關(guān)系