展开 布尔代数定理化简逻辑函数