1.5 逻辑函数及其化简