關(guān)于部分四值邏輯中完滿對稱函數(shù)集最小覆蓋判定的一些結(jié)果
2006-01-01 00:00:00黃鋒劉任任
計(jì)算技術(shù)與自動化 2006年1期
摘要：對部分四值邏輯中保完滿對稱關(guān)系的78個(gè)準(zhǔn)完備集按相似關(guān)系剔除不屬于最小覆蓋的32個(gè)準(zhǔn)完備集，為部分四值邏輯中準(zhǔn)完備集最小覆蓋的判定提供基礎(chǔ)。
關(guān)鍵詞：多值邏輯；完備性；準(zhǔn)完備集；Sheffer函數(shù)
中圖分類號：TP301
文獻(xiàn)標(biāo)識碼：A
文章編號：1003-6199（2006）01-0041-03
