逻辑函数公式