布尔表达式化简的一种算法实现

布尔表达式的化简就是通过某种手段（如真值表、卡诺图、公式法等），将一复杂的布尔表达式转换成一个等价的简单的布尔表达式。本文给出了一种计算机自动实现的布尔表达式的化简方法。将常规表达式中的项改造成含有每个输入变量的多维体，利用多值映射函数，实现化简，从而降低了多输入变量布尔表达式化简的工作量。本算法经随机测试，证明是一个行之有效的好算法。