部分四值逻辑单纯可离函数集最小覆盖之判定

• The decision on the minimal covering of simply separable function sets in partial four-valued logic