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.

• 运用数论理论中素数的性质和特点,将符号计算问题转化为数值计算问题,设计了一个布尔表达式化简工具。