7.4 逻辑函数的代数化简法（公式法）