The program indicates: The arithmetic can carry on accurate and fast predigest to the complicated logic function of changeable quantity.

• 程序应用表明：算法能对多变量复杂逻辑函数进行准确快速的化简。