B +C + D+ E
实行原反互换后的部分就不需要再进 行加乘和“0” “1”互换了。
4.展开规则 展开规则也叫展开定理，主要有二个公式。 展开规则一：
P ( x1 , x 2 , Λ , x n ) = x1 P(1, x 2 ,Λ , x n ) + x1 P (0, x 2 , Λ , x n )
这里我们应把
看为一个整体M，上面有一个反号，就好象
M = B+C + D+ E
用代入规则替代以后一样。所以，若
P = A+ M
则
P = A ⋅ (B + C + D + E )
显然M式中的加乘、原反不应互换，否则就错了。 一个布尔变量或布尔式的上方有不止一个 反号时，反演时只能去掉最外层的一个，即整 个布尔式的反号 。 如式：
展开规则二推证如下：
P(x1 , x2 ,Λ , xn ) = x1P(x1 , x2 ,,Λ , xn ) + x1 P(x1 , x2 ,,Λ , xn ) = x1P(x1 , x2 ,,Λ , xn ) + x1 P(x1 , x2 ,,Λ , xn ) + P(x1 , x2 ,,Λ , xn ) + x1 x1 = [x1 + P(x1 , x2 ,,Λ , xn )][x1 + P(x1 , x2 ,,Λ , xn )]
例：（A+B）（A+B+C+DE） =（A+B）[（A+B）+（C+DE）] =（A+B）（A+B）+（A+B）（C+DE） =（A+B）+（A+B）（C+DE） =A+B (2) 定理12：A( A + B) = AB 在一个或与布尔式中，如果一个或项的反包 含在另一个或项之中，该或项的反是多余的。 现证明如下：
