部分三值逻辑中准完备集的最小复盖

THE MINIMAL COVERING OF PRECOMPLETE CLASSES IN PARTIAL THREE-VALUED LOGIC

根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。

According to the completeness theory of partial k-valuedlogic, the author has determined the minimal covering of all precompleteclasses in P_3~*,and constructed a large number of partial n-variable 3-valued Sheffer functions.