作者:周小强; 刘任任多值逻辑完备性sheffer函数最小覆盖
摘要:Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《计算技术与自动化》(CN:43-1138/TP)是一本有较高学术价值的大型季刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算技术与自动化》坚持理论与实践相结合的方针,跟踪世界最新科技动态,以其前沿的报道和新颖实用的内容,迅速向社会各界传递技术信息,为企业和科研院所架起联系的纽带和桥梁。
省级期刊
人气 79897 评论 69
北大期刊、CSCD期刊、统计源期刊
人气 42637 评论 51
人气 40001 评论 69
统计源期刊
人气 38240 评论 49