rshchx007的博客

首先，对于一个布尔表达式，肯定可以用布尔代数里的那一系列定理和定律进行化简。但是，我想除非布尔表达式的项非常少且可化简项显而易见，否则应该没人会去用那一套方法。就算你能化简，你也不一定能保证化简结果是最简的。化简布尔表达式，首先想到的应该是卡诺图。用卡诺图的操作方法非常简单，概括起来就是两字：画圈。而且，不只是画圈，还是画各种圈。对于3~4个变量组成的布尔表达式，运用卡诺图可以很快地化简。但是，当输入变量一多，光是构造一张卡诺图就很麻烦（对于10个变量，卡诺图就有210=10242^{10}=102421