展开 布尔代数证明ab+ab'+bc=ab+b'c