公式法化简逻辑函数BC BC