展开 布尔代数法化简逻辑函数