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

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

基本释义

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