化简逻辑函数的公式法是什么