2.3.2 逻辑代数化简法