计算技术与自动化2007，Vol.26Issue(1)：59-62,4.
部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定
The Decision on Minimal Covering of Function Sets Preserving Ternary Regularly Separable Relations in Partial Four-valued Logic
摘要
关键词
多值逻辑/完备性/Sheffer函数/最小覆盖分类
信息技术与安全科学引用本文复制引用
周小强,刘任任..部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定[J].计算技术与自动化,2007,26(1):59-62,4.基金项目
国家自然科学基金资助(606731931) （606731931）
