基于数值计算的布尔表达式约简工具

摘要

运用数论理论中素数的性质和特点,将符号计算问题转化为数值计算问题,设计了一个布尔表达式化简工具.在理论上根据素数的性质重新定义了布尔函数的合取、析取以及非运算,并提供了相应的推理规则;提出基于素数性质的布尔函数约简算法.用VC++实现了布尔表达式约简工具,并为该工具在底层构建了大数据计算模块,以确保对变量个数没有局限性.该工具既可独立使用,也可以提供DLL作为其它软件、工具、算法的一部分.在移动通信用户流失分析中应用了该工具,取得较好的效果.