数电 逻辑式化简红圈怎么来的?