展开 逻辑函数代数化简和卡诺图化简优缺点比较