因为A+A=A,把(A•B•C)看成一个逻辑量故A•B•C+A•B•C=A•B•C也即A•B•C+A•B•C+A•B•C=A•B•C(1)原题已经有一个A•B•C从第一步到第二步多了两个A•B•C,即一个分解成三个,上面(1)已经证明,这是正确的。并不是第二步凭空多出三个A•B•C!