三、逻辑函数的化简