作者：龚志伟; 刘任任; 王日中多值逻辑sheffer函数正则可离关系最小覆盖
摘要：根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念，构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先，总结部分四值逻辑中，对于正则可离函数集共有129个准完各集不可剔除；然后，对保二元的48个正则可离函数集按相似关系分为9类；最后，证明这9类保二元正则可离函数集是最小覆盖成员。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算技术与自动化》（CN：43-1138/TP）是一本有较高学术价值的大型季刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算技术与自动化》坚持理论与实践相结合的方针，跟踪世界最新科技动态，以其前沿的报道和新颖实用的内容，迅速向社会各界传递技术信息，为企业和科研院所架起联系的纽带和桥梁。
省级期刊
人气 79897 评论 69
北大期刊、CSCD期刊、统计源期刊
人气 42637 评论 51
人气 40001 评论 69
统计源期刊
人气 38240 评论 49
