[发明专利]一种二值逻辑函数快速优化处理方法

摘要

本发明公开了一种二值逻辑函数快速优化处理方法，包括实质本源项集合的形成、相对实质蕴涵项集合的形成无冗余覆盖优化过程、优化结果的形成等步骤。本发明在不计算函数补集的情况下，通过选取特殊最小项求解实质本源项集合，通过重塑集合求解相对实质蕴涵项集合，再经过无冗余覆盖优化，最后将实质本源项集合与相对实质蕴涵项集合合并即为逻辑函数优化结果。本发明方法简便，提高了逻辑函数快速优化的效率和准确性。

主权项

1.一种二值逻辑函数快速优化处理方法，其特征是：包括下列步骤：（一）实质本源项集合的形成：实质本源项集合标识为E；（1）实质本源项的生成步骤如下：对本源蕴涵项进行扩展，计算出相邻相交集，本源蕴涵项标识为Q_i，相邻相交集标识为：AIC（Q_i）；若则Q_i为冗余项，将之从导通集中删除；否则将Q_i送至无关集及E中，同时从C_DC中删除Q_i所蕴涵的项，冗余项标识为：Ri，导通集标识为：C_ON，无关集标识为：C_DC；（2）AIC(Q_i)的计算方法：AIC(Q_i)应同时满足3个条件：(a)与Q_i互为相邻项且(b)在C_DC中与Q_i相交；(c)在C_ON中与Q_i相交但不包含Q_i;(3)生成规则：(a)若C_ON中的某一项蕴涵于Q_i展开后的集合，则从C_ON中将该项删除；(b)若满足条件：则Q_i为实质本源项，将Q_i送至E及C_DC中，同时从C_ON中将之删除；（二）相对实质蕴涵项集合的形成：相对实质蕴涵项集合标识为：P^*；（1）相对实质蕴涵项的生成步骤描述如下：相对实质蕴涵项标识为：P_i^*；（a）找出与C_DC相交的集合送至C_ON；（b）重塑集合——将冗余项从C_ON中删除，以减小C_ON覆盖的规模；（c）若C_ON中的所有项都不与C_DC相交或者C_DC为空时，则选择最小的相邻度的最大集合，将之送至C_DC及P^*中，同时将之从C_ON中删除,最小的相邻度标识为：DA；若C_ON中的最大的DA相同，则选择与C_ON中的其它集合非空相交的那个集合，将之送至C_DC及P^*中，同时将之从C_ON中删除；（d）对C_ON中的每个P_i^*，若（C_ON∪C_DC#P_i^*）包含的集合不多于一个则应重塑；对P_i^*扩展进行重塑后，将之移入C_DC及P^*中，同时将之从C_ON中删除；否则，若（C_ON∪C_DC#P_i^*）包含的集合不止一个，则选择最大的DA的集合送至C_DC及P^*中，同时将之从C_ON中删除；执行完后转至（c），直至C_ON为空；(2)生成规则：对C_ON中的某个集合，若该集合的某个子集既不被其它C_ON覆盖，也不被C_DC覆盖，则需对之扩展，以便重塑P^*使之覆盖C_ON中的其它集合；（三）无冗余覆盖优化过程（1）无冗余覆盖优化处理方法：从E、P^*和冗余项集合中选出一个最小的P^*，使得P^*∪E仍是函数的一个覆盖；冗余项集合标识为：R,是Ri的集合；（2）生成规则：将本源蕴涵项集合Q分为三个互不相交的子集Q={E,R,P^*}；通过前面所，描述的方法中已经分别形成产生E,R,P^*；求最小列覆盖，选取最小的P^*；（四）优化结果的形成：Q=P^*∪E。