關于部分Ｋ值邏輯Ｓｈｅｆｆｅｒ函數（Ｖ）
2004-04-29 00:00:00李舒劉任任
計算技術與自動化 2004年3期
摘 要：根據部分多值邏輯的完備性理論[1]，本文證明了m＝2時，關系圖為對稱H圖的一類單純可離函數集在戶；的準完備集之最小覆蓋中必出現。
關鍵詞：多值邏輯；完備性；Sheffer函數；準完備集
中圖分類號：TP391
文獻標識碼：A
摘 要：根據部分多值邏輯的完備性理論[1]，本文證明了m＝2時，關系圖為對稱H圖的一類單純可離函數集在戶；的準完備集之最小覆蓋中必出現。
關鍵詞：多值邏輯；完備性；Sheffer函數；準完備集
中圖分類號：TP391
文獻標識碼：A
