9.2 逻辑代数及其化简