[发明专利]一种联锁布尔逻辑的优化方法

权利要求书

1.一种联锁布尔逻辑的优化方法，其特征在于，包括：在生成布尔表达式后，对生成的结果通过优化联锁布尔逻辑算法进行优化，得到新的表达式进行输出。

2.根据权利要求1所述的方法，其特征在于，该方法具体包括以下步骤：

步骤S1、读取所有布尔表达式，遍历每一条布尔表达式，记录值为常零的布尔变量到可优化布尔变量链表一，记录值为常1的布尔变量到可优化布尔变量链表二，进入步骤S2；

步骤S2、遍历每一条布尔表达式，若表达式中包含小括号，则进行拆除括号操作，得到只有加法和乘法运算的布尔表达式，进入步骤S3；

步骤S3、循环遍历每一条布尔表达式，将每一条布尔表达式以加号分割每一组布尔变量:若存在相同的项，则只保留一项，其余项删除，进入步骤S4；

步骤S4、若存在某一项加上某一项乘以另一项的情况，则删除某一项乘以另一项，仅保留某一项，进入步骤S5；

步骤S5、若存在某一项加上某一项取反的情况，则整个表达式的值置为1，且记录到链表二中，进入步骤S6；

步骤S6、若存在某一项乘以另一项加上某一项的取反乘以另一相同项的情况，则仅保留另一项，进入步骤S7；

步骤S7、将优化后的布尔表达式删除多余运算符之后保存，进入S3，若步骤S3、S4、S5、S6都没有进行优化操作，则进入步骤S8；

步骤S8、遍历每一条优化后的布尔表达式，若表达式中包含可优化布尔变量链表一中的布尔变量，且为该布尔变量与其它布尔变量相加的方式，则删除该布尔变量，进入步骤S9；

步骤S9、若表达式中包含可优化布尔变量链表一中的布尔变量，且为该布尔变量与其它布尔变量相乘的方式，则删除该布尔变量以及与它相乘的所有布尔变量，进入步骤S10；

步骤S10、若最后得到的布尔变量值为零，则添加该布尔变量到链表一中，即P＝0，则记录P到可优化布尔变量链表一中，进入步骤S11；

步骤S11、将优化后的布尔表达式删除多余运算符之后保存，进入S8，若步骤S8、S9、S10都没有进行优化操作，则进入步骤S12；

步骤S12、循环遍历每一条优化后的布尔表达式，若表达式中包含可优化布尔变量链表二中的布尔变量，则删除该布尔变量，进入步骤S13；

步骤S13、若最后得到的布尔变量为1，则添加该布尔变量到可优化布尔变量链表二中，即P＝1，则记录P到可优化布尔变量链表二中，进入步骤S14；

步骤S14、将优化后的布尔表达式删除多余运算符之后保存，进入S12，若步骤S12、S13都没有进行优化操作，则进入步骤S1；

步骤S15、遍历每一条优化后的布尔表达式，输出每一条表达式，算法结束。

3.根据权利要求2所述的方法，其特征在于，所述的步骤S2中的操作具体为：P＝(A+B)*(C+D)+E，则P＝A*C+A*D+B*C+B*D+E。

4.根据权利要求2所述的方法，其特征在于，所述的步骤S3中的操作具体为：P＝A+A+B，则P＝A+B。

5.根据权利要求2所述的方法，其特征在于，所述的步骤S4中的操作具体为：P＝A+A*B+C，则P＝A+C。

6.根据权利要求2所述的方法，其特征在于，所述的步骤S5中的操作具体为：P＝A+～A，则P＝1，并记录P到链表二中。

7.根据权利要求2所述的方法，其特征在于，所述的步骤S6中的操作具体为：P＝A*B+～A*B，则P＝B。

8.根据权利要求2所述的方法，其特征在于，所述的步骤S8中的操作具体为：A＝0，P＝A+B，则P＝B。

9.根据权利要求2所述的方法，其特征在于，所述的步骤S9中的操作具体为：A＝0，P＝A*B+C，则P＝C。

10.根据权利要求2所述的方法，其特征在于，所述的步骤S12中的操作具体为：A＝1，P＝A*B+C，则P＝B+C。