8.5 逻辑代数和逻辑函数化简