摘要
布尔函数理论中的一致法从理论上解决了多个变量布尔函数的简化问题,但当变量多时,此方法也繁琐。本文把一致法中对变量的运算转化为算术中的数字运算,并通过计算机进行实现。本文还对一类特殊的布尔函数作一致法的运算次数进行了估计.
The Iterative Consensus Method solved the simplification of Boolean Function with many variables.But the method is complicated when the number of variables is great.In this article,the operation in Iterative Consensus Me- thod can be convert to digital operation,this can be implemented in computer, and some estimation to the number of operation in Iterative Consensus Method in a special Boolean Function is made.
基金
院青年科学基金
关键词
布尔代数
布尔函数
简化程序设计
Boolean algebra
Boolean function/minimization of Boolean function
