逻辑代数化简练习