1.5 逻辑函数的公式法化简