Implementation of Symbolic Differentiation and Simplification System

符号微分与 化 简系统的实现

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 .

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