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