5.4 逻辑代数与逻辑函数化简