2.4 逻辑函数化简