部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定

• The Decision on Minimal Covering of Function Sets Preserving Ternary Regularly Separable Relations in Partial Four-valued Logic