P4^*中保二元正则可离关系非最小覆盖的剔除 上传者：hcc39044 2021-02-23 09:38:11上传 PDF文件 167.64KB 热度 28次 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
