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

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

關鍵詞：多值邏輯；sheffer函數；正則可離關系；最小覆蓋

中圖分類號：TP301 文獻標識碼：A

“注：本文中所涉及到的圖表、注解、公式等內容請以PDF格式閱讀原文”