部分四值邏輯中保二元正則可離關(guān)系最小覆蓋之確定

摘 要：根據(jù)部分K值邏輯的完備性理論、正則可離關(guān)系、相似關(guān)系的概念，構(gòu)造同源關(guān)系的概念。對(duì)部分四值邏輯中最小覆蓋的確定進(jìn)行分析。首先，總結(jié)部分四值邏輯中，對(duì)于正則可離函數(shù)集共有129個(gè)準(zhǔn)完各集不可剔除；然后，對(duì)保二元的48個(gè)正則可離函數(shù)集按相似關(guān)系分為9類；最后，證明這9類保二元正則可離函數(shù)集是最小覆蓋成員。

關(guān)鍵詞：多值邏輯；sheffer函數(shù)；正則可離關(guān)系；最小覆蓋

中圖分類號(hào)：TP301 文獻(xiàn)標(biāo)識(shí)碼：A

“注：本文中所涉及到的圖表、注解、公式等內(nèi)容請(qǐng)以PDF格式閱讀原文”