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

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

Tool for reduct of Boolean functions based on number computing

This paper applies the characters of primes in the mathematical theory of numbers,transfers the symbolic computation into value computation,and designs a tool of Boolean expression simplification.Based on the characters of primes,it redefins AND ,OR and NOT for the Boolean functions,provides the corresponding inference rules,and proposes the simplification algorithm of Boolean function.The tool for the simplification of Boolean expression has been implemented.The computation module for the big database has been created for the tool to make sure there is no limitation to the number of variables.The tool could be used independently.Also it could provide DLL to the other software,tools,and algorithms.The tool has been used in the predication of churn of the customers in telecommunication industry and obtains perfect results.